by Year

Publications

2010

C. Chapman, W. Emmerich F. {Garlan Marquez}, S. Clayman and A. Galis (2010). Software Architecture Definition for On-demand Cloud Provisioning. In Proc. of the 19th ACM Int. Symp. on high Performance Distributed Computing (HDPC 2010), Chicago, Il.
J. Skene, F. Raimondi and W. Emmerich (2010). Service-Level Agreements for Electronic Services. IEEE Transactions on Software Engineering, 36(2):288-304.

2009

B. Rochwerger, D. Breitgand, E. Levy, A. Galis, K. Nagin, L. Llorente, R. Montero, Y. Wolfsthal, E. Elmroth, J. Caceres, M. Ben-Yehuda, W. Emmerich and F. Galan (2009). The RESERVOIR Model and Architecture for Open Federated Cloud Computing. IBM Journal of Research and Development, 53(4):Paper 4.
D. Bolchini, A. Finkelstein, V. Perrone and S. Nagl (2009). Better Bioinformatics Through Usability Analysis. Bioinformatics.

2008

H. Foster, A. Mukhija, D. S. Rosenblum and S. Uchitel (2008). A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modesdsa. In Proc. of the 6th Int. Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. pp. 558-564. Springer.
F. Raimondi, J. Skene and W. Emmerich (2008). Efficient Online Monitoring of Web-Service SLAs. In Proc. of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, USA. pp. 170-180. ACM Press.
M. Sama, D. S. Rosenblum, Z. Wang and S. Elbaum (2008). Model-Based Fault Detection in Context-Aware Adaptive Applications. In Proc. of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, USA. pp. 261-271. ACM Press.
L. Duboc, E. Letier, D. S. Rosenblum and T. Wicks (2008). A Case Study in Eliciting Scalability Requirements. In Proc. of the 16th International Requirements Engineering Conference. pp. 247-252. IEEE Computer Society Press.
C. Zirpins and W. Emmerich (2008). An E-Service SOA Model for Virtual Service Enterprises. In Proc. PRO-VE '08, 9th IFIP Working Conference on Virtual Enterprises, Poznan, Poland. pp. 485-492. Springer.
C Zirpins and W. Emmerich (2008). A reference model of virtual service production networks. Int. Journal on Service Oriented Computing and Applications, 2(2-3):145-166. Springer.
R. Bahsoon and W. Emmerich (2008). An Example on Realizing Economics-Driven Software Mining. In Proc. of the 20th Int. Conference on Software Engineering and Knowledge Engineering, San Francisco, USA. pp. 375-381. Knowledge Systems Institute.
N. Lathia, S. Hailes and L. Capra (2008). kNN CF: A Temporal Social Network. In Proc. of 2nd ACM International Conference on Recommender Systems. pp. 227-234. ACM Press.
L. McNamara, C. Mascolo and L. Capra (2008). Media Sharing based on Colocation Prediction in Urban Transport. In Proc. of 14th ACM International Conference on Mobile Computing and Networking. pp. 58-69. ACM Press.
D. Quercia, S. Hailes and L. Capra (2008). MobiRate: Making Mobile Raters Stick to their Word. In Proc. of 10th International Conference on Ubiquitous Computing. pp. 212-221.
L. Del Prete and L. Capra (2008). Reliable Discovery and Selection of Composite Services in Mobile Environments. In Proc. of 12th IEEE International Enterprise Distributed Computing Conference. pp. 171-180.
D. Quercia, L. Capra and V. Zanardi (2008). Selecting Trustworthy Content Using Tags (Invited Paper). In Proc. of International Conference on Security and Cryptography, Special Session on Trust in Pervasive Systems and Networks.
V. Zanardi and L. Capra (2008). Social Ranking: Uncovering Relevant Content Using Tag-based Recommender Systems. In Proc. of 2nd ACM International Conference on Recommender Systems. pp. 51-58.
V. Zanardi and L. Capra (2008). Social Ranking: Finding Relevant Content in Web 2.0. In Proc. of International Workshop on Recommender Systems, co-located with 18th European Conference on Artificial Intelligence.
E. Letier, J. Kramer, J. Magee and S. Uchitel (2008). Deriving event-based transition systems from goal-oriented requirements models. Automated Software Engineering, 15(2):175-206.
M. Dell'Amico and L. Capra (2008). SOFIA: Social Filtering for Robust Recommendations. In Proc. of 2nd Joint iTrust and PST Conferences on Privacy, Trust management and Security. pp. 135-150.
N. Lathia, S. Hailes and L. Capra (2008). Trust Based Collaborative Filtering. In Proc. of 2nd Joint iTrust and PST Conferences on Privacy, Trust management and Security. pp. 119-134.
R. Bahsoon, L. Capra, W. Emmerich and M. E. Fayad (eds) (2008). Proc. of the 1st Int. Workshop on Software Architectures and Mobility. ACM Press.
M. Sama, D. S. Rosenblum, Z. Wang and S. Elbaum (2008). Multi-Layer Faults in the Architectures of Mobile Context-Aware Adaptive Applications. In Proc. of the 1st Int. Workshop on Software Architectures and Mobility. pp. 47-49.
R. Bahsoon, L. Capra, W. Emmerich and M. E. Fayad (2008). The International Workshop on Software Architectures and Mobility (SAM 2008) - Workshop Summary. In Companion Volume of the 30th International Conference on Software Engineering. pp. 1033-1034.
A. Maule, W. Emmerich and D. S. Rosenblum (2008). Impact Analysis of Database Schema Changes. In Proc. of the 30th Int. Conference on Software Engineering, Leipzig, Germany. pp. 451-460. ACM Press.
R. Bahsoon and W. Emmerich (2008). An Economics-Driven Approach for Valuing Scalability in Distributed Architectures. In Proc. of the 7th Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), Vancouver, Canada. pp. 9-18. IEEE Computer Society Press.
W. Emmerich, J. Sventek and M. Aoyama (2008). The Impact of Research on the Development of Middleware Technology. ACM Transactions on Software Engineering and Methodology, 17(4):48 pages.
L. Liberti and F. Raimondi (2008). The Secret Santa Problem. In Algorithmic Aspects in Information and Management (AAIM), Shanghai, China. pp. 271-279. Springer.
N. Lathia, S. Hailes and L. Capra (2008). The Effect of Correlation Coefficients on Communities of Recommenders. In Proc. of 23rd Annual ACM Symposium on Applied Computing - Trust, Recommendations, Evidence and other Collaboration Know-how (TRECK) Track. pp. 2000-2005.
A. Egyed, E. Letier and A. Finkelstein (2008). Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008). pp. 99-108.
A. Finkelstein, M. Harman, S. Mansouri, J. Ren and Y. Zhang (2008). 'Fairness Analysis' in Requirements Assignments. In International Conference on Requirements Engineering (RE 08). pp. 115-124. IEEE CS Press.
K. Boness, A. Finkelstein and R. Harrison (2008). A Lightweight Technique for Assessing Risks in Requirements Analysis. IET Software, 2(1):46-57.
P. Bunyakiati, A. Finkelstein, J. Skene and C. Chapman (2008). Using JULE to Generate a Compliance Test Suite for the UML Standard. In Proc. of the 30th Int. Conference on Software Engineering (ICSE). pp. 827-830. ACM.
R. Harbird, A. Finkelstein, S. Hailes, E. McKinney and R. Jeyarajah-Dent (2008). PRAIS - PRivacy impact Analysis for Information Sharing. In Healthcare Computing Conference (HC2008). BCS.
S. Jansen, S. Brinkkemper and A. Finkelstein (2008). Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network. In 15th Annual EuroMA Conference (Euroma 2008). European Operations Management Association.
B. Jennings and A. Finkelstein (2008). Flexible Workflows. In C. Voudouris, G. Owusu, R. Dorne and D. Lesaint (eds), Service Chain Management: technology innovation for service business. pp. 171-185. Springer.
B. Jennings and A. Finkelstein (2008). Flexible Workflows: Reputation-based Message Routing. In 9th Workshop on Business Process Modeling, Development, and Support (BPMDS 08).
Y. Zhang, A. Finkelstein and M. Harman (2008). Search Based Requirements Optimisation: Existing Work & Challenges. In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 08). Springer.

2007

D. Quercia, S. Hailes and L. Capra (2007). Lightweight Distributed Trust Propagation. In Proc. of 7th IEEE International Conference on Data Mining. pp. 282-291.
N. Lathia, S. Hailes and L. Capra (2007). Private Distributed Collaborative Filtering using Estimated Concordance Measures. In Proc. of 1st ACM International Conference on Recommender Systems. pp. 1-8.
D. Quercia, S. Hailes and L. Capra (2007). TRULLO - Local Trust Bootstrapping for Ubiquitous Devices. In Proc. of 4th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. pp. 1-9.
L. McNamara, C. Mascolo and L. Capra (2007). Content Source Selection in Bluetooth Networks. In Proc. of 4th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. pp. 1-8.
L. Capra (2007). MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity. In Proc. of 4th IEEE International Workshop on Middleware Support for Pervasive Computing. pp. 449-454.
A. Mukhija, A. Dingwall-Smith and D. S. Rosenblum (2007). QoS-Aware Service Composition in Dino. In Proceedings of the 5th IEEE European Conference on Web Services (ECOWS 2007). pp. 3-12. IEEE Computer Society Press.
J. Skene (2007). Language support for service-level agreements for application-service provision. PhD Thesis. University of London.
H. Foster, W. Emmerich, J. Kramer, J. Magee, D. Rosenblum and S. Uchitel (2007). Model checking service compositions under resource constraints. In Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. pp. 225-234. ACM Press.
L. Duboc, D. Rosenblum and T. Wicks (2007). A framework for characterization and analysis of software system scalability. In Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. pp. 375-384. ACM Press.
R. Calegari, M. Musolesi, F. Raimondi and C. Mascolo (2007). CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. In Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. pp. 415-424. ACM Press.
W. Emmerich and G. Rothermel (eds) (2007). Proc. of the 29th Int. Conference on Software Engineering, Minneapolis, USA, May 20-26, 2007. IEEE Computer Society Press.
Z. Wang, S. Elbaum and D. S. Rosenblum (2007). Automated Generation of Context-Aware Tests. In Proc. of the 29th Int. Conference on Software Engineering (ICSE '07), Minneapolis, MN. IEEE Computer Society Press.
W. Emmerich, M. Aoyama and J. Sventek (2007). The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes, 32(1):21-46.
P. Costa, G. Coulson, R. Gold, M. Lad, C. Mascolo, L. Mottola, G. P. Picco, T. Sivaharan, N. Weerasinghe and S. Zachariadis (2007). The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario. In Proc. of the 5th IEEE Int. Conf. on Pervasive Computing and Communications (Percom07), White Plains, NY. pp. 69-78. IEEE Computer Society Press.
A. Lomuscio, C. Pecheur and F. Raimondi (2007). Automatic Verification of Knowledge and Time with NuSMV. In Proceedings of the 20th International Joint Conference on Artificial Intelligence. pp. 1384-1389. AAAI.
C. Chapman, M. Musolesi, W. Emmerich and C. Mascolo (2007). Predictive Resource Scheduling in Computational Grids. In Proc. of the 21st Int. Parallel and Distributed Processing Symposium, Long Beach, CA. pp. 1-10. IEEE Computer Society Press.
J. Skene, A. Skene, J. Crampton and W. Emmerich (2007). The Monitorability of Service-Level Agreements for Application-Service Provision. In Proc. of the 6th Int. Workshop on Software and Performance (WOSP), Buenos Aires, Argentina. pp. 3-14. ACM Press.
A. Di Marco and C. Mascolo (2007). Performance Analysis and Prediction of Physically Mobile Systems. In Proc. of the 6th Int. Workshop on Software and Performance (WOSP), Buenos Aires, Argentina. pp. 129-132. ACM Press.
B. Wassermann, W. Emmerich, B. Butchart, N. Cameron, L. Chen and J. Patel (2007). Sedna: A BPEL-based environment for visual scientific workflow modelling. In I. J. Taylor, E. Deelman, D. B. Gannon and M. Shields (eds), Workflows for e-Science. pp. 428-449. Springer.
Alessandro Orso, Hyunsook Do, Gregg Rothermel and Mary Jean Harrold andDavid Rosenblum (2007). Using Component Metadata to Regression Test Component-based Software. Journal of Software Testing, Verification and Reliability (JSTVR), 17(2):61-94. Wiley.
B. Wassermann and W. Emmerich (2007). Reliable Scientific Service Compositions. In Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. Lecture Notes in Computer Science. Vol. 4652. pp. 14-25. Springer Verlag.
P. Bunyakiati, A. Finkelstein and D. Rosenblum (2007). The Certification of Software Tools with Respect to Software Standards. In IEEE Conference on Information Reuse and Integration (IRI 2007). pp. 724-729. IEEE.
J. Hetherington, I. Bogle, P. Saffrey, O. Margoninski, L. Li, M. Rey, S. Yamaji, S. Baigent, J. Ashmore, K. Page, R. Seymour, A. Finkelstein and A. Warner (2007). Addressing the Challenges of Multiscale Model Management In Systems Biology. Computers and Chemical Engineering (7th World Congress of Chemical Engineering), 31(8):962-979.
S. Jansen, S. Brinkkemper and A. Finkelstein (2007). Providing Transparency In The Business Of Software: A Modeling Technique For Software Supply Networks. In IFIP Working Conference on Virtual Enterprises (Pro-VE): Establishing The Foundation Of Collaborative Networks. pp. 677-686. Springer Boston.
C. Mattmann, V. Perrone, S. Kelly, D. Crichton, A. Finkelstein and N. Medvidovic (2007). A Reference Framework for Requirements and Architecture in Biomedical Grid Systems. In IEEE Conference on Information Reuse and Integration (IRI 2007). pp. 418-422. IEEE.
V. Perrone and A. Finkelstein (2007). Analyzing Requirements for a Large Scale System for Cancer Research. In 20th IEEE International Symposium on Computer Based Medical Systems (CBMS 2007). pp. 103-108. IEEE CS Press.
P. Saffrey, O. Margoninski, J. Hetherington, M. Varela-Rey, S. Yamaji, A. Finkelstein, D. Bogle and A. Warner (2007). End-to-End Information Management for Systems Biology. Transactions on Computational Systems Biology, VIII(LNBI 4780):77-91.
Z. Sun, A. Finkelstein and J. Ashmore (2007). Using Ontology with Semantic Web Services to Support Modeling in Systems Biology. In International Workshop on Approaches and Architectures for Web Data Integration and Mining in Life Sciences (WebDIM4LS). pp. 41-51. Springer.

2006

A. Dingwall-Smith (2006). Run-Time Monitoring of Goal-Oriented Requirements Specifications. PhD Thesis. University of London.
S. Zachariadis, C. Mascolo and W. Emmerich (2006). The SATIN Component System - A Meta Model For Engineering Adaptable Mobile Systems. IEEE Transactions on Software Engineering, 32(11):910-927.
A. Lomuscio, F.Raimondi and B. Wozna (2006). Verification of the TESLA protocol in MCMAS-X. In Proceedings of Concurrency, Specification and Programming (CSP). Humboldt University Press.
C. Pecheur and F. Raimondi (2006). Symbolic model checking of logics with actions. In Proceedings of MoChArt 2006. Springer Verlag.
M. Kacprzak, A. Lomuscio, A. Niewiadomskiand W. Penczek, F. Raimondi and M. Szreter (2006). Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol. Fundamenta Informaticae, 63(2,3):221-240.
F. Raimondi (2006). Model Checking Multi-Agent Systems. PhD Thesis. University of London.
C. Mascolo, M. Musolesi and B. Pastzor (2006). Demo Abstract: Data Collection in Delay Tolerant Mobile Sensor Networks using SCAR. In Proceedings of the 4th ACM Conference on Embedded Networked Sensor Systems (SenSys 2006). ACM Press.
M. Musolesi and C. Mascolo (2006). Controlled Epidemic-style Dissemination Middleware for Mobile Ad Hoc Networks. In Proceedings of the 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS 2006). IEEE Computer Society Press.
C. Mascolo and M. Musolesi (2006). SCAR: Context-aware Adaptive Routing in Delay Tolerant Mobile Sensor Networks. In Proceedings of the Delay Tolerant Networks Symposium. ACM International Wireless Communications and Mobile Computing Conference (IWCMC) 2006. pp. 533-538. ACM Press.
M. Musolesi and C. Mascolo (2006). Evaluating Context Information Predictability for Autonomic Communication. In Proceedings of 2nd IEEE Workshop on Autonomic Communications and Computing (ACC'06). Co-located with 7th IEEE Int. Symp. WoWMoM'06. pp. 495-499. IEEE Computer Society Press.
M. Musolesi and C. Mascolo (2006). A Community based Mobility Model for Ad Hoc Network Research. In Proceedings of the 2nd ACM/SIGMOBILE International Workshop on Multi-hop Ad Hoc Networks: from theory to reality (REALMAN'06). pp. 31-38. ACM Press.
L. Capra and M. Musolesi (2006). Autonomic Trust Prediction for Pervasive Systems. In IEEE Workshop on Trusted and Autonomic Computing Systems 2006 (TACS '06). pp. 481-488. IEEE Computer Society Press.
Mirco Musolesi and Cecilia Mascolo (2006). Spatio-Temporal Communication Primitives for Delay Tolerant Systems. In Proceedings of 3th MiNEMA Workshop.
S. Zachariadis, M. Lad, C. Mascolo and W. Emmerich (2006). Building Adaptable Mobile Middleware Services Using Logical Mobility Techniques. In B. Kraemer (ed), Contributions to Ubiquitous Computing. Studies in Computational Intelligence. Vol. 42. pp. 17-40. Springer.
J. Skene and W. Emmerich (2006). Specifications, not Meta-Models. In Proc. of the ICSE 2006 Workshop on Global integrated Model Mannagement (GaMMa 2006). pp. 47-54. ACM Press.
A. Bertolino, W. Emmerich, P. Inverardi and V. Issarny (2006). Softure: Adaptable, Reliable and Performing Software for the Future. In Proc. of the ETAPS '06 Workshop on Future Research Challenges for Software and Services.
L. Chen, B. Wassermann, W. Emmerich and H. Foster (2006). Web Service Orchestrations with BPEL (Tutorial Summary). In Proc. of the 28th Int. Conference on Software Engineering, Shanghai, China. pp. 1071-1072. ACM Press.
D. Quercia, M. Lad, S. Hailes, L. Capra and S. Bhatti (2006). Survivable wireless networking - autonomic bandwidth sharing in mesh networks. BT Technology Journal, 24(3):99-107. Springer.
L. McNamara, C. Mascolo and L. Capra (2006). Trust and Mobility aware Service Provision for Pervasive Computing. In Int. Workshop on Requirements and Solutions for Pervasive Software Infrastructures (co-located with Pervasive 2006).
D. Quercia, S. Hailes and L. Capra (2006). B-trust: Bayesian Trust Framework for Pervasive Computing. In Proc. of the 4th International Conference on Trust Management (iTrust).
D. Quercia, S. Hailes and L. Capra (2006). TATA: Towards Anonymous Trusted Authentication. In Proc. of the 4th International Conference on Trust Management (iTrust).
D. Quercia, M. Lad, S. Hailes, L. Capra and S. Bhatti (2006). STRUDEL: Supporting Trust in the Dynamic Establishment of peering coaLitions. In Proc. of 21st Annual ACM Symposium on Applied Computing. ACM Press.
C. Raiciu, D. S. Rosenblum and M. Handley (2006). Revisiting Content-Based Publish/Subscribe. In DEBS '06: Proceedings of the fifth International Workshop on Distributed Event Based Systems.
C. Raiciu and D. S. Rosenblum (2006). Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures. In Securecomm '06: Proceedings of the Second IEEE/CreatNet International Conference on Security and Privacy in Communication Networks .
C. Raiciu, M. Handley and D. S. Rosenblum (2006). Exploit Hijacking: Side Effects of Smart Defenses. In LSAD '06: Proceedings of ACM SIGCOM Workshop on Large Scale Attack Defenses.
L. Popa, C. Raiciu, I. Stoica and D. S. Rosenblum (2006). Reducing Congestion Effects in Wireless Networks by Multipath Routing. In ICNP '06: Proceedings of the 14th IEEE International Conference on Network Protocols. IEEE Computer Society Press.
P. Brebner and W. Emmerich (2006). Two Ways to Grid: The contribution of Open Grid Services Architecture (OGSA) mechanisms to Service-centric and Resource-centric lifecycles. Journal of Grid Computing, 4(1):115-131.
M. Musolesi, C. Mascolo and S. Hailes (2006). EMMA: Epidemic Messaging Middleware for Ad Hoc Networks. Personal and Ubiquitous Computing, 10(1):28-36.
R. Bahsoon and W. Emmerich (2006). Requirements for Evaluating Architectural Stability. In Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Dubai, UAE. IEEE Computer Society Press.
R. Bahsoon and W. Emmerich (2006). Architectural Stability and Middleware: An Architecture Centric Evolution Perspective. In Proc. of the ECOOP 2006 workshop on Architecture-Centric Evolution, Nantes, France.
F. Raimondi and A. Lomuscio (2006). Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic. Elsevier.
A. Lomuscio and F. Raimondi (2006). Model checking knowledge, strategies, and games in multi-agent systems. In Proceedings of the fifth international joint conference onAutonomous agents and multiagent systems (AAMAS'06). ACM Press.
A. Lomuscio and F. Raimondi (2006). The complexity of model checking concurrent programs against CTLK specifications. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS'06). ACM Press.
A. Lomuscio and F. Raimondi (eds) (2006). MCMAS: A model checker for multi-agent systems. Springer Verlag.
A. Finkelstein, J. Lewis-Bowen, G. Piccinelli and W. Emmerich (2006). Using Event Models in Grid Design. In J. Cunha and O. Rana (eds), Grid Computing: Software Environments and Tools . pp. 19-44. Springer.
L. Goldin and A. Finkelstein (2006). Abstraction-Based Requirements Management. In Role of Abstraction in Software Engineering (ROA '06). pp. 3-11. ACM Press.
O. Margoninski, P. Saffrey, J. Hetherington, A. Finkelstein and A. Warner (2006). A Specification Language and a Framework for the Execution of Composite Models in Systems Biology. LNCS Transactions on Computational Systems Biology, VII(LNBI 4230).

2005

C. F. Alves (2005). Managing Mismatches in COTS-Based Development. PhD Thesis. University of London.
S. Zachariadis (2005). Adapting Mobile Systems Using Logical Mobility Primitives. PhD Thesis. University of London.
L. Capra (2005). Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems. In Proc. of the 1st IEEE Workshop on the Value of Security Through Collaboration, in conjunction with IEEE/CreateNet SecureComm 2005.
M. Calleja, R. Bruin, M. G. Tucker, M. T. Dover, R. Tyer, L. Blanshard, K. Kleese van Dam, R. J. Allen, C. Chapman, W. Emmerich, P. Wilson, J. Brodholt, A. Thandavan and V. N. Alexandrov (2005). Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation, 31(5):303-313.
W. Emmerich, B. Butchart, L. Chen, B. Wassermann and S. L. Price (2005). Grid Service Orchestration using the Business Process Execution Language (BPEL). Journal of Grid Computing, 3(3-4):283-304.
P. Brebner and W. Emmerich (2005). Deployment of Infrastructure and Services in the Open Grid Services Architecture. In A. Dearle and S. Eisenbach (eds), Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France. Lecture Notes in Computer Science. Vol. 3798. pp. 181-195. Springer.
C. Goonatilake, C. Chapman, W. Emmerich, M. Farrellee, T. Tannenbaum, M. Livny, M. Calleja and M. Dove (2005). Condor Birdbath - web service interface to Condor. In Proc. of the 2005 UK e-Science All Hands Meeting. EPSRC.
P. Costa, G. Coulson, C. Mascolo, G. P. Picco and S. Zachariadis (2005). The RUNES middleware: a reconfigurable component-based approach to networked embedded systems. In Proc. of the 16th Int. Symposium on Personal, Indoor and Mobile Radio Communications. pp. 806-810. IEEE Computer Society Press.
R. Bahsoon, W. Emmerich and J. Macke (2005). Using real options to select stable middleware-induced software architectures. IEE Proceedings Software, 152(4):167-186.
L. Capra, S. Zachariadis and C. Mascolo (2005). Q-CAD: QoS and Context Aware Discovery Framework for Adaptive Mobile Systems. In Proc. of IEEE Int. Conference on Pervasive Services (ICPS05). San Torini, Greece. pp. 453-456. IEEE Computer Society Press.
M. Musolesi, S. Hailes and C. Mascolo (2005). Social Networks Based Ad Hoc Mobility Models. In Proc. of the 3rd UK-UbiNet Workshop.
J. Skene and W. Emmerich (2005). Engineering Runtime Requirements-Monitoring Systems using MDA Technologies. In IFIP Symposium on Trustworthy Global Computing. Lecture Notes in Computer Science. Vol. 3705. pp. 319-333. Springer.
M. Musolesi, S. Hailes and C. Mascolo (2005). Adaptive Routing for Intermittently Connected Mobile Ad Hoc Networks. In Proc. of the IEEE International Syposium on a World of Wireless, Mobile and Multimedia Networks. pp. 183-189. IEEE Computer Society Press.
T. Gschwind and C. Mascolo (eds) (2005). Software Engineering and Middleware - 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004, Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3437. Springer.
L. Duboc, T. Wicks and W. Emmerich (2005). Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems. In C. Mascolo and T. Gschwind (eds), Proc. of the 4th Int. Workshop on Software Engineering and Middleware, Linz, Austria. Lecture Notes in Computer Science. Vol. 3437. Springer.
G. Denaro, A. Polini and W. Emmerich (2005). Performance Testing of Distributed Component Architectures. In S. Beydeda and V. Gruhn (eds), Building Quality into COTS Components - Testing and Debugging. pp. 294-314. Springer.
C. Nentwich (2005). Managing the Consistency of Distributed Documents. PhD Thesis. University of London.
R. Bahsoon (2005). Evaluating Architectural Stability with Real Options Theory. PhD Thesis. University of London.
F. Raimondi, C. Pecheur and A. Lomuscio (2005). Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. In Proceedings of Concurrency, Specification & Programming (CS&P). pp. 433-444. Warsaw University.
F. Raimondi and A. Lomuscio (2005). Automatic verification of deontic interpreted systems by model checking via OBDD's. Journal of Applied Logic. Elsevier.
E. Letier, J. Kramer, J. Magee and S. Uchitel (2005). Fluent temporal logic for discrete-time event-based models. In Proc. of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE). pp. 70-79. ACM Press.
E. Letier, J. Kramer, J. Magee and S. Uchitel (2005). Monitoring and control in scenario-based requirements analysis. In Proc. of the 27th Int. Conference on Software Engineering. pp. 382-391.
R. Begent, J. M. Brady, A. Finkelstein, D. Gavaghan, P. Kerr, H. Parkinson, F. Reddington and J. M. Wilkinson (2005). Challenges of Ultra Large Scale Integration of Biomedical Computing Systems. In 18th IEEE International Symposium on Computer-Based Medical Systems. pp. 64-69. IEEE CS Press.
C. Alves, X. Franch, J. Carvallo and A. Finkelstein (2005). Using Goals and Quality Models to Support the Matching Analysis During COTS Selection, Bilbao, Spain. In 4th International Conference on COTS-Based Software Systems. Lecture Notes in Computer Science. Vol. 3412. pp. 146-156. Springer.
C. Courbis and A. Finkelstein (2005). Weaving Aspects into Web Service Orchestrations. In 3rd IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida. pp. 219-226. IEEE CS Press.
C. Courbis and A. Finkelstein (2005). Towards Aspect Weaving Applications. In 27th Int. Conference on Software Engineering. pp. 69-77. ACM Press.
G. Rodrigues, D. Rosenblum and S. Uchitel (2005). Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In M. Cerioli (ed), Fundamental Approaches to Software Engineering - FASE 2005. Lecture Notes in Computer Science. Vol. 3442. pp. 111-126. Springer.
G. Rodrigues, D. Rosenblum and S. Uchitel (2005). Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In Proc. ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, MO, USA.
G. Rodrigues, D. Rosenblum and S. Uchitel (2005). Reliability Prediction in Model Driven Development. In L. Briand and C. Williams (eds), Proc. of the 8th Int. Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica. Lecture Notes in Computer Science. Vol. 3713. pp. 339-354. Springer.

2004

L. Capra (2004). Engineering Human Trust in Mobile System Collaborations. In Proc. of the 12th International Symposium on the Foundations of Software Engineering (SIGSOFT 2004/FSE-12), Newport Beach, CA, USA. pp. 107-116. ACM Press.
S. Zachariadis, C. Mascolo and W. Emmerich (2004). SATIN: A Component Model for Mobile Self-Organisation. In R. Meersman and Z. Tari et al. (eds), On the Move to Meaningful Internet Systems 2004: Proc. of CoopIS, DOA and ODBASE, Agia Napa, Cyprus. Lecture Notes in Computer Science. Vol. 3291. pp. 1303-1321. Springer.
G. Rodrigues, G. Roberts and W. Emmerich (2004). Reliability Support for the Model Driven Architecture. In R. de Lemos, C. Gacek and A. Romanovsky (eds), Architecting Dependable Systems II. Lecture Notes in Computer Science. Vol. 3069. pp. 79-98. Springer.
M. Musolesi (2004). Designing a Context-aware Middleware for Asynchronous Communication in Mobile Ad Hoc Environments. In Middleware 2004 Companion Proceedings. pp. 304-308. ACM Press.
R. Harbird, S. Hailes and C. Mascolo (2004). Adaptive Resource Discovery for Ubiquitous Computing. In Proc. of the 2nd Int. Workshop on Middleware for Pervasive and Ad-Hoc Computing. In Middleware 2004 Companion Proceedings.. pp. 155-160. ACM Press.
M. Musolesi, C. Mascolo and S. Hailes (2004). Adapting Asynchronous Messaging Middleware to Ad Hoc Networking. In Proc. of the 2nd Int. Workshop on Middleware for Pervasive and Ad-Hoc Computing. In Middleware 2004 Companion Proceedings. pp. 121-126. ACM Press.
M. Musolesi, S. Hailes and C. Mascolo (2004). An Ad Hoc Mobility Model Founded on Social Network Theory. In Proc. of the 7th ACM/IEEE Int. Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Venice, Italy. pp. 20-24. ACM Press.
C. Chapman, P. Wilson, T. Tannenbaum, M. Farrellee, M. Livny, J. Brodholt and W. Emmerich (2004). Condor Services for the Global Grid: Interoperability between Condor and OGSA. In Proc of the 2004 UK E-Science All Hands Meeting, Nottingham. pp. 870-877. UK Engineering and Physical Science Research Council.
M. Calleja, L. Blanshard, R. Bruin, C. Chapman, A. Thandavan, R. Tyer, P. Wilson, V. Alexandrof, J. Brodholt, M. T. Dove, W. Emmerich and K. Kleese van Dam (2004). Grid tool integration within the eMinerals Project. In Proc of the 2004 UK E-Science All Hands Meeting, Nottingham. pp. 812-817. UK Engineering and Physical Science Research Council.
P. Wilson, W. Emmerich and J. Brodholt (2004). Leveraging HTC for UK eScience with Very Large Condor pools: Demand for transforming untapped power into results. In Proc of the 2004 UK E-Science All Hands Meeting, Nottingham. pp. 308-315. UK Engineering and Physical Science Research Council.
H. Nowell, B. Butchart, D. S. Coombes, S. L. Price, W. Emmerich and C. R. A. Catlow (2004). Increasing the Scope for Polymorph Prediction using e-Science. In Proc of the 2004 UK E-Science All Hands Meeting, Nottingham. pp. 968-971. UK Engineering and Physical Science Research Council.
J. Skene and W. Emmerich (2004). Generating a Contract Checker for an SLA Language. In Proc. of the EDOC 2004 Workshop on Contract Architectures and Languages, Monterey, California. IEEE Computer Society Press.
R. Bahsoon and W. Emmerich (2004). Evaluating Architectural Stability with Real Options Theory. In Proc. of the 20th Int. Conference on Software Maintenance, Chicago, Illinois, U.S.A.. pp. 443-447. IEEE Computer Society Press.
C. Mascolo, L. Capra and W. Emmerich (2004). Principles of Mobile Computing Middleware. In Q. Mahmoud (ed), Middleware for Communications. pp. 261-280. John Wiley.
C. Mascolo, G. P. Picco and G.-C. Roman (2004). CODEWEAVE: Exploring Fine-grained Mobility of Code. Automated Software Engineering (Special Issue on Mobility), 11(3):207-243. Kluwer.
J.-M. Jezequel and W. Emmerich (2004). MDA in Practice (Panel). In Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. p. 691. IEEE Computer Society Press.
L. Capra (2004). Towards a Human Trust Model for Mobile Ad-hoc Networks. In Proc. of 2nd UK-UbiNet Workshop.
R. Bahsoon and W. Emmerich (2004). Applying ArchOptions to Value the Payoff of Refactoring. In Proc. of the 6th Int. Workshop on Economics Driven Software Engineering Research, Edinburgh, Scotland. pp. 66-70. IEE.
J. Skene, D. Lamanna and W. Emmerich (2004). Precise Service Level Agreements. In Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. pp. 179-188. IEEE Computer Society Press.
G. Denaro, A. Polini and W. Emmerich (2004). Early Performance Testing of Distributed Software Applications. In Proc. of the 4th Int. Workshop on Software and Performance, Redwood Shores, Cal., January 14-16, 2004. pp. 94-103. ACM Press.
W. Emmerich and A. L. Wolf (eds) (2004). Component Deployment - Proc. of the 2nd Int. Working Conference, Edinburgh, Scotland, 20-21 May, 2004. Lecture Notes in Computer Science. Vol. 3083. Springer Verlag, Heidelberg.
F. Raimondi and A. Lomuscio (2004). Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation. In Proceedings of the Third International Joint Conference onAutonomous Agents and Multiagent Systems (AAMAS'04). ACM.
F. Raimondi and A. Lomuscio (2004). A tool for specification and verification of epistemic and temporal properties of multi-agent system. In Electronic Lecture Notes in Theoretical Computer Science. Elsevier.
F. Raimondi and A. Lomuscio (2004). Symbolic Model Checking of Multi-Agent Systems Using OBDDs. In Proceedings of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III). pp. 213-221. Springer-Verlag.
F. Raimondi and A. Lomuscio (2004). Automatic Verification of Deontic Properties of Multi-agent Systems. In Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON'04). pp. 228-242. Spinger Verlag.
F. Raimondi and A. Lomuscio (2004). Automatic verification of deontic interpreted systems by model checking via OBDD's. In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI04). pp. 53-57. IOS PRESS.
E. Letier and A. van Lamsweerde (2004). Reasoning about partial goal satisfaction for requirements and design engineering. In Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (SIGSOFT/FSE 12). pp. 53-62. ACM Press.
R. De Landtsheer, E. Letier and A. van Lamsweerde (2004). Deriving tabular event-based specifications from goal-oriented requirements models. Requirements Engineering Journal, 9(2):104-120. Springer-Verlag New York, Inc.. , Secaucus, NJ, USA.
A. Finkelstein, C. Gryce and J. Lewis-Bowen (2004). Relating Requirements and Architectures: A Study of Data-Grids. Journal of Grid Computing, 2(3):207-222.
C. Courbis and A. Finkelstein (2004). Towards an Aspect Weaving BPEL Engine. In Proceedings of the Third AOSD Workshop on Aspects, omponents, and Patterns for Infrastucture Software (ACP4IS). College of Computer and Information Science Northeastern University.
A. Finkelstein, J. Hetherington, L. Li, O. Margoninski, P. Saffrey, R. Seymour and A. Warner (2004). Computational Challenges of Systems Biology. IEEE Computer, 37(5):26-33.
D. S. Rosenblum and J. Estublier (eds) (2004). Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press.
G. Rodrigues, D. Rosenblum and W. Emmerich (2004). A Model Driven Approach for Software Systems Reliability. In Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. pp. 30-32. IEEE Computer Society Press.

2003

G. Piccinelli, C. Zirpins and W. Lamersdorf (2003). The FRESCO Framework: An Overview. In 2003 Symposium on Applications and the Internet Workshops (SAINT 2003 Workshops). pp. 120-123. IEEE Computer Society.
S. Zachariadis and C. Mascolo (2003). Adaptable Mobile Applications Through SATIN: Exploiting Logical Mobility in Mobile Computing Middleware. In Proc. of the 1st UK-UbiNet Workshop.
G. Piccinelli, C. Zirpins and Clare Gryce (2003). An Architectural Model for Electronic Services. In Proc. IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003), June 9-11, 2003, University of Linz, Linz, Austria. pp. 113-114. IEEE Computer Society.
T. Ackemann, C. Mascolo and W. Emmerich (2003). Lightweight Incentives in Peer-to-Peer Networks. UCL-CS. Research Note.
J. Skene, G. Piccinelli and M. Stearns (2003). Modelling Electronic Service Systems Using UML. In Workshop on Service Based Software Engineering, FM2003-SBSE, Pisa, Italy. pp. 15-30. Technische Universitaet Muenchen.
C. Mascolo, W. Emmerich and A. Finkelstein (2003). Guest Editorial: XML and Software Engineering. Automated Software Engineering, 10(1):5-6.
G. Piccinelli, W. Emmerich, S. Williams and M. Stearns (2003). A Model-Driven Architecture for Electronic Service Management Systems. In M. E. Orlowska, S. Weerawarana, M. P. Papazoglou and J. Yang (eds), Proc. of the 1st Int. Conference on Service-Oriented Computing, Trento, Italy. Lecture Notes in Computer Science. Vol. 2910. pp. 241-255. Springer Verlag.
G. N. Rodrigues, G. Roberts, W. Emmerich and J. Skene (2003). Reliability Support for the Model Driven Architecture. In Proceedings of the ICSE Workshop on Software Architecture for Dependable Systems.
J. Skene and W. Emmerich (2003). A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architectures. In Proc. of the 18th IEEE Conference on Automated Software Engineering, October 2003, Montreal, Canada. pp. 236-239. IEEE Computer Society Press.
D. Dui, W. Emmerich, C. Nentwich and B. Thal (2003). Consistency Checking of Financial Derivative Transactions. In M. Aksit, M. Menzini and R. Unland (eds), Objects, Components, Architectures, Services and Applications for a Networked World. Lecture Notes in Computer Science. Vol. 2591. pp. 166-183. Springer Verlag.
R. Bahsoon and W. Emmerich (2003). ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures. In Proc. of the ICSE 2003 Workshop on Economics-Driven Software Engineering Research, Portland, Oregon.
D. Dui and W. Emmerich (2003). Compatibility of XML Language Versions. In B. Westfechtel and A. v. d. Hoek (eds), Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. Lecture Notes in Computer Science. Vol. 2649. pp. 148-162. Springer Verlag.
N. Kaveh and W. Emmerich (2003). Validating Distributed Object and Component Designs. In M. Bernardo and P. Inverardi (eds), Formal Methods for Software Architecture. Lecture Notes in Computer Science. Vol. 2804. pp. 63-91. Springer Verlag.
C. Nentwich, W. Emmerich, A. Finkelstein and E. Ellmer (2003). Flexible Consistency Checking. ACM Transactions on Software Engineering and Methology, 12(1):28-63.
C. Nentwich, W. Emmerich and A. Finkelstein (2003). Consistency Management with Repair Actions. In Proc. of the 25th Int. Conference on Software Engineering, Portland, Oregon. pp. 455-464. ACM Press.
L. Capra, W. Emmerich and C. Mascolo (2003). CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. IEEE Transactions on Software Engineering, 29(10):929-945.
A. Hughes and W. Emmerich (2003). Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal, 21(2):195-203.
D. D. Lamanna, J. Skene and W. Emmerich (2003). SLAng: A Language for Service Level Agreements. In Proc. of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. pp. 100-106. IEEE Computer Society Press.
J. Skene and W. Emmerich (2003). Model Driven Performance Analysis of Enterprise Information Systems. Electronic Notes in Theoretical Computer Science, 82(6).
B. Butchart, C. Chapman and W. Emmerich (2003). OGSA First Impressions: A Case Study using the Open Grid Service Architecture. In Proceedings of the UK E-Science All Hands Meeting, Nottingham. pp. 810-816. EPSRC.
S. Zachariadis, C. Mascolo and W. Emmerich (2003). Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing. In E. Horlait, T. Magedanz and R. H. Glitho (eds), Proceedings of 5th Int. Workshop on Mobile Agents for Telecommunication Applications (MATA03). Lecture Notes in Computer Science. Vol. 2881. pp. 170-179. Springer Verlag.
R. Bahsoon (2003). Evaluating Software Architectures for Stability: a Real Options Approach. In Proc. of the 25th Int. Conference on Software Engineering, Doctoral Symposium, Portland, Oregon. p. 765. ACM Press.
R. Bahsoon and W. Emmerich (2003). Evaluating Software Architectures for Development, Stability and Evolution. In Proc. of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. p. 47. IEEE Computer Society Press.
W. Emmerich (2003). Konstruktion von verteilten Objekten. dpunkt Verlag, Heidelberg.
L. Capra (2003). Reflective Mobile Middleware for Context-Aware Applications. PhD Thesis. University of London.
F. Raimondi and A. Lomuscio (2003). A Tool for Specification and Verification of Epistemic Properties of Interpreted Systems. In Proceedings of the International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03). Elsevier.
A. Lomuscio, F. Raimondi and M. J. Sergot (2003). Towards model checking interpreted systems. In Proceedings of 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03). ACM Press.
R. De Landtsheer, E. Letier and A. van Lamsweerde (2003). Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In Proc. of the 11th IEEE Int. Conf. on Requirements Engineering. p. 200. IEEE Computer Society.
C. Alves and A. Finkelstein (2003). Investigating Conflicts in COTS Decision-Making. International Journal of Software Engineering and Knowledge Engineering, 13(5):1-21.
D. Bush and A. Finkelstein (2003). Requirements Stability Assessment Using Scenarios. In Requirements Engineering (RE 2003). pp. 23-32. IEEE CS Press.
A. Dingwall-Smith and A. Finkelstein (2003). Monitoring Goals with Aspects. University College London, Dept. of Computer Science. .
A. Finkelstein, J. Hetherington, P. Saffrey and A. Warner (2003). Model Orchestration: Addressing the Model Management Challenges of Systems Biology. University College London, Dept. of Computer Science. .
W. Heaven and A. Finkelstein (2003). A UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings - Software.
B. Nuseibeh, A. Finkelstein and J. Kramer (2003). ViewPoints: meaningful relationships are difficult. In International Conference on Software Engineering (ICSE 2003). pp. 676-681. ACM Press.
G. Piccinelli, A. Finkelstein and T. Costa (2003). Flexible B2B processes: the answer is in the nodes. Journal of Information and Software Technology.
G. Piccinelli, A. Finkelstein and S. Williams (2003). Service-oriented Workflows: the DySCo framework. In Euromicro Conference. Euromicro.
D. Rosenblum (2003). Technology Update: Real-Time Delivery Gets Efficiency Boost. Network World, 20(19):37.

2002

C. Zirpins and G. Piccinelli (2002). Interaction-Driven Definition of e-Business Processes. In Proc. 26th International Computer Software and Applications Conference (COMPSAC 2002). pp. 738-740.
D. Parigot, C. Courbis, P. Degenne, A. Fau, C. Pasquier, J. Fillon, C. Help and I. Attali (2002). Aspect and XML-oriented Semantic Framework Generator:SmartTools. Electronic Notes in Theoretical Computer Science, 65(3). Kluwer.
L. Capra, W. Emmerich and C. Mascolo (2002). A Micro-Economic Approach to Conflict Resolution in Mobile Computing. In Proc. of the 10th ACM SIGSOFT Foundations of Software Engineering Conference. pp. 31-40. ACM Press.
G. Piccinelli, W. Emmerich, C. Zirpins and K. Schuett (2002). Web Services Interfaces for Inter-organizational Business Process: An Infrastructure for Automated Reconciliation. In Proc. of the 6th IEEE Int. Conference on Enterprise Distributed Object Computing, Lausanne. pp. 285-292. IEEE Computer Society Press.
W. Emmerich and N. Kaveh (2002). Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. In Proc. of the 24th Int. Conference on Software Engineering, Orlando, Florida. pp. 691-692. ACM Press.
S. Zachariadis, L. Capra, C. Mascolo and W. Emmerich (2002). XMIDDLE: Information Sharing Middleware for a Mobile Environment. In Proc. of the 24th Int. Conference on Software Engineering, Orlando, Florida. p. 712. ACM Press.
W. Emmerich (2002). OMG/CORBA: An Object-Oriented Middleware. In John J. Marciniak (ed), Encyclopedia of Software Engineering. pp. 902-907. John Wiley & Sons.
W. Emmerich (2002). Distributed Component Technologies and their Software Engineering Implications. In Proc. of the 24th Int. Conference on Software Engineering, Orlando, Florida. pp. 537-546. ACM Press.
C. Mascolo, L. Capra and W. Emmerich (2002). Middleware for Mobile Computing. In E. Gregori, G. Anastasi and S. Basagni (eds), Advanced Lectures on Networking. Lecture Notes in Computer Science. Vol. 2497. pp. 20-58. Springer Verlag.
C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein (2002). xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185.
C. Mascolo, L. Capra, S. Zachariadis and W. Emmerich (2002). XMIDDLE: A Data-Sharing Middleware for Mobile Computing. Wireless Personal Communications, 21:77-103. Kluwer.
C. Mascolo, L. Zanolin and W. Emmerich (2002). XMILE: an XML based Approach for Incremental Code Mobility and Update. Automated Software Engineering, 9(2):151-165.
L. Capra, G. Blair, C. Mascolo, W. Emmerich and P. Grace (2002). Exploiting Reflection in Mobile Computing Middleware. ACM Mobile Computing and Communications Review, 6(4):34-44.
A. Hughes (2002). Requirements of a Middleware for Managing a Large, Heterogeneous Programmable Network. BT Technology Journal, 20(2):123-134.
A. Hughes (2002). Middleware for Managing a large, heterogeneous programmable network. BT Technology Journal, 20(4):117-126.
T. Ackemann, R. Gold, C.Mascolo and W. Emmerich (2002). Incentives in Peer-to-Peer and Grid Networking. UCL-CS. Research Note 02/24.
L. Zanolin, C. Mascolo and W. Emmerich (2002). Model Checking Programmable Router Configurations with Spin. UCL-CS. Research Note 02/23.
S. Zachariadis, C. Mascolo and W. Emmerich (2002). Exploiting Logical Mobility in Mobile Computing Middleware. In Proceedings of the Distributed Computing Systems Workshops, 22nd Int. Conference on Distributed Computing Systems (ICDCS '02). pp. 385-386. IEEE Computer Society Press.
U. Arshad, C. Mascolo and M. Mellor (2002). Exploiting Mobility Computing in Health-Care. In Proc. of 3rd International Workshop on Smart Appliances (co-located with ICDCS '02). ICDCS.
L. Capra (2002). Mobile Computing Middleware for Context-Aware Applications. In Proc. of the 24th International Conference of SoftwareEngineering (ICSE 2002), Doctoral Symposium, Orlando, Florida. pp. 723-724. ACM Press.
C. Nentwich, W. Emmerich and A. Finkelstein (2002). Edit, Compile, Debug - From Hacking to Distributed Engineering. In Proceedings of the Workshop on Aspect Oriented Design at the 1st International Conference on Aspect Oriented Software Development (AOSD).
D. Smolko (2002). Software agent architecture for consistency checking of distributed documents. PhD Thesis. University of London.
A. Lomuscio, F. Raimondi and M. Sergot (2002). Towards model checking interpreted systems. In Proceedings of Mochart - First International Workshop on Model Checking and Artificial Intelligence.
E. Letier and A. van Lamsweerde (2002). Deriving operational software specifications from system goals. In Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT/FSE 10). pp. 119-128. ACM Press.
E. Letier and A. van Lamsweerde (2002). Agent-based tactics for goal-oriented requirements elaboration. In Proc. of the 24th Int. Conference on Software Engineering. pp. 83-93. ACM Press.
A. van Lamsweerde and E. Letier (2002). From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. In Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers RISSE. pp. 325-340.
C. Alves and A. Finkelstein (2002). Negotiating Requirements for COTS-Based Systems. In Eighth International Workshop on Requirements Engineering: Foundation for Software Quality. REFSQ.
C. Alves and A. Finkelstein (2002). Challenges in COTS-Decision Making: A Goal-Driven Requirements Engineering Perspective. In Workshop on Software Engineering Decision Support. Electronic.
G. Avellis and A. Finkelstein (2002). How to Annotate Educational Multimedia with Non-Functional Requirements. Educational Technology & Society, 5(2).
A. Dingwall-Smith and A. Finkelstein (2002). From Requirements to Monitors by Way of Aspects. In Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD). AOSD.
C. Gryce, A. Finkelstein and C. Nentwich (2002). Lightweight Checking for UML Based Software Development. In UML 2002, Model Engineering, Concepts and Tools. Workshop on Consistency Problems in UML-based Software Development.. Blekinge Institute of Technology.
K. Lawson and A. Finkelstein (2002). Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis. In IEEE/IEE International Engineering Management Conference (IEMC). IEE.
G. Piccinelli, A. Finkelstein and C. Nentwich (2002). Web Services Need Consistency. In OOPSLA 2002 Workshop on Object-Oriented Web Services. OOPSLA.
G. Piccinelli, A. Finkelstein and E. Stammers (2002). Automated Engineering of e-business Processes: the RosettaNet case study. In 6th International Conference on Systems, Cybernetics and Informatics. ICSCI.
N. Medvidovic, D. Rosenblum, D. Redmiles and J. Robbins (2002). Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology, 11(1):2-57.

2001

G. Piccinelli, M. Salle and C. Zirpins (2001). Service-Oriented Modeling for E-Business Applications Components. In Proc. IEEE 10th International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2001), June 20-22 2001, Massachusetts Institute of Technology, Cambridge, MA, USA. IEEE Computer Society.
C. Mascolo, L. Capra and W. Emmerich (2001). An XML-based middleware for peer-to-peer computing. In Proc. of the 1st Int. Conference on Peer-to-Peer Computing. pp. 69-74. IEEE Computer Society Press.
I. Attali, C. Courbis, P. Degenne, A. Fau, J. Fillon, D. Parigot, C. Pasquier and C. Sacerdoti Coen (2001). SmartTools: a Development Environment Generator based on XML Technologies. In XML Technologies and Software Engineering. ICSE workshop proceedings.
I. Attali, C. Courbis, P. Degenne, A. Fau and D. Parigot (2001). SmartTools: a Generator of Interactive Environments Tools. In R. Wilhelm (ed), Compiler Construction CC'2001. Lecture Notes in Computer Science. Vol. 2027. pp. 355-360. Springer-Verlag.
I. Attali, D. Caromel, C. Courbis, L. Henrio and H. Nilsson (2001). An Integrated Development Environment For Java Card. Computer Networks, Elsevier Science Publishers, special issue on Smart Cards, 36(4):291-305.
L. Capra, W. Emmerich and C. Mascolo (2001). Reflective Middleware Solutions for Context-Aware Applications. In A. Yonezawa and S. Matsuoka (eds), Metalevel Architectures and Separation of Crosscutting Concerns - Proc. of Reflection 2001, Kyoto, Japan. Lecture Notes in Computer Science. Vol. 2192. pp. 126-133. Springer Verlag.
M. Rio, N. Pezzi, L. Zanolin, H. DeMeer, W. Emmerich and C. Mascolo (2001). Promile: A Management Architecture for Programmable Modular Routers. In Proc. of OPENSIG 2001 Workshop on Next Generation Network Programming, London, UK.
L. Capra, W. Emmerich and C. Mascolo (2001). Exploiting Reflection and Metadata to Build Mobile Computing Middleware. In Proc. of Workshop on Mobile Computing Middleware, Heidelberg, Germany.
G. Piccinilli, W. Emmerich and A. Finkelstein (2001). Mapping Service Components to EJB Business Objects. In Proc. of the 5th Enterprise Distributed Object Computing Conference. pp. 169-173. IEEE Computer Society Press.
W. Emmerich and N. Kaveh (2001). Component Technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. In Joint Proc. of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. pp. 311-312. ACM Press.
N. Kaveh (2001). Model Checking Distributed Objects. In W. Emmerich and S. Tai (eds), Proc. of the 2nd Int. Workshop on Distributed Objects, Davis, Cal, Nov. 2000. Lecture Notes in Computer Science. Vol. 1999. pp. 116-128. Springer Verlag.
N. Kaveh and W. Emmerich (2001). Deadlock Detection in Distributed Object Systems. In Joint Proc. of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. pp. 44-51. ACM Press.
C. Mascolo, W. Emmerich and A. Finkelstein (2001). XML Technologies and Software Engineering. In Proc. of the 23rd Int. Conference on Software Engineering, Toronto, Canada. pp. 775-776. ACM Press.
W. Emmerich, E. Ellmer and H. Fieglein (2001). TIGRA - An Architectural Style for Enterprise Application Integration. In Proc. of the 23rd Int. Conference on Software Engineering, Toronto, Canada. pp. 567-576. IEEE Computer Society Press.
C. Nentwich, W. Emmerich and A. Finkelstein (2001). Static Consistency Checking for Distributed Specifications. In Proc. of the 16th Automated Software Engineering Conference, Coronado Island, CA. pp. 115-124. IEEE Computer Society.
C. Mascolo, W. Emmerich and H. de Meer (2001). XMILE: An XML-based Approach for Programmable Networks. In AISB Symposium on Software Mobility and Adaptive Behaviour. York, UK. March 2001. AISB.
L. Capra, C. Mascolo, S. Zachariadis and W. Emmerich (2001). Towards a Mobile Computing Middleware: A Synergy of Reflection and Mobile Code Techniques. In Proc. of the 8th IEEE Workshop on Future Trends in Distributed Computing Systems, Bologna, Italy. pp. 148-154. IEEE Computer Society Press.
W. Emmerich and S. Tai (eds) (2001). Proc. of the 2nd International Workshop on Engineering Distributed Objects, November 2000, Davis, California. Lecture Notes in Computer Science. Vol. 1999. Springer Verlag, Heidelberg.
R. Gold and C. Mascolo (2001). Use of Context-Awareness in Mobile Peer-to-Peer Networks. In Proc. of the 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'2001). pp. 142-147. IEEE Computer Society Press.
L. Capra, W. Emmerich and C. Mascolo (2001). Middleware for Mobile Computing: Awareness vs. Transparency. In Proc. of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII). Schloss Elmau, Germany. p. 142. IEEE Computer Society Press.
C. Mascolo (2001). Specification, Analysis and Prototyping of Mobile Code Systems. PhD Thesis. Universita di Bologna.
B. Farbey and A. Finkelstein (2001). Evaluation in Software Engineering: ROI, but more than ROI. In Proc. of the 3rd International Workshop on Economics-Driven Software Engineering Research (EDSER-3 2001). ICSE 2001.
B. Farbey and A. Finkelstein (2001). Software Acquisition: a business strategy analysis. In Proc. of Requirements Engineering (RE 2001). IEEE Computer Society Press.
A. Finkelstein and A. Savigni (2001). A Framework for Requirements Engineering for Context-Aware Services. In First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering. IEEE CS Press.
M.J. Harrold, D. Rosenblum, G. Rothermel and E. Weyuker (2001). Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Transactions on Software Engineering, 27(3):248-263.
A. Carzaniga, D. Rosenblum and A. Wolf (2001). Design and Evaluation of a Wide Area Event Notification Service. ACM Transactions on Computer Systems, 19(3):332-383.
J. Bible, G. Rothermel and D. Rosenblum (2001). A Comparative Study of Coarse- and Fine-Grained Safe Regression Test Selection Techniques. ACM Transactions on Software Engineering and Methodology, 10(2):149-183.
A. Orso, M.J. Harrold, D. Rosenblum, G. Rothermel, M.L. Soffa and H. Do (2001). Using Component Metacontent to Support the Regression Testing of Component-Based Software. In Proc. IEEE International Conference on Software Maintenance 2001. pp. 716-725. IEEE Computer Society Press.
C. Lueer and D. Rosenblum (2001). UML Component Diagrams and Software Architecture - Experiences from the Wren Project. In Proc. 1st ICSE Workshop on Describing Software Architecture with UML. pp. 134-137.
C. Lueer, D. Rosenblum and A. van der Hoek (2001). The Evolution of Software Evolvability. In Proc. 4th International Workshop on Principles of Software Evolution. pp. 134-137. Association for Computing Machinery.
C. Lueer and D. Rosenblum (2001). Wren -An Environment for Component-Based Development. In Proc. Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering. pp. 207-217. ACM Press.

2000

I. Attali, D. Caromel, C. Courbis, L. Henrio and H. Nilsson (2000). Smart Tools for Java Card. In Smart Card Research and Advanced Applications, Proceedings of CARDIS'2000. pp. 155-174. Kluwer.
C. Mascolo, W. Emmerich and A. Finkelstein (2000). XMILE: An Incremental Code Mobility System based on XMLTechnologies. In Proc. of the 2nd Int. Symposium on Agent Systems and Applications and Mobile Agents (ASA/MA2000) September. ASA/MA.
W. Emmerich (2000). Engineering Distributed Objects. John Wiley & Sons, Chichester, UK.
A. Zisman, W. Emmerich and A. Finkelstein (2000). Using XML to Build Consistency Rules for Distributed Documents. In Proc. of the 10th International Workshop on Software Specification And Design. pp. 141-148. IEEE Computer Society Press.
W. Emmerich and N. Kaveh (2000). Model Checking Distributed Objects. In Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland.
W. Emmerich (2000). Software Engineering and Middleware: A Roadmap. In A. Finkelstein (ed), The Future of Software Engineering. pp. 117-129. ACM Press.
C. Nentwich, W. Emmerich, A. Finkelstein and A. Zisman (2000). BOX: Browsing Objects in XML. Software Practice and Experience, 30(15):1661-1676.
C. Mascolo, W. Emmerich and A. Finkelstein (2000). Implementing Incremental Code Migration with XML. In Proc. of the 22nd Int. Conference on Software Engineering, Limerick, Ireland. pp. 397-406. ACM Press.
P. Ciancarini, F. Franze and C. Mascolo (2000). Using a Coordination Language to Specify and Analyze Systems containing Mobile Components. ACM Transactions on Software Engineering and Methodology, 9(2):167-198.
K. Takahashi, W. Emmerich, A. Finkelstein and S. Guerra (2000). System Development Using Application Services over the Net. In Proc. of the 22rd Int. Conference on Software Engineering, Limerick, Ireland. p. 830. IEEE Computer Society Press.
A. van Lamsweerde and E. Letier (2000). Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering, 26(10):978-1005. IEEE Press. , Piscataway, NJ, USA.
B. Farbey and A. Finkelstein (2000). Software Engineering Management: strategic choices for a new decade. In 2nd Workshop on Economics-Driven Software Engineering Research (EDSER-2), 22nd International Conference on Software Engineering. Electronic.
A. Finkelstein (2000). Software Engineering (Encylopedia Entry). In Encyclopedia of Information Sciences. Marcel Dekker.
A. Finkelstein (2000). Looking Back at Y2K. Computing and Control Engineering Journal, 11(4):156-159.
A. Finkelstein (2000). A Foolish Consistency: technical challenges in consistency management. In M. Ibrahim, J. Kueng and N. Revell (eds), 11th International DEXA - Database and Expert Systems Applications. Lecture Notes in Computer Science. Vol. 1873. pp. 1-5. Springer Verlag.
A. Finkelstein (ed), (2000). The Future of Software Engineering. ACM Press.
A. Finkelstein and W. Emmerich (2000). The Future of Requirements Management Tools. In G. Quirchmayr, R. Wagner and M. Wimmer (eds), Information Systems in Public Administration and Law. Oesterreichische Computer Gesellschaft.
A. Finkelstein and J. Kramer (2000). Software Engineering: a roadmap. In A. Finkelstein (ed), The Future of Software Engineering. pp. 3-24. ACM Press.
A. Finkelstein and D. Smolko (2000). Software Agent Architecture for Consistency Management in Distributed Documents. In SCI 2000 - World Multiconference on Systemics, Cybernetics and Informatics and ISAS. pp. 715-719. International Institute of Informatics and Systemics.
L. Finkelstein and A. Finkelstein (2000). Design Theory Advances and Measurement Science. In XVI IMEKO World Congress. pp. 43-48. IMEKO and Austrian Society for Measurement and Automation.

1999

J. Arlow, J. Quinn and W. Emmerich (1999). Literate Modelling - Capturing Business Knowledge with the UML. In J. Bezivin and P. A. Muller (eds), Proc. \verb+<<UML>>+ '98, Mulhouse, France. Lecture Notes in Computer Science. Vol. 1618. pp. 165-172. Springer Verlag.
W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armitage and R. Stevens (1999). Managing Standards Compliance. IEEE Transactions on Software Engineering, 25(6):836-851.
N. Roodyn and W. Emmerich (1999). An Architectural Style for Multiple Real-Time Data Feeds. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. pp. 564-572. ACM Press.
W. Emmerich and N. Roodyn (1999). Distributed Objects. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. pp. 665-666. ACM Press.
W. Emmerich and V. Gruhn (1999). Engineering Distributed Objects. In Proceedings of the 21st International Conference on Software Engineering, Los Angeles. pp. 705-706. ACM Press.
W. Emmerich, A. Finkelstein and W. Schwarz (1999). Markup Meets Middleware. In 7th Int. Workshop on Future Trends in Distributed Systems, Capetown, South Africa. pp. 261-266. IEEE Computer Society Press.
W. Emmerich and V. Gruhn (eds) (1999). Proc. of the ICSE 99 Workshop on Engineering Distributed Objects, May 1999, Los Angeles, California.
P. Ciancarini, F. Vitali and C. Mascolo (1999). Managing complex documents over the WWW: a case study for XML. IEEE Transactions on Knowledge and Data Engineering, 11(4):629-638.
C. Mascolo (1999). MobiS: a Specification Language for Mobile Systems. In Proc. 3rd Int. Conf. on Coordination Languages and Models (COORDINATION '99). Lecture Notes in Computer Science. Vol. 1594. pp. 37-52. Springer Verlag.
C. Mascolo, G.P. Picco and G.-C. Roman (1999). A Fine-Grained Model for Code Mobility. In O. Nierstrasz and M. Lemoine (eds), Proc. 7th European Software Engineering Conference (ESEC/FSE 99). Lecture Notes in Computer Science. Vol. 1687. pp. 39-56. Springer Verlag.
C. Mascolo (1999). Specification, Analysis, and Prototyping of Mobile Systems. In Proc. 21st Int. Conf. on Software Engineering(ICSE-99). pp. 724-725. ACM Press.
K. Breitman, J. Leite and A. Finkelstein (1999). The World's a Stage: A Survey of Requirements Engineering Using a Real-life Case Study. Journal of the Brazilian Computer Society, 6(1):13-37.
B. Farbey and A. Finkelstein (1999). Exploiting software supply chain business architecture: a research agenda. In 1st Workshop on Economics-Driven Software Engineering Research (EDSER-1), 21st International Conference on Software Engineering. Electronic.
S. Morris and A. Finkelstein (1999). Engineering via discourse: Content structure as an essential component for multimedia documents. International Journal of Software Engineering and Knowledge Engineering, 9(6).
H. Sharp, A. Finkelstein and G. Galal (1999). Stakeholder Identification in the Requirements Engineering Process. In DEXA. pp. 387-391. IEEE Computer Society Press.
G. Spanoudakis, A. Finkelstein and D. Till (1999). Overlaps in Requirements Engineering. Automated Software Engineering(6):171-198.
T. Thanitsukkarn and A. Finkelstein (1999). Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language. In 7th International Conference on Conceptual Structures, ICCS 99 Lecture Notes in Computer Science 1640. pp. 272-296. Springer Verlag.

1998

E. Ellmer, W. Emmerich and A. Finkelstein (1998). Process Technology Implications of Procurement Process: Some Initial Observations. In B. Nuseibeh (ed), Software Process Technology, Proc. of the 6th European Workshop, Weybridge, UK. Lecture Notes in Computer Science. Vol. 1487. pp. 105-110. Springer Verlag.
E. Ellmer and W. Emmerich (1998). Business Objects: The Next Step in Component Technology?. In Proc. of the CAiSE Workshop on Component Based Information Systems, Pisa, Italy. pp. 21-26. University of Waikato, Technical Report 98/12.
W. Emmerich and E. Ellmer (1998). Business Object Facilities - A Comparative Analysis. In Proc. of the Workshop on Integration of Heterogeneous Software Systems, GI Annual Conference.
W. Emmerich (1998). Recent Developments in CORBA. In Tutorial Summary in Proceedings of the 20st International Conference on Software Engineering Volume II, Kyoto, Japan. pp. 276-277. IEEE Computer Society Press.
W. Emmerich (1998). Software Process - Standards, Assessments and Improvements. In J.C. Derniame, B.A. Kaba and D. Wastell (eds), Software Process: Principles, Methodology, Technology. Lecture Notes in Computer Science. Vol. 1500. pp. 15-25. Springer Verlag.
W. Emmerich and P. Sawyer (1998). Guest Editor's Introduction to the Special Issue on the Conference on European Industrial Requirements Engineering. Requirements Engineering Journal, 3(2):71-72.
P. Ciancarini, F. Franze and C. Mascolo (1998). A Coordination Model to Specify Systems including Mobile Agents. In Proc. 9th IEEE Int. Workshop on Software Specification and Design (IWSSD). pp. 96-105. IEEE Computer Society Press.
P. Ciancarini, C. Mascolo and F. Vitali (1998). Visualizing Z Notation in HTML Documents. In J. Bowen, A. Fett and M. Hinchey (eds), Proc. 11th Int. Conf. on the Z Formal Method (ZUM). Lecture Notes in Computer Science. Vol. 1493. pp. 81-95. Springer Verlag.
P. Ciancarini and C. Mascolo (1998). Software Architecture and Mobility. In Proc. 3rd Int. Software Architecture Workshop (ISAW-3). pp. 21-24. ACM Press.
P. Ciancarini and C. Mascolo (1998). Using Formal Methods to Teach Software Engineering: a Tool-based Approach. Annals of Software Engineering, 6:433-453.
S. Armitage, R. Stevens and A. Finkelstein (1998). Implementing a Compliance Manager. Requirements Engineering, 3(2):98-106.
A. Finkelstein (1998). Interoperable Systems: an introduction. In B. KrŠmer, M. Papazoglou and M. Schmidt (eds), Information Systems Interoperability. Research Studies Press.
G. Spanoudakis and A. Finkelstein (1998). A Semi-automatic process of Identifying Overlaps and Inconsistencies between Requirement Specifications. In 5th International Conference on Object-Oriented Information Systems (OOIS 98). pp. 405-424. OOIS.
T. Thanitsukkarn and A. Finkelstein (1998). A Conceptual Graph Approach to Support Multiperspective Development Environments. In 11th Knowledge Acquisition Workshop (KAW 98). KAW.

1997

W. Emmerich, A. Finkelstein and C. Montangero (1997). ``The World and the Machine''- A Critical Perspective on Process Technology. In Workshop in Research Direction in Process Technology.
W. Emmerich, J. Arlow, J. Madec and M. Phoenix (1997). Tool Construction for the British Airways SEE with the O_2 ODBMS. Theory and Practice of Object Systems, 3(3):213-231. Wiley.
J. Arlow, S. Bandinelli, W. Emmerich and L. Lavazza (1997). Fine grained Process Modelling: An Experiment atBritish Airways. Software Process - Improvement and Practice, 3(2):105-131. Wiley.
W. Emmerich, A. Finkelstein, C. Montangero and R. Stevens (1997). Standards Compliant Software Development. In ICSE Workshop on Living with Inconsistency, Boston.
W. Emmerich (1997). CORBA and ODBMSs in Viewpoint Development Environment Architectures. In Proc. of 4th Int. Conference on Object-Oriented Information Systems, Brisbane, Australia. pp. 347-360. Springer Verlag.
W. Emmerich (1997). An Introduction to CORBA. In Proceedings of the 19st International Conference on SoftwareEngineering, Boston, Mass.. pp. 641-642. ACM Press.
P. Ciancarini, S. Cimato and C. Mascolo (1997). Engineering Formal Requirements: an Analysis and Testing Method for Z Documents. Annals of Software Engineering, 3:189-220. Kluwer.
P. Ciancarini and C. Mascolo (1997). Analyzing and Refining an Architectural Style. In J. Bowen, M. Hinchey and D. Till (eds), Proc. 10th Int. Conf. on the Z Formal Method (ZUM). Lecture Notes in Computer Science. Vol. 1212. pp. 349-368. Springer Verlag.
R. Winder and G. Roberts (1997). Developing Java Software. John Wiley & Sons, Chichester, UK.
M. Feather, S. Fickas, A. Finkelstein and A. v. Lamsweerde (1997). Requirements and Specification Exemplars. Automated Software Engineering, 4(4):419-438.
O. Gotel and A. Finkelstein (1997). Extended Requirements Traceability: results of an industrial case study. In 3rd International Symposium on Requirements Engineering (RE97). pp. 169-178. IEEE CS Press.
G. Spanoudakis and A. Finkelstein (1997). Reconciling Requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering, 3.
G. Spanoudakis and A. Finkelstein (1997). Overlaps Among Requirements Specifications. In International Conference on Software Engineering Workshop on Living with Inconsistency. IEEE CS Press.

1996

W. Emmerich and A. Finkelstein (1996). Do Process-Centred Environments Deserve Process-Centred Tools?. In C. Montagnero (ed), Software Process Technology, Proc. of the 5th European Workshop. Lecture Notes in Computer Science. Vol. 1149. pp. 75-81. Springer Verlag.
N. S. Barghouti, W. Emmerich, W. Schaefer and A. H. Skarra (1996). Information Management in Process-Centered SoftwareEngineering Enviroments. In A. Fuggetta and A. Wolf (eds), Software Process. Trends in Software. pp. 53-87. Wiley.
W. Emmerich (1996). An Architecture for Viewpoint Environments based on OMG/CORBA. In Proc. of the Workshop on Viewpoints, San Francisco, Cal.. pp. 207-211. ACM Press.
W. Emmerich, S. Bandinelli, L. Lavazza and J. Arlow (1996). Fine grained Process Modelling: An Experiment at British Airways. In Proc. of the 4th Int. Conference on the SoftwareProcess, Brighton, United Kingdom. pp. 2-12. IEEE Computer Society Press.
W. Emmerich, F. Ferrandina and J. Arlow (1996). The OMG CORBAServices - An Overview (in German). Objekt Spektrum:46-56. SIGS.
W. Emmerich, F. Ferrandina and A. Vogel (1996). Integration of Java and CORBA:Portable Client/Server-Applications in the Internet (in German). Objekt Spektrum:62-65. SIGS.
W. Emmerich and G. Spanoudakis (1996). Next-Generation Viewpoint-based Environments. In Proc. of the 7th Workshop on The Next Generation of CASE Technology, Crete, Greece. NTNU Trondheim, Technical Report.
W. Emmerich (1996). Tool Specification with GTSL. In Proc. of the 8th Int. Workshop on Software Specification and Design, Schloss Velen, Germany. pp. 26-35. IEEE Computer Society Press.
P. Ciancarini, S. Cimato and C. Mascolo (1996). Engineering Formal Requirements: Analysis and Testing. In Proc. of the 8th Int. Conference on Software Engineering and Knowledge Eng. (SEKE). pp. 385-392. Knowledge Systems Institute.
P. Ciancarini and C. Mascolo (1996). Analyzing the dynamics of a Z specification. In J. Calmet and C. Limongelli (eds), Proc. Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO). Lecture Notes in Computer Science. Vol. 1128. pp. 138-149. Springer Verlag.
A. Finkelstein (1996). Requirements Engineering Research: Coordination and Infrastructure. Requirements Engineering, 1(1):63-69.
A. Finkelstein (1996). Relating Viewpoints. In ACM SIGSOFT 96 Workshop - Viewpoints 96. p. 157. ACM Press.
A. Finkelstein (1996). Improving Public Understanding. IEEE Software:20 et seq.
A. Finkelstein and J. Dowell (1996). A Comedy of Errors: the London Ambulance Service case study. In 8th International Workshop on Software Specification & Design IWSSD-8. pp. 2-4. IEEE CS Press.
A. Finkelstein, M. Ryan and G. Spanoudakis (1996). Software Package Requirements and Procurement. In 8th International Workshop on Software Specification Design IWSSD-8. pp. 141-146. IEEE CS Press.
A. Finkelstein and I. Sommerville (1996). The Viewpoints FAQ. Software Engineering Journal, 11(1):2-4.
A. Finkelstein, G. Spanoudakis and D. Till (1996). Managing Interference. In ACM SIGSOFT 96 Workshop - Viewpoints 96. pp. 172-174. ACM Press.
O. Gotel and A. Finkelstein (1996). An Analysis of the Requirements Traceability Problem. In R. Arnold and S. Bohner (eds), Software Change Impact Analysis. IEEE Computer Society Press.
O. Gotel and A. Finkelstein (1996). Revisiting Requirements Production. Software Engineering Journal, 11(3):66-182.
O. Gotel and A. Finkelstein (1996). The Contribution Stuctures of Networked Organisations. In ACM Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises (WET-ICE). ACM Press.
O. Gotel and A. Finkelstein (1996). Extended Requirements Traceability a Framework for Changing Requirements. In CAISE Workshop on Requirements Engineering in a Changing World. CAISE.
S. Morris and A. Finkelstein (1996). Integrating design and development in the production of multimedia documents. In International Workshop on Multimedia Software Development. pp. 98-107. IEEE CS Press.
B. Nuseibeh, A. Finkelstein and J. Kramer (1996). Method Engineering for Multi-Perspective Software Development. Information and Software Technology, 38(4):267-274.
W. Poon and A. Finkelstein (1996). Consistency Management for Multiple Perspective Software Development. In ACM SIGSOFT 96 Workshop - Viewpoints 96. pp. 192-196. ACM Press.
G. Spanoudakis and A. Finkelstein (1996). Reconciliation: Managing Interference in Software Development. In ECAI '96 Workshop on Modelling Conflicts in AI. ECAI.
G. Spanoudakis, A. Finkelstein and W. Emmerich (1996). Viewpoints 96: International Workshop on Multiple Perspectives in Software Development. ACM SIGSOFT Software Engineering Notes, 22(1):39-41.

1995

W. Emmerich (1995). Tool Construction for process-centred Software Development Environments based on Object Database Systems. PhD Thesis. University of Paderborn, Germany.
C. Mascolo (1995). Specification and Formal Analysis of Distributed Systems (in Italian). Master's Thesis. Universita di Bologna.
M. Colbert, C. Voglimacci and A. Finkelstein (1995). Live, Audio-Visual Communication Systems for Distance Learning: Experience, Heuristics and ISDN. Behaviour & Information Technology, 14(5):267-288.
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein and M. Goedicke (1995). Punkty Widzenia: Schemat Integrujacy Wielosc Perspektyw W Projektowaniu Systemow. Projektowanie i Systemy, XV:129-153.
L. Finkelstein and A. Finkelstein (1995). Review of Design Methodology. In A. Collen and W. Gasparski (eds), Design and Systems Praxiology: The International Annual of Practical Philosophy and Methodology. Vol. 3. pp. 95-122. Transaction Publishers.
O. Gotel and A. Finkelstein (1995). Contribution Structures. In 2nd International Symposium on Requirements Engineering RE95. pp. 100-107. IEEE CS Press.
U. Leonhardt, A. Finkelstein, J. Kramer and B. Nuseibeh (1995). Decentralised Process Enactment in a Multi-perspective Development Environment. In 17th International Conference on Software Engineering. IEEE CS Press.
B. Nuseibeh, J. Kramer, A. Finkelstein and U. Leonhardt (1995). Decentralised Process Modelling. In 4th European Workshop on Software Process Technology EWSPT 95. pp. 185-188. Springer-Verlag.

1994

S. Abiteboul, M. Adiba, J. Arlow, P. Armenise, S. Bandinelli, L. Baresi, P. Breche, F. Buddrus, C. Collet, P. Collet, P. Corte, Th. Coupaye, C. Delobel, W. Emmerich G. Ferran, F. Ferrandina, A. Fuggetta, C. Ghezzi, S.E. Lautemann, L. Lavazza, J. Madec, M. Phoenix, S. Sachweh, W. Schaefer, C. Souza dos Santos, G. Tigg and R. Zicari (1994). The GOODSTEP Project: General Object-Oriented Database for Software Engineering Processes. In Proc. of the 1th Asian Pacific Software Engineering Conference, Tokyo, Japan. pp. 10-19. IEEE Computer Society Press.
J.-C. Derniame, A. Finkelstein, J. Kramer and B. Nuseibeh (1994). Directions in Software Process Modelling and Technology. In A. Finkelstein, J. Kramer and B. Nuseibeh (eds), Software Process Modelling and Technology. Research Studies Press and Wiley.
S. Easterbrook, A. Finkelstein, J. Kramer and B. Nuseibeh (1994). Coordinating Conflicting ViewPoints by Managing Inconsistency. In Workshop on Conflict Management in Design, International Conference on Artificial Intelligence in Design. ICAID.
S. Easterbrook, A. Finkelstein, J. Kramer and B. Nuseibeh (1994). Coordinating Distributed ViewPoints: The Anatomy of a Consistency Check. International Journal on Concurrent Engineering: Research & Applications, 2(3):209-222.
A. Finkelstein (1994). Is Application Development Focused on Real Problems. In 13th World Computer Congress 94. pp. 448-450. Elsevier.
A. Finkelstein (1994). A Course on Requirements Engineering. In Dagstuhl Seminar on Systems Requirements Analysis - Management & Exploitation. Schloss Dagstuhl Germany, October 4th-7th.
A. Finkelstein (1994). Requirements Engineering: a review and research agenda. In 1st Asian-Pacific Software Engineering Conference. pp. 10-19. IEEE CS Press.
A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer and B. Nuseibeh (1994). Inconsistency Handling In Multi-Perspective Specifications. IEEE Transactions on Software Engineering, 20(8):569-578.
A. Finkelstein, J. Kramer and B. Nuseibeh (eds), (1994). Software Process Modelling Technology. Research Studies Press.
O. Gotel and A. Finkelstein (1994). An Analysis of the Requirements Traceability Problem. In 1st International Conference on Requirements Engineering. pp. 94-101. IEEE CS Press.
O. Gotel and A. Finkelstein (1994). Modelling the Contribution Structure Underlying Requirements. In 1st International Workshop on Requirements Engineering: Foundations for Software Quality. pp. 71-81. Auflage Aachen: Verlag der Augustinus Buchhandlung.
B. Nuseibeh, A. Finkelstein, J. Kramer and S. Easterbrook (1994). Concurrent Software Engineering: Coordinating Distributed ViewPoints for Managing Inconsistency. In . IEE.
B. Nuseibeh, J. Kramer and A. Finkelstein (1994). A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering, 20(10):760-773.

1993

W. Emmerich, P. Kroha and W. Schaefer (1993). Object-oriented Database Management Systems for Construction of CASE Environments. In V. Mavrik, J. Lavzanksy and R. R. Wagner (eds), Database and Expert Systems Applications - Proc. of the 4th Int. Conference DEXA '93, Prague, Czech Republic. Lecture Notes in Computer Science. Vol. 720. pp. 631-642. Springer Verlag.
W. Emmerich and W. Schaefer (1993). Dedicated Object Management Benchmarks for Software Engineering Applications. In Proc. of the Software Engineering Environments '93, Reading, UK. pp. 130-142. IEEE Computer Society Press.
W. Emmerich, W. Schaefer and J. Welsh (1993). Databases for Software Engineering Environments - The Goal has not yet been attained. In I. Sommerville and M. Paul (eds), Software Engineering ESEC '93 - Proc. of the 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany. Lecture Notes in Computer Science. Vol. 717. pp. 145-162. Springer Verlag.
G. Avellis and A. Finkelstein (1993). Designing Composite Systems. In Italian National Computing Conference (AICA 93), International Section, 22nd-24th September. AICA.
A. Finkelstein (1993). A Short Guide to European Computing Curricula. International Perspectives in Software Engineering, 2.
A. Finkelstein (1993). European Computing Curricula: a guide and comparative analysis. The Computer Journal, 36(4):299-319.
A. Finkelstein, S. Easterbrook, J. Kramer and B. Nuseibeh (1993). Multi-view Requirements Engineering. In DRA Colloquium on Analysis of Requirements for Software Intensive Systems. pp. 18-26. Defence Research Agency.
A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer and B. Nuseibeh (1993). Inconsistency Handling In Multi-Perspective Specifications. In Proceedings of 4th European Software Engineering Conference (ESEC 93). Lecture Notes in Computer Science. Vol. 989. pp. 84-99. Springer-Verlag.
A. Finkelstein, J. Kramer, S. Abramsky, K. Broda, S. Drossopoulou and S. Eisenbach (1993). An Integrated Engineering Study Scheme in Computing. The Computer Journal, 36(4):320-334.
A. Finkelstein, J. Kramer and B. Nuseibeh (1993). Viewpoint Oriented Development: applications in composite systems. In F. Redmill and T. Anderson (eds), Safety Critical Systems: current issues, techniques & standards. pp. 90-101. Chapman and Hall.
J. Kramer, A. Finkelstein and B. Nuseibeh (1993). Method Integration and Support for Distributed Software Development: an overview. In Studies of Software Design. Lecture Notes in Computer Science. Vol. 1078. pp. 115-126. Springer Verlag.
S. Morris and A. Finkelstein (1993). Development of Multiple Media Documents. In ACM Conference on Organisational Computing Systems. pp. 69-77. ACM Press.
B. Nuseibeh, A. Finkelstein and J. Kramer (1993). Fine-Grain Process Modelling. In 7th International Workshop on Software Specification and Design (IWSSD-7). pp. 42-46. IEEE CS Press.
B. Nuseibeh, J. Kramer and A. Finkelstein (1993). Expressing the Relationships Between Multiple Views in Requirements Specification. In 15th International Conference on Software Engineering. pp. 187-196. IEEE CS Press.

1992

S. Dewal, W. Emmerich and K. Lichtinghagen (1992). A Decision Support Method for the Selection of OMSs. In Proc. of the 2nd Int. Conference on Systems Integration, Morristown, N.J.. pp. 32-40. IEEE Computer Society Press.
W. Emmerich, W. Schaefer and J. Welsh (1992). Suitable Databases for Process-centred Environments Do not yet Exist. In J. C. Derniame (ed), Proc. of the 2nd European Workshop on Software Process Technology, EWSPT '92, Trondheim, Norway. Lecture Notes in Computer Science. Vol. 635. pp. 94-98. Springer Verlag.
J. Castro and A. Finkelstein (1992). Requirements Elicitation and Formalization. In XII Congress of the Brazilian Computer Society (XIX SEMISH). pp. 15-30. Brazilian Computer Society.
A. Finkelstein (1992). Reviewing and Correcting Specifications. In M. Sharples (ed), Computers & Writing: issues and implementations. pp. 183-198. Kluwer Academic Publishers.
A. Finkelstein (1992). Software Process Modelling: a manifesto. IOPener, 1(4):3-7.
A. Finkelstein (1992). Reviewing and Correcting Specifications. Instructional Science, 21:183-198.
A. Finkelstein (1992). An Advanced Course on Software Development Environments. In 2nd National Conference on Software Engineering in Higher Education. pp. 141-152. SIHE.
A. Finkelstein (1992). A Software Process Immaturity Model. SIGSOFT Software Engineering Notes.
A. Finkelstein and J. Kramer (1992). A Critical Evaluation of Software Process Modelling Techniques. In IEE Colloquium on Process Planning and Modelling. IEE, London.
A. Finkelstein, J. Kramer and M. Hales (1992). Process Modelling: a critical analysis. In P. Walton and N. Maiden (eds), Integrated Software Reuse: management and techniques. pp. 137-148. Chapman and Hall and UNICOM.
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein and M. Goedicke (1992). Viewpoints: a framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31-57.
A. Finkelstein, B. Nuseibeh, L. Finkelstein and J. Huang (1992). Technology Transfer: software engineering and engineering design. IEE Computing and Control Engineering Journal, 3(6):259-265.
L. Finkelstein, J. Huang, A. Finkelstein and B. Nuseibeh (1992). Using Software Specification Methods for Measurement Instruments: Part II - Formal Methods. Measurement, 10(2):87-92.
L. Finkelstein, J. Huang, A. Finkelstein and B. Nuseibeh (1992). Using Software Specification Methods for Measurement Instruments: Part I - Structured Methods. Measurement, 10(2):79-86.
S. Morris and A. Finkelstein (1992). An Experimental Hypertext Design Method and Applications in the Field of Art History. Computers and the History of Art, 2(2):45-63.
B. Nuseibeh and A. Finkelstein (1992). Viewpoints: a vehicle for method and tool integration. In 5th International Workshop on CASE - CASE 92. pp. 50-60. IEEE CS Press.

1991

W. Emmerich and V. Gruhn (1991). FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. In Proc. of the 6th Int. Workshop on Software Specification and Design, Como, Italy. pp. 175-184. IEEE Computer Society Press.
W. Emmerich, G. Junkermann, B. Peuschel, W. Schaefer and S. Wolf (1991). MERLIN: Knowledge-based Process Modeling. In Proc. of the 1st European Workshop on Software Process Modeling, Milan, Italy. pp. 181-187. A.I.C.A. Press, Italy.
G. Attridge, A. Finkelstein and G. Phillips (1991). Application of Information Systems Modelling to Civil Protection Planning and Operations. In Annual Conference of Scientific Advisers. Home Office.
A. Finkelstein (1991). Reviewing and Correcting Specifications. In Computers & Writing IV. pp. 219-237. Computers and Writing Association.
A. Finkelstein (1991). A (Neat) Alphabet of Requirements Engineering Issues. In 3rd European Software Engineering Conference (LNCS 550. pp. 489-492. Springer Verlag.
A. Finkelstein (1991). Student Problems in Software Engineering Education. In IEE Colloquium on The Teaching of Software Engineering. IEE.
A. Finkelstein (1991). Tracing Back from Requirements. In IEE Colloquium on Tools & Techniques for Maintaining Traceability During Design. IEE.
A. Finkelstein, M. Goedicke, J. Kramer and C. Niskier (1991). ViewPoint Oriented Software Development: methods and viewpoints in requirements engineering. In J. Bergstra and L. Feijs (eds), Algebraic Methods II: theory, tools and applications. Lecture Notes in Computer Science. Vol. 490. pp. 29-54. Springer Verlag.
A. Finkelstein and J. Kramer (1991). TARA: Tool Assisted Requirements Analysis. In P. Loucopoulos and R. Zicari (eds), Conceptual Modelling, Databases and CASE: an integrated view of information systems development. pp. 413-432. John Wiley.
A. Finkelstein and J. Kramer (1991). An MEng Programme of Study in Software Engineering. In 1st National Conference on Software Engineering in Higher Education. pp. 128-151. SIHE.
L. Finkelstein and A. Finkelstein (1991). The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal, 1(3):115-121.
L. Finkelstein and A. Finkelstein (1991). Advances in the Automation of Instrument Systems Design. In IMEKO XII. pp. 1293-1297. International Academic Publishers.
M. Fischer and A. Finkelstein (1991). A Case Study in Social Knowledge Representation. In Using Computers in Qualitative Research. Sage Publications.
S. Gilmore and A. Finkelstein (1991). Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework. In 1st National Conference on Software Engineering in Higher Education. pp. 117-127. SIHE.
S. Goldsack and A. Finkelstein (1991). Requirements Engineering for Real-Time Systems. Software Engineering Journal, 6(3):101-115.
M. Kellner, P. Feiler, A. Finkelstein, T. Katayama, L. Osterweil, M. Penedo and D. Rombach (1991). Software Process Example. In 1st International Conference on the Software Process. pp. 176-187. IEEE CS Press.
J. Kramer and A. Finkelstein (1991). A Configurable Framework for Method and Tool Integration. In A. Endres and H. Weber (eds), European Symposium on Software Development Environments & CASE Technology. Lecture Notes in Computer Science. Vol. 509. pp. 233-257. Springer Verlag.

1990

W. Emmerich (1990). Semantics and Analysis of FUNSOFT Nets Supporting Software Process Modelling (In German). Master's Thesis. University of Dortmund. Department of Computer Science.
G. Roberts (1990). SmallType - A Type Declaration and Type Checking System for Smalltalk-80. PhD Thesis. University of London.
A. Finkelstein (1990). Heterogeneous, Composite or Multi-paradigm System Development. In J. Marciniak (ed), Encyclopedia of Software Engineering. John Wiley.
A. Finkelstein, L. Finkelstein and T. Maibaum (1990). Engineering-in-the-Large: software engineering and instrumentation. In UK IT '90. pp. 1-8. Peter Peregrinus.
A. Finkelstein and H. Fuks (1990). Conversation Analysis and Specification. In P. Luff, N. Gilbert and D. Frohlich (eds), Computers and Conversation. pp. 183-187. Academic Press.
A. Finkelstein, J. Kramer and M. Goedicke (1990). ViewPoint Oriented Software Development. In of 3rd International Workshop Software Engineering and its Applications. pp. 337-351. Cigref EC2.
A. Finkelstein, M. Tauber and R. Traunmuller (1990). Human Action in Information System Development. In Human Factors in Information Systems Analysis and Design. pp. 1-4. North Holland.
A. Finkelstein, M. Tauber and R. Traunmuller (eds), (1990). Human Factors in Information Systems Analysis and Design. North Holland.
J. Kramer, J. Magee and A. Finkelstein (1990). A Constructive Approach to the Design of Distributed Systems. In 10th International Conference on Distributed Computer Systems. pp. 580-587. IEEE CS Press.
This page was generated automatically.