Publications

Distributed Objects and Components

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.

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.

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.

J. Skene and W. Emmerich (2003). Model Driven Performance Analysis of Enterprise Information Systems. Electronic Notes in Theoretical Computer Science, 82(6).

W. Emmerich (2003). Konstruktion von verteilten Objekten. dpunkt Verlag, Heidelberg.

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.

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.

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.

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.

W. Emmerich (2000). Engineering Distributed Objects. John Wiley & Sons, Chichester, UK.

W. Emmerich and N. Kaveh (2000). Model Checking Distributed Objects. In Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland.

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 and V. Gruhn (eds) (1999). Proc. of the ICSE 99 Workshop on Engineering Distributed Objects, May 1999, Los Angeles, California.

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 (1997). An Introduction to CORBA. In Proceedings of the 19st International Conference on SoftwareEngineering, Boston, Mass.. pp. 641-642. ACM 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.

Distributed Software Architectures and Middleware

J. Skene, F. Raimondi and W. Emmerich (2010). Service-Level Agreements for Electronic Services. IEEE Transactions on Software Engineering, 36(2):288-304.

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.

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.

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.

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.

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).

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.

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.

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.

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.

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.

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.

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.

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.

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.

C. F. Alves (2005). Managing Mismatches in COTS-Based Development. PhD Thesis. University of London.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

A. Hughes and W. Emmerich (2003). Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal, 21(2):195-203.

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.

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.

D. Rosenblum (2003). Technology Update: Real-Time Delivery Gets Efficiency Boost. Network World, 20(19):37.

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.

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.

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.

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.

D. Smolko (2002). Software agent architecture for consistency checking of distributed documents. PhD Thesis. University of London.

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.

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.

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.

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, 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. 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.

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.

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.

W. Emmerich (2000). Software Engineering and Middleware: A Roadmap. In A. Finkelstein (ed), The Future of Software Engineering. pp. 117-129. ACM Press.

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.

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.

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, 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.

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.

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 and C. Mascolo (1998). Software Architecture and Mobility. In Proc. 3rd Int. Software Architecture Workshop (ISAW-3). pp. 21-24. 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.

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.

D. Rosenblum (1988). Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages. PhD Thesis. Stanford University.

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.

Mobile Computing

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.

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.

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.

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.

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.

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. 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.

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.

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.

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.

M. Musolesi, C. Mascolo and S. Hailes (2006). EMMA: Epidemic Messaging Middleware for Ad Hoc Networks. Personal and Ubiquitous Computing, 10(1):28-36.

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.

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.

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.

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.

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.

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. 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.

L. Capra (2004). Towards a Human Trust Model for Mobile Ad-hoc Networks. In Proc. of 2nd UK-UbiNet Workshop.

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.

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.

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.

L. Capra (2003). Reflective Mobile Middleware for Context-Aware Applications. PhD Thesis. University of London.

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.

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.

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. Mascolo, L. Capra, S. Zachariadis and W. Emmerich (2002). XMIDDLE: A Data-Sharing Middleware for Mobile Computing. Wireless Personal Communications, 21:77-103. Kluwer.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Requirements Engineering

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.

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.

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.

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.

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.

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.

A. Dingwall-Smith (2006). Run-Time Monitoring of Goal-Oriented Requirements Specifications. PhD Thesis. University of London.

L. Goldin and A. Finkelstein (2006). Abstraction-Based Requirements Management. In Role of Abstraction in Software Engineering (ROA '06). pp. 3-11. ACM Press.

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.

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.

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.

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. .

W. Heaven and A. Finkelstein (2003). A UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings - Software.

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.

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. 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.

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.

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.

H. Sharp, A. Finkelstein and G. Galal (1999). Stakeholder Identification in the Requirements Engineering Process. In DEXA. pp. 387-391. IEEE Computer Society Press.

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.

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.

A. Finkelstein (1996). Requirements Engineering Research: Coordination and Infrastructure. Requirements Engineering, 1(1):63-69.

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.

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.

O. Gotel and A. Finkelstein (1995). Contribution Structures. In 2nd International Symposium on Requirements Engineering RE95. pp. 100-107. IEEE CS Press.

A. Finkelstein (1994). Requirements Engineering: a review and research agenda. In 1st Asian-Pacific Software Engineering Conference. pp. 10-19. IEEE CS 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.

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.

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 (1991). A (Neat) Alphabet of Requirements Engineering Issues. In 3rd European Software Engineering Conference (LNCS 550. pp. 489-492. Springer Verlag.

A. Finkelstein (1991). Tracing Back from Requirements. In IEE Colloquium on Tools & Techniques for Maintaining Traceability During Design. IEE.

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.

S. Goldsack and A. Finkelstein (1991). Requirements Engineering for Real-Time Systems. Software Engineering Journal, 6(3):101-115.

A. Finkelstein and J. Hagelstein (1989). Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda. In IFIP CRIS Review Workshop. North Holland.

A. Finkelstein (1988). Requirements Engineering: methods, tools and frameworks. In 10th Workshop on Distributed Systems Architecture. pp. 100-114. Biblioteka Informatyki Szkol Wyzszych.

A. Finkelstein (1987). Reuse of Formatted Specifications. Software Engineering Journal, 3(5):186-197.

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.

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.

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.

A. Finkelstein and C. Potts (1986). Structured Common Sense: the elicitation and formalisation of system requirements. In SE 86. pp. 236-250. Peter Peregrinus.

A. Finkelstein and C. Potts (1986). Formal Requirements Specification of Real-time Embedded Systems. In INTERKAMA. pp. 346-353. Springer-Verlag.

Validation and Verification

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.

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.

L. Liberti and F. Raimondi (2008). The Secret Santa Problem. In Algorithmic Aspects in Information and Management (AAIM), Shanghai, China. pp. 271-279. Springer.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Software Development Environments and Processes

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.

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.

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.

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.

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.

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.

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. 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).

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.

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.

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. 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.

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.

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.

C. Nentwich, W. Emmerich, A. Finkelstein and A. Zisman (2000). BOX: Browsing Objects in XML. Software Practice and Experience, 30(15):1661-1676.

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.

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.

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.

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.

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). 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.

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 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 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.

W. Emmerich (1995). Tool Construction for process-centred Software Development Environments based on Object Database Systems. PhD Thesis. University of Paderborn, Germany.

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.

A. Finkelstein, J. Kramer and B. Nuseibeh (eds), (1994). Software Process Modelling Technology. Research Studies Press.

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.

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.

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.

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.

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). 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.

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.

A. Finkelstein (1991). Reviewing and Correcting Specifications. In Computers & Writing IV. pp. 219-237. Computers and Writing Association.

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.

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.

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.

A. Finkelstein (1989). An Example of Software Development Modelling. In 5th Software Process Workshop. pp. 151-154. IEEE CS Press.

A. Finkelstein (1989). A Structural Framework for the Formal Representation of Cooperation. In 5th Software Process Workshop. pp. 61-64. IEEE CS Press.

A. Finkelstein (1986). Making Specifications Dynamic Objects. In 3rd Software Process Workshop. IEEE CS Press.

Software Engineering Education

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 (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, 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 (1992). An Advanced Course on Software Development Environments. In 2nd National Conference on Software Engineering in Higher Education. pp. 141-152. SIHE.

A. Finkelstein (1991). Student Problems in Software Engineering Education. In IEE Colloquium on The Teaching of Software Engineering. IEE.

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.

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.

Software Engineering (broader Disciplinary Contributions)

D. S. Rosenblum and J. Estublier (eds) (2004). Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK. IEEE Computer Society Press.

A. Finkelstein (2000). Software Engineering (Encylopedia Entry). In Encyclopedia of Information Sciences. Marcel Dekker.

A. Finkelstein (ed), (2000). The Future of Software Engineering. ACM Press.

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 (1998). Interoperable Systems: an introduction. In B. KrŠmer, M. Papazoglou and M. Schmidt (eds), Information Systems Interoperability. Research Studies Press.

A. Finkelstein (1996). Improving Public Understanding. IEEE Software:20 et seq.

A. Finkelstein (1994). Is Application Development Focused on Real Problems. In 13th World Computer Congress 94. pp. 448-450. Elsevier.

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.

Systems Engineering

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.

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.

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.

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.

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.

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.

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.

L. Finkelstein and A. Finkelstein (1988). Fundamental Principles of Measurement and Instrumentation - Design Principles. Acta Polytechnica Scandinavica, EE 63:11-23.

L. Finkelstein and A. Finkelstein (1988). Przeglad Metodologii Projectowania. Projectwanie i Systemy, X.

A. Finkelstein and L. Finkelstein (1985). A Review of Instrument System Design Automation. In Proc.10th IMEKO. pp. 79-85. Omnikk-Technoinform.

A. Finkelstein and L. Finkelstein (1983). Review of Design Methodology. Proc. IEE Part A, 130(4):213-222.

Miscellaneous

D. Bolchini, A. Finkelstein, V. Perrone and S. Nagl (2009). Better Bioinformatics Through Usability Analysis. Bioinformatics.

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.

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.

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.

W. Emmerich, M. Aoyama and J. Sventek (2007). The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes, 32(1):21-46.

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.

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.

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. .

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.

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). Looking Back at Y2K. Computing and Control Engineering Journal, 11(4):156-159.

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).

R. Winder and G. Roberts (1997). Developing Java Software. John Wiley & Sons, Chichester, UK.

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.

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.

G. Avellis and A. Finkelstein (1993). Designing Composite Systems. In Italian National Computing Conference (AICA 93), International Section, 22nd-24th September. AICA.

S. Morris and A. Finkelstein (1993). Development of Multiple Media Documents. In ACM Conference on Organisational Computing Systems. pp. 69-77. ACM Press.

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.

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.

M. Fischer and A. Finkelstein (1991). A Case Study in Social Knowledge Representation. In Using Computers in Qualitative Research. Sage Publications.

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, 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.

A. Finkelstein and M. Fischer (1989)). Arranging a Marriage in Pakistan and Legal Expert Systems. Computers and Law(61).

M. Fischer and A. Finkelstein (1988). Computer Assisted Ethnography - Arranging a Marriage in Pakistan. In American Association of Anthropologists. American Association of Anthropologists.

This page was generated automatically.