Stephan Reiff-Marganiec: Publications
|
S. Reiff-Marganiec and M. Tilly (eds).
Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions.
IGI Global, December 2011. ISBN 9781613504321. DOI
|
|
M. Nakamura and S. Reiff-Marganiec (eds).
Feature Interactions in Software and Communications Systems.
IOS Press, June 2009. ISBN 978-1-60750-014-8.
|
|
M. D. Ryan and S. Reiff-Marganiec(eds).
Feature Interaction.
Special Issue of Computer Networks. Volume 51, Issue 2, Pages 357-558, 7 February 2007.
|
|
S. Reiff-Marganiec and M. D. Ryan (eds).
Feature Interactions in Telecommunications and Software Systems VIII.
IOS Press, June 2005. ISBN 1-58603-524-X.
|
| 53. |
|
Recommending Services in the Cloud.
J. Ma, H. Chen, F. Cai, S. Reiff-Marganiec.
IIT'12 (8th International Conference on Innovations in Information Technology). (accepted for publication)
|
| 52. |
|
BPSR: Flexible Process Reservation Approach for Service-Oriented Applications.
J. Ma, H. Chen, S. Reiff-Marganiec, X. Huangfu, D. Guo.
INFORMATION. (accepted for publication)
|
| 51. |
|
A structured approach to VO reconfigurations through Policies.
S. Reiff-Marganiec.
FAVO 2011. (accepted for publication)
|
| 50. |
|
Mapping for Software Sensors in the Context-aware Systems Environment.
K. T. Pathan, S. Reiff-Marganiec and Y. Hong.
PICom 2011 (9th IEEE International Conference on Pervasive Intelligence and Computing). DOI. IEEE, 2011.
|
| 49. |
|
Reaching Activities by Places in the Context-Aware Environments Using Software Sensors.
K. T. Pathan, S. Reiff-Marganiec, A. A. Shaikh, N. Channa.
Journal of Emerging Trends in Computing and Information Sciences. ISSN 2079-8407. Vol 2(12). pp 665-673. 2011.
|
| 48. |
|
Modelling Virtual Organisations: Structure and Reconfigurations.
S. Reiff-Marganiec and N. Rajper.
PRO-VE 2011 (12th IFIP Working Conference on Virtual Enterprises). DOI. Springer, 2011.
|
| 47. |
|
Using Markov Decision Process Model Logic Scoring for Preference Model to Optimize HTN Web Service Composition.
Jiuyun Xu, Kun Chen and S. Reiff-Marganiec.
JWSR (International Jornal of Web Services Research); Vol 8(2), April-June, pp. 51-71, 2011.
|
| 46. |
|
Towards A Collaborative Framework for Image Annotation and Search.
Y. Hong and S. Reiff-Marganiec.
CAiSE 2011 Workshops, Lecture Notes in Business Information Processing, pp. 564-574. DOI. 2011.
|
| 45. |
|
Modeling business process of Web Services with an Extended STRIPS Operations to detecting feature interaction at runtime.
J. Xu, K. Chen, Y. Duan and S. Reiff-Marganiec.
ICWS 2011 (2011 IEEE International Conference on Web Services),
), pp. 516-523. DOI. 2011.
|
| 41. |
|
Model-driven development of adaptable service-oriented business processes.
C. Montangero, S. Reiff-Marganiec, L. Semini.
In Rigorous Software Engineering for Service-Oriented Systems. LNCS Vol 6582. Springer, 2011.
|
| 44. |
|
Matching Customer Requests to Service Offerings in Real-Time.
M. Tilly and S. Reiff-Marganiec.
ACM SAC 2011; MESC Track. 2011. The paper was given the Best Paper award in the Engineering Category.
|
| 43. |
|
Web Services Feature Interaction Detection based on Situation Calculus.
J. Xu, W. Yu, K. Chen, S. Reiff-Marganiec.
In WS-CS-Testing 2010 (Services 2010). DOI. 2010.
|
| 42. |
|
Process Reservation for Service-Oriented Applications.
H.H. Chen, S. Reiff-Marganiec, J.W. Ma, X. Huangfu, D. Guo.
In Services 2010. IEEE. DOI. 2010.
|
| 40. |
|
Structure and Behaviour of Virtual Organisation Breeding Environments.
L. Bocchi, J.L. Fiadeiro, N. Rajper and S. Reiff-Marganiec.
In J Bryans and J Fitzgerald (Eds.) FAVO 2009. EPTCS 16, pp: 26-40. DOI. 2010.
|
| 39. |
|
Extending a Policy Language in a Structured way using Model Driven Techniques.
Z. Khowaja and S. Reiff-Marganiec.
In J. Peltonen (Ed.) SPLST'09 & NW-MODE'09. pp: 336-341. Tampere University of Technology. ISBN 978-952-15-2212-3. 2009.
|
| 38. |
|
A Backwards Composition Context Based Service Selection Approach for Service Composition.
H.Q. Yu and S. Reiff-Marganiec.
SCC 2009. DOI. 2009.
|
| 37. |
|
Engineering Service Oriented Applications: From StPowla Processes to SRML Models.
L. Bocchi, S. Gorton and S. Reiff-Marganiec.
FACS (Formal Aspects of Computing). DOI. 2009.
|
| 36. |
|
Towards Activity Context using Software Sensors.
K.T. Pathan and S. Reiff-Marganiec.
in M. ter Beek Proceedings of YR-SOC 2009. EPTCS 2, pp. 27-35, DOI. 2009.
|
| 35. |
|
Markov-HTN Planning Approach to Enhance Flexibility of Automatic Service Composition.
K. Chen, J. Xu and S. Reiff-Marganiec.
ICWS 2009. DOI. 2009.
|
| 34. |
|
Online Detection of Feature Interactions of CPL Services.
L. Wang, J. Xu and S. Reiff-Marganiec.
In M. Nakamura and S. Reiff-Marganiec (eds.): Feature Interactions in Software and Communications Systems X. IOS Press (Amsterdam), May 2009.
|
| 33. |
|
Automated Context-aware Service Selection for Collaborative Systems.
H.Q. Yu and S. Reiff-Marganiec.
In P. van Eck, J. Gordijn, R. Wieringa (eds.): Advanced Information Systems Engineering CAiSE 2009, LNCS 5565, pp 261-274, DOI, 2009.
|
| 32. |
|
StPowla: SOA, Policies and Workflows.
S Gorton, C Montangero, S Reiff-Marganiec and L Semini.
In E. Di Nitto and M. Ripeanu (eds.): ICSOC 2007 Workshops, LNCS 4907, pp 351-362, 2009.
|
| 31. |
|
Service Selection based on Non-Functional Properties.
S Reiff-Marganiec, H Q Yu, and M Tilly.
In E. Di Nitto and M. Ripeanu (eds.): ICSOC 2007 Workshops, LNCS 4907, pp 128-138, 2009.
|
| 30. |
|
Distributed APPEL policies:Logic- based formalisation and conflict detection
C. Montangero, S. Reiff-Marganiec and L. Semini.
Fundamenta Informaticae. Vol 98/4 pp 511-538, Dec 2008. IOS Press.
|
| 29. |
|
Non-functional Property based Service Selection.
H.Q. Yu and S. Reiff-Marganiec.
NFPSLA-SOC 2008, CEUR-Proceedings ISSN 1613-0037 Vol-411, 2008.
|
| 28. |
|
inContext -- Interaction and Context-based Technologies for Collaborative Teams.
C. Melchiorre, S. Reiff-Marganiec, H.Q. Yu, D. Schall and S. Dustdar.
In P Cunningham and M Cunningham (eds.): Collaboration and the Knowledge Economy: Issues, Applications, Case Studies, pp 791-797, IOS-Press, 2008.
|
| 27. |
|
The inContext Pervasive Collaboration Services Architecture
S. Reiff-Marganiec, H.-L. Truong, G. Casella, C. Dorn, S. Dustdar and S. Moretzki.
In P Mahonen, K Pohl and T Priol (eds.): ServiceWave 2008, LNCS 5377, pp 134-146, 2008.
|
| 26. |
|
Composition Context for Web Services Selection.
H.Q. Yu, S Reiff-Marganiec and M. Tilly.
2008 International Conference on Web Services (ICWS 2008), pp. 785-786, DOI, 2008, IEEE.
|
| 25. |
|
Towards Heuristic Web Services Composition Using Immune Algorithm.
J. Xu and S Reiff-Marganiec.
2008 International Conference on Web Services (ICWS 2008), pp. 238-245, DOI, 2008, IEEE.
|
| 24. |
|
A Method for Automated Web Service Selection.
H.Q. Yu and S. Reiff-Marganiec.
2nd International Workshop on Web Service Composition and Adaptation (WSCA-2008) in 2008 IEEE Congress on Services - Part I, pp. 513-520, DOI, 2008, IEEE.
|
| 23. |
|
Context Aware Collaborative Working Environments.
S Reiff-Marganiec, S Dustdar, C Dorn, G Giuliani, R Gombotz, Y Hong, C Melchiorre, S Peray, D Schall, S Stringa, M Tilly, H-L Truong and HQ Yu
In IK Ibrahim (ed): Handbook of Research on Mobile Multimedia: Second Edition. IGR. ISBN 978-1-60566-046-2. September 2008.
|
| 22. |
|
inContext: a Pervasive and Collaborative Working Environment for Emerging Team Forms.
H-L Truong, S Dustdar, D Baggio, S Corlosquet, C Dorn, G Giuliani, R Gombotz, Y Hong, P Kendal, C Melchiorre, S Moretzky,
S Peray, A Polleres, S Reiff-Marganiec, D Schall, S Stringa, M Tilly and HQ Yu.
2008 International Symposium on Applications and the Internet (SAINT 2008), p 118-125, DOI, IEEE. |
| 21. |
|
inContext: On Coupling and Sharing Context for Collaborative Teams.
H-L Truong, C Dorn, G Casella, A Polleres, S Reiff-Marganiec, S Dustdar.
In K-D Thoben, K S Pawar, R Goncalves: International Conference of Concurrent Enterprising (ICE 2008). pp 225-232, 2008.
|
| 20. |
|
Engineering Service Oriented Applications: From StPowla Processes to SRML Models.
L Bocchi, S Gorton and S Reiff-Marganiec.
In JL Fiadeiro and P Inveradi (eds.): FASE 2008, LNCS 4961, pp 163-178, 2008.
|
| 19. |
|
Towards Feature Interactions in Business Processes.
S Gorton and S. Reiff-Marganiec.
In L. du Bousquet and J-L. Richier Feature Interactions in Telecommunications and Software Systems IX. . IOS Press (Amsterdam), May 2008. |
| 18. |
|
Context-sensitive Team Formation: Towards Model-Based Context Reasoning and Update
H Q Yu, Y Hong, R Heckel and S Reiff-Marganiec
CONTEXT 2007.
|
| 17. |
|
Logic based detection of conflicts in Appel policies.
C. Montangero, S. Reiff-Marganiec and L. Semini.
In F. Arbab and M. Sirjani(eds.): FSEN 2007, LNCS 4767, pp 257-271,2007.
|
| 16. |
|
Interaction and Context in Service-Oriented e-Collaboration Environments.
C. Dorn, S. Dustdar, G. Giuliani, R. Gombotz, K. Ning, S. Peray, S. Reiff-Marganiec, D. Schall and M. Tilly.
In Encyclopedia of E-Collaboration, Edited by Ned Kock, Idea Group Reference. 2007.
|
| 15. |
|
Policy-driven Business Management over Web Services.
S. Gorton and S. Reiff-Marganiec.
IM 2007.
|
| 14. |
|
Policy Support for Business-oriented Web Service Management.
S. Gorton and S. Reiff-Marganiec.
LA-WEB 2006. October 2006. IEEE Computer Society.
|
| 13. |
|
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services.
S. Gorton and S. Reiff-Marganiec.
LNCS: BPM 2006.
S. Dustdar, J. Fiadeiro, A. Sheth.
September 2006. Springer Verlag (Berlin).
|
| 12. |
|
Policy Support for Call Control.
K. J. Turner, S. Reiff-Marganiec, L. Blair, J. Pang, T. Gray, P. Perry and J. Ireland.
Computer Standards and Interfaces, vol 28/6 pp 635-649, June 2006. Elsevier Science.
|
| 11. |
|
Feature Interaction in Policies.
S. Reiff-Marganiec and K. J. Turner.
Computer Networks, vol 45/5 pp 569-584, August 2004.
Elsevier Science.
|
| 10. |
|
Policy-enabled Mechanisms for Feature Interactions: Reality, Expectations, Challenges.
P. Dini, L. Logrippo, A. Clemm, T. Gray, S. Reiff-Marganiec and F.J. Lin.
Computer Networks, vol 45/5 pp 585-603, August 2004.
Elsevier Science.
|
| 9. |
|
Policies: Giving Users Control over Calls.
S. Reiff-Marganiec.
LNCS2975: Agents, Objects and Features.
M.D. Ryan, J-J.Ch. Meyer and H-D. Ehrlich.
Springer Verlag (Berlin), 2004.
|
| 8. |
|
A Policy Architecture for Enhancing and Controlling Features.
S. Reiff-Marganiec and K. J. Turner.
Feature Interactions in Telecommunications and Software Systems VII.
D. Amyot and L. Logrippo.
IOS Press (Amsterdam), June 2003.
|
| 7. |
|
Hybrid Solutions to the Feature Interaction Problem.
Muffy Calder, Mario Kolberg, Evan Magill, Dave Marples and S. Reiff-Marganiec.
Feature Interactions in Telecommunications and Software Systems VII.
D. Amyot and L. Logrippo.
IOS Press (Amsterdam), June 2003.
|
| 6. |
|
Feature Interaction: A Critical Review and Considered Forecast.
M. Calder, M. Kolberg, E. H. Magill and S. Reiff-Marganiec.
Computer Networks, vol 41/1 pp 115-141, January 2003.
Elsevier Science.
|
| 5. |
|
Use of Logic to Describe Enhanced Communication Services.
S. Reiff-Marganiec and K. J. Turner.
LNCS2529: Formal Techniques for Networked and Distributed Systems - FORTE2002.
D. A. Peled and M. Y. Vardi.
Springer Verlag (Berlin), November 2002.
|
| 4. |
|
A Feature Manager Approach to the Analysis of Component-Interactions.
L. Blair, T. Jones and S. Reiff-Marganiec.
Formal Methods for Open Object-Based Distributed Systems V.
Bart Jacobs and Arend Rensink.
Kluwer, 2002. ISBN 0-7923-7683-8.
|
| 3. |
|
Theory and Practice of Enhancing a Legacy Software System.
M. Calder, E. H. Magill, S. Reiff-Marganiec and V. Thayananthan.
Systems Engineering for Business Process Change -- New Directions.
Peter Henderson.
Springer Verlag, 2002. ISBN 1-85233-399-5.
|
| 2. |
|
Modelling Legacy Telecommunications Switching Systems for Interaction Analysis.
M. Calder and S. Reiff.
Systems Engineering for Business Process Change.
Peter Henderson.
Springer Verlag, May 2000. ISBN 1-85233-222-0.
|
| 1. |
|
Identifying Resolution Choices for an Online Feature Manager.
S. Reiff.
Feature Interactions in Telecommunications and Software Systems VI.
M. Calder and E. Magill.
IOS Press (Amsterdam), May 2000.
|
|
|
Runtime Resolution of Features Interactions in Evolving Telecommunications Systems.
S. Reiff-Marganiec.
PhD Thesis.
Department of Computing Science, University of Glasgow, May 2002, Glasgow (UK).
|
|
|
Context-based transactional service selection approach for service composition.
Joyce El Haddad, Maude Manouvrier, Stephan Reiff-Marganiec, and Marta Rukoz.
Notes de Recherche No 49.
LAMSADE - CNRS FRE 3234 - Universite Paris Dauphine.
|
|
|
Supporting user-friendly design of flexible Business Processes in StPowla.
P. Fantini, C. Montangero, C. Palasciano, S. Reiff-Marganiec, and L. Semini.
Technical Report PISATR0825.
Dipartimento di Informatica, Universita di Pisa, 2008, Pisa (Italy).
|
|
|
Proceedings of the Third European Young Researchers Workshop on Service-Oriented Computing.
M. Solanki, B. Norton and S. Reiff-Marganiec (eds).
Technical Report CS-08-002.
School of Mathematics and Computer Science, University of Leicester, June 2008, Leicester (UK).
|
|
|
Proceedings of the Second European Young Researchers Workshop on Service-Oriented Computing.
S. Gorton, M. Solanki and S. Reiff-Marganiec (eds).
Technical Report CS-07-002.
School of Mathematics and Computer Science, University of Leicester, June 2007, Leicester (UK).
|
|
|
The ACCENT Policy Server.
S. Reiff-Marganiec.
Technical Report CSM-162.
Department of Computing Science and Mathematics, University of Stirling, November 2003, Stirling (UK).
|
|
|
APPEL: The Accent Project Policy Environment/Language.
S. Reiff-Marganiec.
Technical Report CSM-161.
Department of Computing Science and Mathematics, University of Stirling, November 2003, Stirling (UK).
|
|
|
Using Lotos for Modelling and Analysing an Online Feature Manager: A Study.
S. Reiff-Marganiec.
Technical Report TR-2001-92.
Department of Computing Science, University of Glasgow, June 2001, Glasgow (UK).
|
|
|
Second Feature Interaction Detection Contest.
M. Kolberg, E. H. Magill, D. Marples and S. Reiff.
Feature Interactions in Telecommunications and Software Systems VI.
M. Calder and E. Magill.
IOS Press (Amsterdam), May 2000.
|
|
|
Results of the Second Feature Interaction Detection Contest.
M. Kolberg, E. H. Magill, D. Marples and S. Reiff.
Feature Interactions in Telecommunications and Software Systems VI.
M. Calder and E. Magill.
IOS Press (Amsterdam), May 2000.
|
|
|
Notes on Call Configurations with Features.
S. Reiff.
Workshop on Language Constructs for Describing Features
(Fireworks ESPRIT WG23531). May 2000.
|
|
|
Modelling a Telephone Switching System for Verification.
S. Reiff and M. Calder.
Technical Report TR-1999-38.
Department of Computing Science, University of Glasgow, June 99, Glasgow (UK).
|
|
|
The Application of Model-Checking to Verification Problems in Telephone Switching Systems.
S. Reiff and M. Calder.
Proceedings of the 6th Workshop on Automated Reasoning - Bridging the gap between theory and practice.
6th - 9th April 99, Edinburgh (UK).
|
|
Service Composition: Lessons from Telecomms.
Invited Talk at YR-SOC 2005, Leicester, April 2005
|
|
Service Based Software: Lessons from Telecommunications.
Invited Seminar at Department of Informatics, Faculty of Sciences, University of Lisbon, Lisbon, December 2004
|
|
Web Services: Short Tutorial.
ATX (for ATX customers), Lisbon, December 2004
|
|
A Policy Description Language for Internet Telephony.
Invited Seminar at SITE, University of Ottawa, Ottawa, August 2002
|
|
The ACCENT project: Developing a comprehensive and practical policy description language.
Invited talk, SIP2002, London, June 2002
|
|
Telecommunication Services: What's the Big Deal.
Computing Science Seminar, Dept. of Computing Science, University of Wales Swansea, Swansea, May 2002
|
|
Automatic On-Line Resolution of Detected Interactions.
Forum for Creation and Engineering of Telecommunications Services (Forces), London, December 2000
|
|
ACCENT
S. Reiff-Marganiec and K. J. Turner.
MiCon. Kanata, August 2002.
|
|
Receiving the Calls you want when you want them.
S. Reiff-Marganiec and K. J. Turner.
Set for Britain: Science Engenieering and Technology at the House of Commons. London, March 2002.
|
|
Data Types for Safety Critical Computing.
S. Reiff.
May 1998.
Final Year Project for B.Sc at the University of Wales, Swansea (Supervisor : John V. Tucker)
|
|
A Brief Account to the History of Real Numbers.
S. Reiff.
May 1998.
Dissertation for History of Computation, University of Wales, Swansea (Supervisor : John V. Tucker)
|
|
|
![[University Home]](/images/unihome.gif){kind=small}
|![[Faculty of Science]](/images/fac_of_science.gif){kind=small}
|![[MCS Home]](/images/schhome.gif){kind=small}
|![[CS Home]](/images/depthome.gif){kind=small}
||![[University Index A-Z]](/images/index.gif){kind=small}
|![[University Search]](/images/search.gif){kind=small}
|![[University Help]](/images/help.gif){kind=small}
|