Publications

The table below shows the citations for the publications of the Software Systems Engineering Group. The citations have been retrieved from Google Scholar and therefore include self citations. The citation counts are hyperlinked to the list of citations on Google Scholar.

Citations	Publication
223	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.
183	W. Emmerich (2000). Engineering Distributed Objects. John Wiley & Sons, Chichester, UK.
172	W. Emmerich (2000). Software Engineering and Middleware: A Roadmap. In A. Finkelstein (ed), The Future of Software Engineering. pp. 117-129. ACM Press.
162	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.
162	L. Capra (2003). Reflective Mobile Middleware for Context-Aware Applications. PhD Thesis. University of London.
105	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.
105	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.
96	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.
77	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.
73	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.
62	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.
60	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.
58	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.
58	C. Nentwich, W. Emmerich, A. Finkelstein and E. Ellmer (2003). Flexible Consistency Checking. ACM Transactions on Software Engineering and Methology, 12(1):28-63.
55	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.
52	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.
50	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.
49	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.
48	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.
48	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.
47	H. Sharp, A. Finkelstein and G. Galal (1999). Stakeholder Identification in the Requirements Engineering Process. In DEXA. pp. 387-391. IEEE Computer Society Press.
44	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.
44	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.
39	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.
37	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.
37	C. Courbis and A. Finkelstein (2005). Towards Aspect Weaving Applications. In 27th Int. Conference on Software Engineering. pp. 69-77. ACM Press.
36	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.
36	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.
35	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.
35	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.
34	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.
34	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.
33	A. Finkelstein and J. Kramer (2000). Software Engineering: a roadmap. In A. Finkelstein (ed), The Future of Software Engineering. pp. 3-24. ACM Press.
32	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.
32	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.
32	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.
31	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.
30	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.
28	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.
27	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.
27	G. Spanoudakis, A. Finkelstein and D. Till (1999). Overlaps in Requirements Engineering. Automated Software Engineering(6):171-198.
26	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.
26	R. Winder and G. Roberts (1997). Developing Java Software. John Wiley & Sons, Chichester, UK.
25	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.
25	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.
24	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.
23	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.
22	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.
21	J. Skene and W. Emmerich (2003). Model Driven Performance Analysis of Enterprise Information Systems. Electronic Notes in Theoretical Computer Science, 82(6).
21	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.
20	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.
20	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.
20	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.
19	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.
19	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.
19	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.
19	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.
19	C. Alves and A. Finkelstein (2003). Investigating Conflicts in COTS Decision-Making. International Journal of Software Engineering and Knowledge Engineering, 13(5):1-21.
18	F. Raimondi (2006). Model Checking Multi-Agent Systems. PhD Thesis. University of London.
18	A. Finkelstein (ed), (2000). The Future of Software Engineering. ACM Press.
17	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.
16	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.
16	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.
16	A. Lomuscio and F. Raimondi (eds) (2006). MCMAS: A model checker for multi-agent systems. Springer Verlag.
15	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.
15	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.
14	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.
14	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.
14	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.
14	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.
13	M. Musolesi, C. Mascolo and S. Hailes (2006). EMMA: Epidemic Messaging Middleware for Ad Hoc Networks. Personal and Ubiquitous Computing, 10(1):28-36.
13	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.
13	W. Emmerich (1995). Tool Construction for process-centred Software Development Environments based on Object Database Systems. PhD Thesis. University of Paderborn, Germany.
13	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.
13	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.
12	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.
12	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.
12	C. Nentwich, W. Emmerich, A. Finkelstein and A. Zisman (2000). BOX: Browsing Objects in XML. Software Practice and Experience, 30(15):1661-1676.
12	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.
11	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).
11	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.
11	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.
11	P. Ciancarini and C. Mascolo (1998). Software Architecture and Mobility. In Proc. 3rd Int. Software Architecture Workshop (ISAW-3). pp. 21-24. ACM Press.
11	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.
10	W. Emmerich, A. Finkelstein, C. Montangero and R. Stevens (1997). Standards Compliant Software Development. In ICSE Workshop on Living with Inconsistency, Boston.
10	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.
10	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.
10	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.
10	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.
10	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.
9	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.
9	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.
9	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.
9	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.
9	B. Farbey and A. Finkelstein (2001). Software Acquisition: a business strategy analysis. In Proc. of Requirements Engineering (RE 2001). IEEE Computer Society Press.
8	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.
8	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.
8	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.
8	R. Bahsoon (2005). Evaluating Architectural Stability with Real Options Theory. PhD Thesis. University of London.
8	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.
8	D. Bush and A. Finkelstein (2003). Requirements Stability Assessment Using Scenarios. In Requirements Engineering (RE 2003). pp. 23-32. IEEE CS Press.
8	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.
8	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.
7	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.
7	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.
7	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.
7	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.
7	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.
7	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.
7	T. Thanitsukkarn and A. Finkelstein (1998). A Conceptual Graph Approach to Support Multiperspective Development Environments. In 11th Knowledge Acquisition Workshop (KAW 98). KAW.
6	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.
6	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.
6	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.
6	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.
6	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.
5	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.
5	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.
5	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.
5	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.
5	D. Quercia, S. Hailes and L. Capra (2006). TATA: Towards Anonymous Trusted Authentication. In Proc. of the 4th International Conference on Trust Management (iTrust).
5	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.
5	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.
5	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.
5	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.
5	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.
5	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.
5	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.
5	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.
5	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.
5	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).
4	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 .
4	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.
4	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.
4	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.
4	A. Finkelstein (1998). Interoperable Systems: an introduction. In B. KrÂŠmer, M. Papazoglou and M. Schmidt (eds), Information Systems Interoperability. Research Studies Press.
3	A. Lomuscio, C. Pecheur and F. Raimondi (2007). Automatic Verification of Knowledge and Time with NuSMV. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. pp. 1384-1389. AAAI.
3	C. Pecheur and F. Raimondi (2006). Symbolic model checking of logics with actions. In Proceedings of MoChArt 2006. Springer Verlag.
3	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.
3	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.
3	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.
3	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.
3	W. Emmerich (1997). An Introduction to CORBA. In Proceedings of the 19st International Conference on SoftwareEngineering, Boston, Mass.. pp. 641-642. ACM Press.
3	W. Emmerich and N. Kaveh (2000). Model Checking Distributed Objects. In Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland.
3	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.
3	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.
3	A. Hughes (2002). Requirements of a Middleware for Managing a Large, Heterogeneous Programmable Network. BT Technology Journal, 20(2):123-134.
3	A. Hughes (2002). Middleware for Managing a large, heterogeneous programmable network. BT Technology Journal, 20(4):117-126.
3	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.
3	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.
3	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.
3	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.
3	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.
3	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.
3	G. Piccinelli, A. Finkelstein and T. Costa (2003). Flexible B2B processes: the answer is in the nodes. Journal of Information and Software Technology.
3	C. Alves and A. Finkelstein (2002). Negotiating Requirements for COTS-Based Systems. In Eighth International Workshop on Requirements Engineering: Foundation for Software Quality. REFSQ.
3	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.
3	G. Piccinelli, A. Finkelstein and C. Nentwich (2002). Web Services Need Consistency. In OOPSLA 2002 Workshop on Object-Oriented Web Services. OOPSLA.
2	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.
2	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.
2	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).
2	S. Zachariadis (2005). Adapting Mobile Systems Using Logical Mobility Primitives. PhD Thesis. University of London.
2	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.
2	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.
2	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.
2	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.
2	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.
2	M. Musolesi, S. Hailes and C. Mascolo (2005). Social Networks Based Ad Hoc Mobility Models. In Proc. of the 3rd UK-UbiNet Workshop.
2	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.
2	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.
2	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.
2	W. Emmerich (2003). Konstruktion von verteilten Objekten. dpunkt Verlag, Heidelberg.
2	G. Roberts (1990). SmallType - A Type Declaration and Type Checking System for Smalltalk-80. PhD Thesis. University of London.
2	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.
2	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.
1	F. Raimondi, J. Skene, L. Chen and W. Emmerich (2007). Efficient Monitoring of Web Service SLAs. UCL, Dept. of Computer Science. Research Note RN/07/01. Gower St, London WC1E 6BT, UK.
1	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.
1	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.
1	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.
1	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.
1	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.
1	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.
1	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.
1	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.
1	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.
1	L. Zanolin, C. Mascolo and W. Emmerich (2002). Model Checking Programmable Router Configurations with Spin. UCL-CS. Research Note 02/23.
1	D. Smolko (2002). Software agent architecture for consistency checking of distributed documents. PhD Thesis. University of London.
1	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.
1	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).
1	L. Goldin and A. Finkelstein (2006). Abstraction-Based Requirements Management. In Role of Abstraction in Software Engineering (ROA '06). pp. 3-11. ACM Press.
1	A. Dingwall-Smith and A. Finkelstein (2003). Monitoring Goals with Aspects. University College London, Dept. of Computer Science. .
1	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.
1	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.
1	S. Armitage, R. Stevens and A. Finkelstein (1998). Implementing a Compliance Manager. Requirements Engineering, 3(2):98-106.
0	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. ACM Press.
0	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. IEEE Computer Society Press.
0	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).
0	J. Skene (2007). Language support for service-level agreements for application-service provision. PhD Thesis. University of London.
0	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 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.
0	L. Duboc, D. Rosenblum and T. Wicks (2007). A framework for characterization and analysis of software system scalability. In Proc. of the 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.
0	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 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.
0	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.
0	W. Emmerich, M. Aoyama and J. Sventek (2007). The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes, 32(1):21-46.
0	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.
0	A. Dingwall-Smith (2006). Run-Time Monitoring of Goal-Oriented Requirements Specifications. PhD Thesis. University of London.
0	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.
0	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.
0	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.
0	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.
0	Mirco Musolesi and Cecilia Mascolo (2006). Spatio-Temporal Communication Primitives for Delay Tolerant Systems. In Proceedings of 3th MiNEMA Workshop.
0	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.
0	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.
0	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.
0	C. F. Alves (2005). Managing Mismatches in COTS-Based Development. PhD Thesis. University of London.
0	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.
0	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.
0	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.
0	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.
0	L. Capra (2004). Towards a Human Trust Model for Mobile Ad-hoc Networks. In Proc. of 2nd UK-UbiNet Workshop.
0	G. Piccinelli, C. Zirpins and K. Schuett (). Process-Based optimization of Data Exchange for B2B Interaction. In Proc. Networking 2002 Workshop: Web Engineering, Pisa, Italy. pp. 118-126. Springer.
0	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.
0	T. Ackemann, C. Mascolo and W. Emmerich (2003). Lightweight Incentives in Peer-to-Peer Networks. UCL-CS. Research Note.
0	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.
0	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.
0	C. Mascolo, W. Emmerich and A. Finkelstein (2003). Guest Editorial: XML and Software Engineering. Automated Software Engineering, 10(1):5-6.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	W. Emmerich, F. Ferrandina and J. Arlow (1996). The OMG CORBAServices - An Overview (in German). Objekt Spektrum:46-56. SIGS.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	W. Emmerich (2002). OMG/CORBA: An Object-Oriented Middleware. In John J. Marciniak (ed), Encyclopedia of Software Engineering. pp. 902-907. John Wiley & Sons.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	A. Hughes and W. Emmerich (2003). Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal, 21(2):195-203.
0	T. Ackemann, R. Gold, C.Mascolo and W. Emmerich (2002). Incentives in Peer-to-Peer and Grid Networking. UCL-CS. Research Note 02/24.
0	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.
0	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.
0	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.
0	W. Emmerich and V. Gruhn (eds) (1999). Proc. of the ICSE 99 Workshop on Engineering Distributed Objects, May 1999, Los Angeles, California.
0	P. Ciancarini and C. Mascolo (1998). Using Formal Methods to Teach Software Engineering: a Tool-based Approach. Annals of Software Engineering, 6:433-453.
0	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.
0	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.
0	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).
0	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.
0	C. Mascolo (2001). Specification, Analysis and Prototyping of Mobile Code Systems. PhD Thesis. Universita di Bologna.
0	C. Mascolo (1995). Specification and Formal Analysis of Distributed Systems (in Italian). Master's Thesis. Universita di Bologna.
0	C. Nentwich (2005). Managing the Consistency of Distributed Documents. PhD Thesis. University of London.
0	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.
0	F. Raimondi and A. Lomuscio (2006). Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic. Elsevier.
0	F. Raimondi and A. Lomuscio (2005). Automatic verification of deontic interpreted systems by model checking via OBDD's. Journal of Applied Logic. Elsevier.
0	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.
0	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.
0	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.
0	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. .
0	W. Heaven and A. Finkelstein (2003). A UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings - Software.
0	G. Piccinelli, A. Finkelstein and S. Williams (2003). Service-oriented Workflows: the DySCo framework. In Euromicro Conference. Euromicro.
0	G. Avellis and A. Finkelstein (2002). How to Annotate Educational Multimedia with Non-Functional Requirements. Educational Technology & Society, 5(2).
0	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.
0	A. Finkelstein (2000). Software Engineering (Encylopedia Entry). In Encyclopedia of Information Sciences. Marcel Dekker.
0	A. Finkelstein (2000). Looking Back at Y2K. Computing and Control Engineering Journal, 11(4):156-159.
0	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.
0	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.
0	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.
0	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.
0	M. Feather, S. Fickas, A. Finkelstein and A. v. Lamsweerde (1997). Requirements and Specification Exemplars. Automated Software Engineering, 4(4):419-438.
0	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.
0	G. Spanoudakis and A. Finkelstein (1997). Reconciling Requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering, 3.
0	G. Spanoudakis and A. Finkelstein (1997). Overlaps Among Requirements Specifications. In International Conference on Software Engineering Workshop on Living with Inconsistency. IEEE CS Press.
0	A. Finkelstein (1996). Requirements Engineering Research: Coordination and Infrastructure. Requirements Engineering, 1(1):63-69.
0	A. Finkelstein (1996). Relating Viewpoints. In ACM SIGSOFT 96 Workshop - Viewpoints 96. p. 157. ACM Press.
0	A. Finkelstein (1996). Improving Public Understanding. IEEE Software:20 et seq.
0	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.
0	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.
0	A. Finkelstein and I. Sommerville (1996). The Viewpoints FAQ. Software Engineering Journal, 11(1):2-4.
0	A. Finkelstein, G. Spanoudakis and D. Till (1996). Managing Interference. In ACM SIGSOFT 96 Workshop - Viewpoints 96. pp. 172-174. ACM Press.
0	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.
0	O. Gotel and A. Finkelstein (1996). Revisiting Requirements Production. Software Engineering Journal, 11(3):66-182.
0	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.
0	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.
0	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.
0	B. Nuseibeh, A. Finkelstein and J. Kramer (1996). Method Engineering for Multi-Perspective Software Development. Information and Software Technology, 38(4):267-274.
0	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.
0	G. Spanoudakis and A. Finkelstein (1996). Reconciliation: Managing Interference in Software Development. In ECAI '96 Workshop on Modelling Conflicts in AI. ECAI.
0	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.
0	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.
0	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.
0	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.
0	O. Gotel and A. Finkelstein (1995). Contribution Structures. In 2nd International Symposium on Requirements Engineering RE95. pp. 100-107. IEEE CS Press.
0	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.
0	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.
0	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.
0	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.
0	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.
0	A. Finkelstein (1994). Is Application Development Focused on Real Problems. In 13th World Computer Congress 94. pp. 448-450. Elsevier.
0	A. Finkelstein (1994). A Course on Requirements Engineering. In Dagstuhl Seminar on Systems Requirements Analysis - Management & Exploitation. Schloss Dagstuhl Germany, October 4th-7th.
0	A. Finkelstein (1994). Requirements Engineering: a review and research agenda. In 1st Asian-Pacific Software Engineering Conference. pp. 10-19. IEEE CS Press.
0	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.
0	A. Finkelstein, J. Kramer and B. Nuseibeh (eds), (1994). Software Process Modelling Technology. Research Studies Press.
0	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.
0	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.
0	B. Nuseibeh, A. Finkelstein, J. Kramer and S. Easterbrook (1994). Concurrent Software Engineering: Coordinating Distributed ViewPoints for Managing Inconsistency. In . IEE.
0	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.
0	G. Avellis and A. Finkelstein (1993). Designing Composite Systems. In Italian National Computing Conference (AICA 93), International Section, 22nd-24th September. AICA.
0	A. Finkelstein (1993). A Short Guide to European Computing Curricula. International Perspectives in Software Engineering, 2.
0	A. Finkelstein (1993). European Computing Curricula: a guide and comparative analysis. The Computer Journal, 36(4):299-319.
0	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.
0	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.
0	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.
0	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.
0	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.
0	S. Morris and A. Finkelstein (1993). Development of Multiple Media Documents. In ACM Conference on Organisational Computing Systems. pp. 69-77. ACM Press.
0	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.
0	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.
0	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.
0	A. Finkelstein (1992). Reviewing and Correcting Specifications. In M. Sharples (ed), Computers & Writing: issues and implementations. pp. 183-198. Kluwer Academic Publishers.
0	A. Finkelstein (1992). Software Process Modelling: a manifesto. IOPener, 1(4):3-7.
0	A. Finkelstein (1992). Reviewing and Correcting Specifications. Instructional Science, 21:183-198.
0	A. Finkelstein (1992). An Advanced Course on Software Development Environments. In 2nd National Conference on Software Engineering in Higher Education. pp. 141-152. SIHE.
0	A. Finkelstein (1992). A Software Process Immaturity Model. SIGSOFT Software Engineering Notes.
0	A. Finkelstein and J. Kramer (1992). A Critical Evaluation of Software Process Modelling Techniques. In IEE Colloquium on Process Planning and Modelling. IEE, London.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	A. Finkelstein, J. Kramer and B. Nuseibeh (1991 1991/162). A Viewpoint-based Framework for Software Development Environments. In IEE Colloquium on Architectures for Distributed Development Support Environments. IEE.
0	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.
0	A. Finkelstein (1991). Reviewing and Correcting Specifications. In Computers & Writing IV. pp. 219-237. Computers and Writing Association.
0	A. Finkelstein (1991). A (Neat) Alphabet of Requirements Engineering Issues. In 3rd European Software Engineering Conference (LNCS 550. pp. 489-492. Springer Verlag.
0	A. Finkelstein (1991). Student Problems in Software Engineering Education. In IEE Colloquium on The Teaching of Software Engineering. IEE.
0	A. Finkelstein (1991). Tracing Back from Requirements. In IEE Colloquium on Tools & Techniques for Maintaining Traceability During Design. IEE.
0	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.
0	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.
0	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.
0	L. Finkelstein and A. Finkelstein (1991). The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal, 1(3):115-121.
0	L. Finkelstein and A. Finkelstein (1991). Advances in the Automation of Instrument Systems Design. In IMEKO XII. pp. 1293-1297. International Academic Publishers.
0	M. Fischer and A. Finkelstein (1991). A Case Study in Social Knowledge Representation. In Using Computers in Qualitative Research. Sage Publications.
0	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.
0	S. Goldsack and A. Finkelstein (1991). Requirements Engineering for Real-Time Systems. Software Engineering Journal, 6(3):101-115.
0	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.
0	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.
0	A. Finkelstein (1990). Heterogeneous, Composite or Multi-paradigm System Development. In J. Marciniak (ed), Encyclopedia of Software Engineering. John Wiley.
0	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.
0	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.
0	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.
0	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.
0	A. Finkelstein, M. Tauber and R. Traunmuller (eds), (1990). Human Factors in Information Systems Analysis and Design. North Holland.
0	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.
0	A. Finkelstein and M. Fischer (1989)). Arranging a Marriage in Pakistan and Legal Expert Systems. Computers and Law(61).
0	A. Finkelstein (1989). Not Waving but Drowning: representation schemes for modelling software development. In 11th International Conference on Software Engineering. pp. 402-404. IEEE CS Press.
0	A. Finkelstein (1989). An Example of Software Development Modelling. In 5th Software Process Workshop. pp. 151-154. IEEE CS Press.
0	A. Finkelstein (1989). A Structural Framework for the Formal Representation of Cooperation. In 5th Software Process Workshop. pp. 61-64. IEEE CS Press.
0	A. Finkelstein and J. Hagelstein (1989). Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda. In IFIP CRIS Review Workshop. North Holland.
0	L. Finkelstein and A. Finkelstein (1989). Instruments and Instrument Systems: design principles. In M. Singh (ed), Systems and Control Encylopedia, IV. pp. 2533-2536. Pergamon Press.
0	A. Finkelstein (1988). Requirements Engineering: methods, tools and frameworks. In 10th Workshop on Distributed Systems Architecture. pp. 100-114. Biblioteka Informatyki Szkol Wyzszych.
0	A. Finkelstein and H. Fuks (1988). A Cooperative Framework for Program Development. Information & Software Technology, 30(8):467-476.
0	A. Finkelstein and H. Fuks (1988). Constructing a Dialogic Framework for Software Development. In 4th Software Process Workshop. IEEE CS Press.
0	A. Finkelstein and H. Fuks (1988). A Cooperative Framework for Software Engineering. In 22nd Hawaii International Conference Systems Sciences. pp. 189-200. IEEE CS Press.
0	A. Finkelstein and H. Fuks (1988). Multi-Party Specification. In 5th International Workshop on Software Specification & Design. pp. 185-195. IEEE CS Press also as ACM Sigsoft Notes.
0	L. Finkelstein and A. Finkelstein (1988). Fundamental Principles of Measurement and Instrumentation - Design Principles. Acta Polytechnica Scandinavica, EE 63:11-23.
0	L. Finkelstein and A. Finkelstein (1988). Przeglad Metodologii Projectowania. Projectwanie i Systemy, X.
0	M. Fischer and A. Finkelstein (1988). Computer Assisted Ethnography - Arranging a Marriage in Pakistan. In American Association of Anthropologists. American Association of Anthropologists.
0	A. Finkelstein (1987). Reuse of Formatted Specifications. Software Engineering Journal, 3(5):186-197.
0	A. Finkelstein and C. Potts (1987). Formalising Requirements Systematically. In Informationsbedarfs-ermittlung und - analyse fÂŸr den Entwurf von Informationssytemen. pp. 44-58. Springer-Verlag Informatik Fachberichte 143.
0	A. Finkelstein and C. Potts (1987). Building Formal Specifications using Structured Common Sense. In 4th International Workshop Software Specification and Design. pp. 108-114. IEEE CS Press.
0	R. Cunningham and A. Finkelstein (1986). Formal Requirements Specification: the FOREST project. In 3rd International Workshop Software Specification and Design. pp. 186-192. IEEE CS Press.
0	A. Finkelstein (1986). Making Specifications Dynamic Objects. In 3rd Software Process Workshop. IEEE CS Press.
0	A. Finkelstein and C. Potts (1986). Structured Common Sense: the elicitation and formalisation of system requirements. In SE 86. pp. 236-250. Peter Peregrinus.
0	A. Finkelstein and C. Potts (1986). Formal Requirements Specification of Real-time Embedded Systems. In INTERKAMA. pp. 346-353. Springer-Verlag.
0	A. Finkelstein and L. Finkelstein (1985). A Review of Instrument System Design Automation. In Proc.10th IMEKO. pp. 79-85. Omnikk-Technoinform.
0	A. Finkelstein and L. Finkelstein (1983). Review of Design Methodology. Proc. IEE Part A, 130(4):213-222.
0	D. Rosenblum (1988). Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages. PhD Thesis. Stanford University.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	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.
0	D. Rosenblum (2003). Technology Update: Real-Time Delivery Gets Efficiency Boost. Network World, 20(19):37.
0	D. S. Rosenblum and J. Estublier (eds) (2004). Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press.
0	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.
0	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.
0	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.
0	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.

This page was generated automatically.