Publications

Papers: Prof. Jeff Kramer

(Link to my Symplectic publications list)

Books

  1. Sloman, M.S., and Kramer,J., Distributed Systems and Computer Networks, Prof. C.A.R.Hoare Series, Prentice Hall Int., England, Nov. 1986, 336 pages. (The book has been translated into Japanese and German)

  2. Magee, J. and Kramer, J., Concurrency: State Models & Java Programs, John Wiley & Sons (Worldwide Series in Computer Science), March 1999, 355 pages.

  3. Magee, J. and Kramer, J., Concurrency: State Models & Java Programs, 2nd Edition, John Wiley & Sons (Worldwide Series in Computer Science), April 2006, 413 pages.

Book Series editor for Advanced Software Development Series, Research Studies Press

  1. Ostroff, J.S., Temporal Logic for Real-Time Systems, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1989, 209 pages.

  2. Huang G. and Brandon J., Cooperating Expert Systems in Mechanical Design, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1993, 271 pages.

  3. Finkelstein A., Kramer J. and Nuseibeh B.(eds.), Software Process Modelling and Technology, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1994, 362 pages.

  4. Barringer H., Fisher M., Gabbay D., Owens R., Reynolds M.(eds.), The Imperative Future: Principles of Execuatble Temporal Logic, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1996, 239 pages.

  5. Pohl K., Process Centred Requirements Engineering, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1996, 340 pages.

  6. Krämer B., Papazoglou M. and Schmidt H., Information Systems Interoperability, Advanced Software Development Series, Dr.J.Kramer Series ed. (Research Studies Press / John Wiley & Sons Inc., England), 1998, 338 pages.

Contributions to books edited by others

  1. Kramer,J., Distributed Computer Systems : Two Views, in “Specification and Design of Software Systems”, Knuth,E. and Neuhold, E.J. ed., LNCS 152, (Springer-Verlag), 1983, 84-98g (22 pages).

  2. Sloman,M.S., Magee, J., and Kramer,J., Building Flexible Distributed Systems in CONIC, in ‘Distributed Computing Systems Programme’, Duce, D.A. ed., (Peter Peregrinus), 1984, 86-106.

  3. Magee, J., Kramer,J. and Sloman,M.S., The Conic Support Environment for Distributed Systems, in ‘Distributed Operating Systems: Theory and Practice’, Paker, Y., Banatre, J.P. and Bozyigit, M. ed., (Springer-Verlag NATO-ASI Series F, 28), 1987, 289-310.

  4. Dulay, N., Kramer,J., Magee, J. Sloman,M.S., and Twidle, K., Distributed System Construction: Experience with the Conic Toolkit, in ‘Experiences with Distributed Systems’, Nehmer, J. ed., LNCS 309, (Springer-Verlag), 1988, 189-212.

  5. Kramer,J., Magee, J. and Sloman,M.S., An Overview of Distributed System Construction using Conic, in ‘The Application of Advanced Computing Concepts and Techniques in Control Engineering’, Denham, M. and Laub A.J. ed. (Springer-Verlag NATO-ASI Series F, vol. 47, 1988), 237-255.

  6. Finkelstein, A., Goedicke, M., Kramer,J., and Niskier,C., ViewPoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering, in ‘Algebraic Methods II: Theory, Tools and Applications’, J.A.Bergstra, L.M.G. Feijs ed. LNCS 490, (Springer Verlag), 1991, 29-54.

  7. Kramer,J., Magee, J., and Sloman, M., Configuration Support for System Description, Construction and Evolution, in ‘Managing Complexity in Software Engineering’, Mitchell, R. ed., (Peter Peregrinus), 1990, 247-260.

  8. Sloman, M., Kramer, J. , Magee, J., Butryn, P., Software Configuration Techniques In Operational Systems, in ‘Control and Dynamic Systems: Advances in Theory and Applications. Volume 47: Manufacturing and Automation Systems: Techniques and Technologies’, edited by Dr. C.T. Leondes, (Academic Press), 1991, 325-356.

  9. Finkelstein, A., and Kramer,J., TARA: Tool Assisted Requirements Analysis, in ‘Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development’, Loucopoulos, P., Zicari, R.,( John Wiley), 1992, 413-432.

  10. Kramer, J., Configuration Programming – Exploiting Component Reuse in Distributed Systems, in ‘Software Reuse and Reverse Engineering in Practice’, ed. P. Hall, (Chapman and Hall and UNICOM), 1992, 415-442.

  11. Finkelstein, A., Kramer, J., and Hales, M., Process Modelling: a Critical Analysis, in ‘Integrated Software Engineering with Reuse: mamagement and techniques’, ed. Walton P. and Maiden, N., (Chapman and Hall and UNICOM), 1992, 137-148.

  12. Finkelstein, A., Kramer, J., and Nuseibeh, B., Viewpoint-Oriented Development: applications in composite systems, in ‘Safety-Critical Systems: Current issues, techniques and standards’, ed. Redmill, F. and Anderson, T., Chapman and Hall ,1993, 90-101.

  13. Kramer,J., Magee, J., Sloman, M.S., and Dulay, N., Configuring Object Based Distributed Programs in REX, in Readings in ‘ Distributed Computing Systems’, eds. Casavant T, Singhal, M., (IEEE Computer Society Press), 1994, 187-205.

  14. Kramer, J., Distributed Systems, in ‘Network and Distributed Systems Management’, ed. M.Sloman, (Addison-Wesley), 1994, 47-66.

  15. Kramer, J., Finkelstein, A., and Nuseibeh, B., Method Integration and Support for Distributed Software Development: an overview, in ‘ICSE ‘93 Workshop on Studies of Software Design’, Baltimore, Maryland, May 1993, ed. Lamb, D., LNCS 1078 (Springer-Verlag), 1996, 115-126.

  16. Magee, J., Eisenbach, S., Kramer,J., Modelling Darwin in ?-Calculus, in “Theory and Practice in Distributed Systems”, K.P. Birman, F. Mattern, A. Schiper (Eds), Springer Verlag LNCS 938, July 1995, 133-152.

  17. Ng, K., Kramer, J., Magee, J.,, and Dulay, N., A Visual Approach to Distributed Programming, in “Tools and Environments for Distributed Systems”, Kluwer , 1996.

  18. Kramer, J., Magee, J., Ng, K. and Dulay, N., Software Architecture Description, in “Software Architecture for Product Families: Principles and Practice”, Jazayeri M., Ran A., van der Linden F., Addison-Wesley, 2000.

  19. Kramer, J., Magee, J. and Uchitel, S., Software Architecture Modeling and Analysis: A Rigorous Approach, in “Formal Methods for Software Architectures (SFM-03:SA Lectures)”, Marco Bernardo and Paola Inverardi, Springer, LNCS 2804, 2003, 45-52.

  20. Magee, J. and Kramer, J., Model-based Design of Concurrent Programs, in “Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004.”, Ali E. Abdallah, Cliff B Jones, and J.W Sanders, Springer Verlag, LNCS 3525, 2005,211-219.

  21. Foster, H., Uchitel S., Magee J., and Kramer J., WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography, In “Test and Analysis of Web Services”, Luciano Baresi, and Elisabetta Di Nitto, E, Springer, 2007, 87-120.

  22. Heaven W., Sykes D., Magee J., Kramer J., A Case Study in Goal-Driven Architectural Adaptation, In Software Engineering for Self-Adaptive Systems (SEfSAS), Editors: Betty H.C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Springer, LNCS 5525, 2009, 109-127.

  23. Betty H.C. Cheng et al, Software Engineering for Self-Adaptive Systems: A Research Roadmap , In Software Engineering for Self-Adaptive Systems (SEfSAS), Editors: Betty H.C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Springer, LNCS 5525, 2009, 1-26.
  24. Rogerio de Lemos et al, Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , In Software Engineering for Self-Adaptive Systems II (SEfSAS), Editors: R. de Lemos, et al, Springer, LNCS 7475, 2013, 1-32.

  25. Braberman V, D’Ippolito N, Kramer J, , Sykes D, and Uchitel S, MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation, In Software Engineering for Self-Adaptive Systems 3 (SEfSAS 3), Editors: R. de Lemos, D. Garlan, C. Ghezzi, H. Giese, Springer, LNCS 9640, 2017.

Journals

  1. Kramer, J., Comments on “Generating structured flow diagrams: the nature of unstructuredness”, Computer Journal, 20, (1977), 382-383.

  2. Cunningham,R.J. and Kramer,J., An Exercise in Program Design Using Simula Class Invariants, Software: Practice and Experience 8, (1978), 355-369.

  3. Goldsack, S.J. and Kramer,J., Invariants in the Application-Oriented Specification of Control Systems, Automatica 18, (1982), 71-76.

  4. Kramer, J., Magee,J., Sloman, M.S., and Lister, A., CONIC: An Integrated Approach to Distributed Computer Control Systems, IEE Proc., 130, Pt. E, (1983), 1-10.

  5. Kramer,J., Magee,J., and Sloman,M.S., A Software Architecture for Distributed Computer Control Systems, Automatica, 20, (1984), 93-102.

  6. Kramer,J., and Magee,J., Dynamic Configuration for Distributed Systems, IEEE Trans. on Software Eng., SE-11 (4), (1985), 424-436.

  7. Sloman, M.S., Kramer, J., Magee, J., and Twidle, K.P., A Flexible Communication System for Distributed Computer Control, IEE Proc., 133, Pt. E, (1986), 201-211.

  8. Loques, O.G. and Kramer, J., Flexible Fault Tolerance for Distributed Systems, IEE Proc., 133, Pt. E.(1986), 319-332.

  9. Kramer, J., Magee, J., and Sloman, M.S., The CONIC Toolkit for Building Distributed Systems, IEE Proc.,134 Pt. D.,(1987), 73-82.

  10. Kramer, J., Ng, K., Potts, C., and Whitehead, K., Tool support for Requirements Analysis, IEE Software Engineering Journal, 3(3), (1988), 86-96.

  11. Kramer, J., and Ng, K., Animation of Requirements Specifications, Software – Practice and Experience, 18(8), (1988), 749-774.

  12. Mukherjee, A., Kramer, J., and Magee, J., A Distributed File Server for Embedded Applications, IEE Software Engineering Journal, 3(5), (1988), 142-148.

  13. Magee, J., Kramer, J., and Sloman, M.S., Constructing Distributed Systems in Conic, IEEE Trans. on Software Eng., SE-15 (6), (1989), 663-675.

  14. Kramer, J., Magee, J., and Ng, K., Graphical Configuration Programming, IEEE Computer, 22 (10), (1989), 53-65.

  15. Kramer, J., Magee, J., and Sloman, M.S., Managing Evolution in Distributed Systems, IEE Software Engineering Journal , 4 (6), November 1989, 321-329.

  16. Kramer,J., and Magee,J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans. on Software Eng., SE-16 (11), (1990), 1293-1306.

  17. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., and Goedicke, M., ViewPoints: A Framework for Integrating Multiple Perspectives in System Development, International Journal of Software Engineering and Knowledge Engineering, 2 (1), Special Issue on Trends and Directions in Software Engineering Environments, (1992), 31-58.

  18. Kramer, J., Magee, J., Sloman, M.S., and Dulay, N., Configuring Object Based Distributed Programs in Rex, IEE Software Engineering Journal , 7 (2), Special Issue on Object Oriented Systems, (1992), 139-149.

  19. Kremien, O. and Kramer, J., Methodical Analysis of Adaptive Load Sharing Algorithms, IEEE Trans. on Parallel and Distributed Systems, 3 (6), Special Issue on Measurement and Evaluation, (1992), 747-760.

  20. Magee, J., Dulay, N. and Kramer, J., Structuring Parallel and Distributed Programs, IEE Software Engineering Journal , 8 (2), Special Issue on Configurable Distributed Systems, (1993), 73-82.

  21. Finkelstein, A., Kramer, J., Abramsky, S., Broda, K., Drossopoulou, S. and Eisenbach, S., An Integrated Engineering Study Scheme in Computing, The Computer Journal, 36 (4), Special Issue on Curriculum Issues, (1993), 320-334.

  22. Kremien, O., Kramer,J., and Magee, J., Scalable and Adaptive Load Sharing for Distributed Systems, IEEE Parallel and Distributed Technology , 1 (3), (1993), 62-70.

  23. Easterbrook, S., Finkelstein, A., Kramer, J. and Nuseibeh, B., Coordinating Distributed ViewPoints: the anatomy of a consistency check, Journal of Concurrent Engineering: Research and Applications (CERA), 2 (3), Special Issue on Conflict Management, (1994), 209-222.

  24. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B., Inconsistency Handling in Multi-Perspective Specifications, IEEE Trans. on Software Eng., SE-20 (8), Special Issue on 1993 ESEC, (1994), 569-578.

  25. Cheung, S.C., Kramer, J., Tractable Dataflow Analysis for Distributed Systems, IEEE Trans. on Software Eng., SE-20 (8), Special Issue on 1993 ESEC, (1994), 579-593.

  26. Nuseibeh, B., Kramer, J., and Finkelstein, A., A Framework for Expressing the Relationship between Multiple Views in Requirements Specifications, IEEE Trans. on Software Eng., SE-20 (10), Special Issue on ICSE-15, (1994), 760-773.

  27. Cheung, S.C., Kramer, J., Contextual Local Analysis for the Design of Distributed Systems, Journal of Automated Software Engineering (JASE), 2 (1), (1994), 5-32.

  28. Magee, J., Dulay, N. and Kramer, J., Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, (1994), 304-312.

  29. Nuseibeh, B., Kramer, J., and Finkelstein, A., Method Engineering for Multi-Perspective Software Development, Information and Software Technology, 38, Butterworth-Heinemann (Elsevier Science B.V.)., (1996), 267-274 .

  30. Ng, K., Kramer, J. and Magee, J., Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), 3 (3/4), Special Issue on CASE-95, (1996), 261-284.

  31. Cheung, S.C., and Kramer, J., Context Constraints for Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology TOSEM, 5 (4), (1996), 334-377.

  32. Hirata, C., and Kramer, J., An Investigation of use of World Views with Shared Variables in Time Warp, Journal of Simulation: Practice and Theory 5, Elsevier Science, 1997, 515-533.

  33. Kramer J., Distributed Software Architectures: a structural framework for constructing and reasoning about distributed systems, Virtual Roundtable on “Software Engineering for Parallel and Distributed Systems”, IEEE Concurrency 5 (3), July-September 1997, 21-23.

  34. Hirata, C., and Kramer, J., A Novel Modelling Approach for Parallel Simulation, International Journal of Computer Systems: Science and Engineering, Special Issue on Simulation in parallel and distributed environments, 13 (1), January 1998, 27-38.

  35. Kramer J. and Magee J., Analysing Dynamic Change in Distributed Software Architectures, IEE Proceedings – Software, 145 (5), October 1998, 146-154.

  36. Giannakopoulou D., Kramer J. and Cheung S.C., Behaviour Analysis of Distributed Systems using the Tracta Approach, Automated Software Engineering Journal 6 (1), Kluwer, January 1999, 7-35.

  37. Cheung, S.C., and Kramer, J., Checking Safety Properties using Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology TOSEM 8 (1), January 1999, 49-78.

  38. Russo A., Nuseibeh B. and Kramer J., Restructuring Requirements Specifications, IEE Proceedings: Software SEN 146 (1), February 1999, 44-53.

  39. Zisman A. and Kramer J., An approach to Interoperation between Autonomous Database Systems, IEE Distributed Systems Engineering Journal, DSEJ, 6, 1999, 134-148.

  40. Van Ommering R., van der Linden F., Kramer J., and Magee J., The Koala Component Model for Consumer Electronics Software, IEEE Computer 33 (3), March 2000, 78-85.

  41. Mendonca N. and Kramer J., An Approach for Recovering Distributed System Architectures, Journal of Automated Software Engineering 8 (3/4) , (Kluwer Academic Publishers), August 2001, 311-354.

  42. d’Avila Garcez, A.S., Russo, A., Nuseibeh B.A. and Kramer, J., Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications, IEE Proceedings – Software, 150(1), February 2003, 25-38.

  43. Uchitel S., Kramer J. and Magee J., Synthesis of Behavioral Models from Scenarios, IEEE Trans. on Software Eng., SE-29 (2), Feb. 2003, 99-115.

  44. Uchitel S., Kramer J. and Magee J., Incremental Elaboration of Scenario-based Specifications and Behaviour Models using Implied Scenarios, ACM Transactions on Software Engineering Methodology TOSEM 13 (1), Jan. 2004, 37-85.

  45. Uchitel S., Chatley, R., Kramer J. and Magee J., Goals and Scenarios Validation – a Fluent combination, Requirements Engineering Journal., (2006) 11:123-137.

  46. Kramer J., Is Abstraction the Key to Computing?, Communications of the ACM, 50 (4), April 2007, 36 – 42.

  47. Letier, E., Kramer, J., Magee, J. and Uchitel, S., Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models, Automated Software Engineering (ASE), Springer 15 (2), June 2008, 175–206.

  48. Osterwiel, L.J., Ghezzi, C., Kramer, J. and Wolf, A.L., Determining the Impact of Software Engineering Research on Practice, IEEE Computer, 41 (3), March 2008, 39-49.

  49. Lang, F., Salaun, G., Herilier, R., Kramer, J., and Magee, J., Translating FSP into LOTOS and Networks of Automata, Formal Aspects of Computing journal 22.6 (2010): 681-711.

  50. Dalal Alrajeh, D., Kramer, J., Russo A. and Uchitel, S., Deriving Non-Zeno Behavior Models from Goal Models using ILP, [FASE 2008] Formal Aspects of Computing FACS special issue, 22.3-4, May 2010, 217-241.

  51. Foster H, Uchitel S, Magee J, Kramer J, An Integrated Workbench for Model-Based Engineering of Service Compositions, IEEE Transactions on Services Computing TSC, Special Issue on Modeling and Implementation of Service-Oriented Enterprises, TSC, Vol. 3 (2), 2010, 131-144.

  52. Alrajeh, D., Kramer, J., Russo A. and Uchitel, S.,Elaborating Requirements using Model Checking and Inductive Learning, IEEE Trans. on Software Eng., SE-39 (3), (2013), 361-383.

  53. Sibay, G., Uchitel, S., Braberman, V., Kramer J., Synthesising Modal Transition Systems from Triggered Scenarios, IEEE Trans. on Software Eng., SE-39 (7), (2013), 975-1001.

  54. Uchitel S, Alrajeh D, D’Ippolito N, Fischbein D, Kramer J, Russo A, Sibay G, Braberman V, De Caso G, Garbervetsky D, Ben-David S, Chechik M,  Supporting incremental behaviour model elaboration, Computer Science – Research and Development, Vol:28, (2013), 279-293.

  55. Alrajeh, D., Kramer, J., Russo A. and Uchitel, S., Automated Support for Diagnosis and Repair, Communications of the ACM, 58 (2), February 2015, 65 – 72.

  56. Duarte, L.M., Kramer, J., and Uchitel, S., Using Contexts to Extract Models from Code, Journal of Software and Systems Modeling, Springer, 16(2), 523-557.

  57. Hazzan, O., Kramer, J., Assessing Abstraction Skills: What Makes a Good Question?, Communications of the ACM, Viewpoint, 59 (12), December 2016, 43-45.
  58. Nahabedian, L., Braberman, V., D’Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Dynamic Update of Discrete Event Controllers, IEEE Trans. on Software Eng., SE-46 (11), (2020), 1220-1240.
  59. Nahabedian, L., Braberman, V., D’Ippolito, N., Kramer, J., Uchitel, S., Assured Automatic Dynamic Reconfiguration of Business Processes, Information Systems, Volume 104, Feb. 2022, 101850 (Elsevier), 1-19.

Editor – Journal Special Issue

  1. Kramer, J., IEE Software Engineering Journal 8 (2), Special Issue on Configurable Distributed Systems, March 1993, 51-52.
  2. Kramer, J. and Purtilo, J., Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, 1994, 257-258.
  3. Kramer, J., Garlan D. and Rosenblum, D., IEEE Trans. on Software Eng., SE-27 (2), Special Issue: 1999 International Conference on Software Engineering, February 2001.
  4. Brogi, A., Jacquet, J.M., Kramer, J. and Pimentel, E., Foundations of Coordination Languages and Software Architectures, Special Issue of Science of Computer Programming, Elsevier 2006.

Refereed Conference/Workshop Publications

  1. Cunningham, R.J., and Kramer, J., An Approach to the Design of Distributed Computer Control System Software Using a Processor Module Concept, IEE Int. Conf. on Distributed Computer Control Systems, 1977, 79-85.

  2. Gomaa, H., Kramer, J. and Penney, B.K., A Student Group Project in Operating System Implementation, SIGCSE/CSA Tech. Symp. on Comp. Sc. Education ,1977, SIGCSE Bulletin, 10, 1978, 197-202.

  3. Kramer, J., and Cunningham, R.J., Towards a Notation for the Functional Design of Distributed Processing Systems, IEEE Int. Conf. on Parallel Processing, 1978, 69-76, (Award for the Most Original Paper)

  4. Kramer, J., and Cunningham,R.J., Invariants for Specifications, 4th IEEE Int. Conf. on Software Engineering (ICSE), 1979, 183-193.

  5. Halling, H., Haase, V., Goldsack, S.J. and Kramer, J., A Step Towards Application Oriented Specifications, 1st European Symp. on Real Time Data Handling and Process Control, 1979, 525-534.

  6. Goldsack, S.J., and Kramer, J., The Use of Invariants in the Application-Oriented Specification of Real Time Systems, IFAC/IFIP Workshop on Real Time Programming, 1980, 63-70.

  7. Kramer, J., Magee, J., and Sloman, M.S., Intertask Communication Primitives for Distributed Process Control Systems, 2nd Int. Conf. on Distributed Computing Systems, 1981, 404-411.

  8. Kramer, J., Magee, J., and Sloman, M.S., A Software Architecture for Distributed Computer Control Systems, IFAC Symp. on Theory and Applications of Digital Control, 1982, 19-27.

  9. Kramer, J., Magee, J., and Sloman, M.S., Dynamic System Configuration for Distributed Real-Time Systems, IFAC/IFIP Workshop on Real Time Programming, 1983, 31-42.

  10. Sloman, M.S., Kramer, J., Magee, J., and Twidle, K.P., A Flexible Communication System for Distributed Computer Control, 5th IFAC Workshop on Distributed Computer Control Systems, 1983, 115-127.

  11. Sloman, M., Anzaldi, E., Klessman, H., Kramer, J., Kyttaelae, E., LeLann, G., Magee, J., Sedillot, S., Tschammer, V., and Twidle, K., Management Issues in Local Area Networks, EUTECO, European Teleinformatics Conference, Kalin, T. ed. (North Holland, Netherlands), 1983, 455-474.

  12. Magee, J., and Kramer, J., Dynamic Configuration of Distributed Real Time Systems, IEEE Int. Symp.on Real-Time Systems ,1983, 277-288.

  13. Kramer, J., and Magee, J., Environment Requirements for System Evolution, IEEE Int. Software Process Workshop, 1984, 77-86.

  14. Loques-Filho,O.G. and Kramer, J., An Approach to Fault Tolerant Distributed Process Control Software, IASTED Int. Conf. TELCON 84 (Telecom. and Control), 1984.

  15. Sloman, M.S., Kramer, J., Magee, J., A Flexible Approach to Distributed Computer Control, IEE Int. Conf. Control 85,1985, 341-346 (Vol. 2).

  16. Sloman, M.S., Kramer, J., and Magee, J., The CONIC Toolkit for Building Distributed Systems, 6th IFAC Workshop on Distributed Computer Control Systems, 1985.

  17. Anido, R. and Kramer, J., Synchronized Forward and Backward Recovery for Communicating Processes, 7th IFAC Workshop on Distributed Computer Control Systems, 1986.

  18. Loques, O.G., and Kramer, J., Flexible and Transparent Module Replication in Distributed Systems, IEEE Region 10 Conference TENCON (Computers and Comms. Technology), 1987.

  19. Kramer, J., and Magee, J., A Model for Change Management, IEEE International Workshop on Future Trends in Distributed Computing Systems in the ’90s, Hong Kong, 1988, 296-300.

  20. Loques, O.G., Kramer, J., and Anido, R., Diverse and Selective Fault-Tolerance in a Distributed Environment, 8th IFAC Workshop on Distributed Computer Control Systems, 1988.

  21. Kramer,J., Magee, J., and Ng,K., Graphical Support for Configuration Programming, 22nd HICSS, Hawaii, 1989, Software Track, 860-870.

  22. Kramer,J., Magee, J., and Sloman, M., Configuration Support for System Description, Construction and Evolution, 5th IEEE International Workshop on Software Specification and Design (IWSSD 5), Pittsburgh, 1989, 28-33.

  23. Kremien, O., Kramer,J., and Magee, J., CNCSIM – A Distributed Simulator for Decentralised Algorithms, Workshop on Real-Time Systems – Theory and Practice, York, 1989.

  24. Castro, J., Kramer,J., Temporal-Causal System Specification, IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990, 210-217.

  25. Kramer,J., Magee, J., and Finkelstein, A., A Constructive Approach to the Design of Distributed Systems, 10th IEEE Int. Conf on Distributed Computing Systems, Paris, 1990, 580-587.

  26. Kremien, O., Kramer,J., and Magee, J., Rapid Assessment of Decentralised Algorithms, IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990, 329-335.

  27. Magee, J., Kramer, J., Sloman, M.S. and Dulay, N., An Overview of the REX Software Architecture, IEEE International Workshop on Future Trends in Distributed Computing Systems in the ’90s, Cairo, 1990, 396-402.

  28. Kramer,J., Magee, J., and Young, A., Towards Unifying Fault and Change Management, IEEE International Workshop on Future Trends in Distributed Computing Systems in the ’90s, Cairo, 1990, 57-63.

  29. Castro, J., Kramer,J., A Temporal Framework for Requirements Specification, X Int. Conf. on Computer Science, Santiago, Chile, 1990, 207-218.

  30. Castro, J., Kramer,J., Constructing Distributed System Specifications: A Temporal-Causal Framework, XVII SEMISH – Congress of Brazilian Computing Society, Vitoria, Brazil, 1990, 106-120.

  31. Finkelstein, A., Kramer, J., Goedicke, M., ViewPoint Oriented Software Development, Third Int. Workshop on Software Engineering and its Applications, Toulouse, 1990, 337-351.

  32. Finkelstein, A., and Kramer, J., An MEng Programme of Study in Software Engineering, 1st National Conference on Software Engineering in Higher Education”, Southampton, 1991, 128-151.

  33. Kramer, J., Magee, J., Sloman, M.S., Dulay, N., Cheung, S., Crane, S., Twidle, K., An Introduction to Distributed Programming in Rex, ESPRIT ‘91 Conference proceedings, Brussels, 1991), 207-221.

  34. Kremien, O. and Kramer ,J., Flexible Load Sharing in Configurable Distributed Systems, IEE/IFIP 1st Int. Workshop on Configurable Distributed Systems, London, 1992, 224-236.

  35. Magee, J., Dulay, N. and Kramer, J., Structuring Parallel and Distributed Programs, IEE/IFIP 1st Int. Workshop on Configurable Distributed Systems, London, 1992, 102-116.

  36. Cheung, S., Crane, S., Dulay, N., Kramer, J., Magee, J., Sloman, M.S., Twidle, K., Configuring Heterogeneous Open Systems, Enterprise Integration Modelling: First International Conference, Carolina, 1992, ed. C. Petrie, MIT Press, 513-523.

  37. Kramer, J., Magee, J., and Sloman, M., Configuration Support for System Description, Construction and Evolution, 5th ACM SIGOPS European Workshop on Distributed Operating Systems, Mont St. Michel, 1992.

  38. Kremien, O., Kramer,J., and Magee, J., Scalable Load Sharing for Distributed Systems, 26th HICSS, Hawaii, 1993, Software Track, 632-641.

  39. Magee, J., Kramer,J., and Dulay, N., Darwin/MP: An Environment for Parallel and Distributed Programming, 26th HICSS, Hawaii, 1993, Software Track, 337-346.

  40. Nuseibeh, B., Kramer, J., and Finkelstein, A., Expressing the Relationship between Multple Views in Requirements Specification, 15th IEEE Int. Conf. on Software Engineering (ICSE), 1993, 187-198 (Most Influential Paper award, ICSE 2003)

  41. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B., Inconsistency Handling in Multi-Perspective Specifications, 4th European Software Engineering Conference, ESEC ‘93, Garmisch, 1993, LNCS 717, (Springer-Verlag), 1993, 84-99.

  42. Cheung, S.C., Kramer, J., Tractable Flow Analysis for Anomaly Detection in Distributed Programs, 4th European Software Engineering Conference, ESEC ‘93, Garmisch, 1993, LNCS 717, (Springer-Verlag), 1993, 283-300.

  43. Kramer, J., Magee, J., Ng, K., and Sloman, M., The System Architect’s Assistant for Design and Construction of Distributed Systems, IEEE International Workshop on Future Trends in Distributed Computing Systems in the ’90s, Lisbon, 1993, 284-290.

  44. Sloman, M., Magee, J., Twidle, K., and Kramer, J., An Architecture for Managing Distributed Systems, IEEE International Workshop on Future Trends in Distributed Computing Systems in the ’90s, Lisbon, 1993, 40-46.

  45. Nuseibeh, B., Finkelstein, A., and Kramer, J., Fine-Grain Process Modelling, 7th IEEE International Workshop on Software Specification and Design, (IWSSD-7), Los Angeles, 1993, 42-46 .

  46. Cheung, S.C., Kramer, J., Enhancing Compositional Reachability Analysis with Context Constraints, 1st ACM SIGSOFT ‘93: Symposium Foundations of Software Engineering, Los Angeles, 1993, SEN, Vol. 18, No. 5, 115-125.

  47. Eisenbach, S., Kramer, J., and Magee, J., Regis-Darwin specified in the ?-Calculus, IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh, 1994, 213.

  48. Magee, J., Dulay, N. and Kramer, J., A Constructive Development Environment for Parallel and Distributed Programs, IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh, 1994, 4-14.

  49. Cheung, S.C., Kramer, J., An Integrated Method for Effective Behaviour Analysis of Distributed Systems, 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, 1994, 309-320.

  50. Kremien, O., and Kramer,J., Providing High Performance Distributed Computing through Scalable Computation, IEEE Third Int. Symposium on High Performance Distributed Computing (HPDC-3), San Francisco, 1994, 70-77.

  51. Ng, K., Kramer, J., Magee, J.,, and Dulay, N., The System Architect’s Assistant – A Visual Environment for Distributed Programming, 28th HICSS, Hawaii, 1995, Software Track, 254-259.

  52. Crane, S., Fossa, H., Kramer, J., Magee, J., Sloman, M., and Twidle, K., Configuration Management for Distributed Systems, IFIP/IEEE International Symposium on Integrated Network Management (ISINM ‘95), Sanata Barbara, May 1995, Chapman and Hall 1995.

  53. Leonhardt, U., Finkelstein, A., Kramer, J., and Nuseibeh, B., Decentralised Process Modelling in a Multi-Perspective Environment, 17th IEEE Int. Conf. on Software Engineering (ICSE-17), Seattle, 1995, 255-264.

  54. Nuseibeh, B., Kramer, J., Finkelstein, A., and Leonhardt, U., Decentralised Process Modelling, 4th European Workshop on Software Process Technology (EWSPT ’95), Noordwijkerhout, Holland, 3-5th April 1995, Springer-Verlag.

  55. Hirata, C., and Kramer, J., An Implementation of a Technique for Sharing Variables in Time Warp, 28th SCS/IEEE/ACM Annual Simulation Symposium, Phoenix, April 9-13, 1995, 13-21.

  56. Ng, K., and Kramer, J., Automated Support for Distributed Software Design, IEEE 7th International Workshop on Computer-Aided Software Engineering (CASE ‘95), Toronto, July 1995, 381-390.

  57. Hirata, C., and Kramer, J., A Configuration Language for Parallel Discrete Event Simulation, 9th European Simulation Multiconference, Prague, June 1995, 663-669.

  58. Magee, J., Dulay, N., Eisenbach, S., Kramer,J., Specifying Distributed Software Architectures, 5th European Software Engineering Conference (ESEC ‘95), Sitges, September 1995), LNCS 989, (Springer-Verlag, 1995, 137-153.

  59. Cheung, S.C., Kramer, J., Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints, 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, October 1995, SEN, Vol. 20, No. 4, 140-150.

  60. Cheung, S.C., Kramer, J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, 18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996, 144-154.

  61. Moazami-Goudarzi, K., Kramer, J., Maintaining Node Consistency in the Face of Dynamic Change, IEEE 3rd Int. Conference on Configurable Distributed Systems (CDS 96), Annapolis, May 1996, 62-69.

  62. Zisman A., Kramer J., An Architecture to Support Interoperability of Autonomous Database Systems, Second International Baltic Workshop on DB and IS, Estonia, 1996.

  63. Zisman A., Kramer J., An Information Discovery Process for Interoperable Heterogeneous Databases, Americas Conference on Information Systems, (AIS’96), Mini-track on Heterogeneous Database Interoperability, Phoenix, USA, 1996, 617-619.

  64. Magee, J., Kramer,J., Dynamic Structure in Software Architectures, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, October 1996, SEN, Vol.21, No.6, November 1996, 3-14.

  65. Magee, J., Kramer,J., Self Organising Software Architectures, ACM SIGSOFT ‘96 Workshops, 2nd International Software Architecture Workshop (ISAW-2), San Francisco, October 1996, 35-38.

  66. Mendonca, N., Kramer,J., Requirements for an Effective Architecture Recovery Framework, ACM SIGSOFT ‘96 Workshops, 2nd International Software Architecture Workshop (ISAW-2), San Francisco, October 1996, 101-105.

  67. Giannakopoulou D., Kramer J. and Cheung S.C., TRACTA: An Environment for Analysing the Behaviour of Distributed Systems, 1st ACM SIGPLAN Workshop on Automatic Analysis of Software (AAS ‘97), Paris, January 1997, 113-126.

  68. Magee J., Tseng A. and Kramer,J., Composing Distributed Objects in CORBA, Third International Symposium on Autonomous Decentralized Systems (ISADS 97), Berlin, Germany, April, 1997.

  69. Mendonca N. and Kramer,J., A Quality-Based Analysis of Architecture Recovery Environments, 1st EUROMICRO Working Conference On Software Maintenance and Reengineering, Berlin, March 1997, IEEE ?, ?.

  70. Kramer J., and Magee J., Distributed Software Architectures: Tutorial, 19th IEEE Int. Conf. on Software Engineering (ICSE-19), Boston, May 1997, 633-634.

  71. Zisman A. and Kramer J., Supporting Interoperability of Autonomous Hospital Databases: A Case Study, First East-European Symposium on Advances in Databases and Information Systems – ADBIS97 – ACM SIGMOD, September, 1997. St. Petersburg – Russia., ??.

  72. Cheung S.C., Giannakopoulou D., and Kramer J., Verification of Liveness Properties in Compositional Reachability Analysis, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering / 6th European Software Engineering Conference (FSE / ESEC ‘97), Zurich, September 1997, LNCS 1301, (Springer-Verlag), 1997, 227-243.

  73. Magee J., Kramer J. and Giannakopoulou, D., Analysing the Behaviour of Distributed Software Architectures: a Case Study, 5th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS 97), Tunisia, October 1997, 240-247.

  74. Mendonca N. and Kramer J., An Experiment in Distributed Software Architecture Recovery, Second International ESPRIT ARES, Las Palmas, Development and Evolution of Software Architectures for Product Families, van der Linden eds., LNCS 1429, (Springer-Verlag), 1998, 106-114.

  75. Russo A., Nuseibeh B. and Kramer J., Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, 3rd International Conference on Requirements Engineering (ICRE-98), Colorado Springs, April 1998, ??.

  76. Magee J., Kramer J. and Giannakopoulou D., Software Architecture Directed Behaviour Analysis, 9th IEEE International Workshop on Software Specification and Design (IWSSD 9), Ise-Shima, Japan, April 1998, 144-146.

  77. Kramer J. and Magee J., Distributed Software Architectures: Tutorial, 20th IEEE Int. Conf. on Software Engineering (ICSE-20), Kyoto, April 1998, Volume II, 280-281.

  78. Kramer J. and Magee J., Analysing Dynamic Change in Software Architectures: A Case Study, IEEE 4th Int. Conference on Configurable Distributed Systems (CDS 98), Annapolis, May 1998, 91-100.

  79. Mendonca N. and Kramer J., Developing an Approach for the Recovery of Distributed Software Architectures, Sixth International Workshop on Program Comprehension (IWPC ’98), Ischia, Italy, June, 1998.

  80. Magee J., Kramer J. and Giannakopoulou D., Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999, ed. Patrick Donohoe, (Kluwer Academic Pub.), 1999, 35-50.

  81. Mendonca N. and Kramer J., Component Module Classification for Distributed Software., International Conference on Software Maintenance (ICSM ’99), Oxford, 1999.

  82. Giannakopoulou D., Magee J., and Kramer J., Checking Progress with Action Priority: Is it Fair?, 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering / 7th European Software Engineering Conference (FSE / ESEC ‘99), Toulouse, September 1999, LNCS , (Springer-Verlag), 1999, 511-528.

  83. Magee J., Pryce N., Giannakopoulou D. and Kramer J., Graphical Animation of Behaviour Models, 22nd IEEE/ACM Int. Conf. on Software Engineering (ICSE-2000), Limerick, Ireland, June 2000, 499-508.

  84. Magee J., Kramer J., Nuseibeh B., Bush D. and Sonander J., Hybrid Model Visualization in Requirements and Design: a Preliminary Investigation, 10th IEEE International Workshop on Software Specification and Design (IWSSD 10), San Diego, California, November 2000, 3-10.

  85. Uchitel S. and Kramer J., A Workbench for Synthesising Behaviour Models from Scenarios, 23rd IEEE/ACM Int. Conf. on Software Engineering (ICSE-2001), Toronto, Canada, May 2001, 188-197.

  86. Uchitel S., Kramer J. and Magee J., Detecting Implied Scenarios in Message Sequence Chart Specifications, 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering /8th European Software Engineering Conference (FSE / ESEC ‘2001), Vienna, September 2001,74-82.

  87. d’Avila Garcez, A., Russo, A., Nuseibeh, B. and Kramer, J., Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications, Automated Software Engineering Conference 2001 (ASE’2001), San Diego, November 2001.

  88. Uchitel S., Kramer J. and Magee J., Implied Scenario Detection in the Presence of Behaviour Constraints, International Workshop on Validation and Implementation of Scenario-based Specifications (VISS 2002), Grenoble, April 2002.

  89. A., Russo, R. Miller, A., Nuseibeh, B. and Kramer, J., An abductive approach for analysing event-based requirements specifications, International Conference on Logic Programming Copenhagen, Denmark, July 29th – August 1st, 2002 (Best Applications Paper Award).

  90. Uchitel S., Kramer J. and Magee J., Negative Scenarios for Implied Scenario Elicitation, ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, November 18-22, 2002.

  91. Georgiadis I., Magee J. and Kramer J., Self-Organising Software Architectures for Distributed Systems, ACM SIGSOFT Workshop on Self-Healing Systems (WOSS ‘02), Charleston, South Carolina, November 18, 2002.

  92. Uchitel S., Chatley R., Kramer J. and Magee J., LTSA-MSC : Tool support for behavioral model elaboration using scenarios, Tool Demo in 9th International Conference on Tools and Algorithms for the construction and Analysis of Systems (TACAS 2003), ETAPS 2003, Warsaw, Poland, April 2003.

  93. Uchitel S., Kramer J. and Magee J., Modelling Undefined Behaviour in Scenario Synthesis, 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 03), Portland, May 2003.

  94. Chatley R., Kramer J., Magee J., and Uchitel S., Model-based Simulation of Web Applications for Usability Assessment, International Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, Portland, May 2003.

  95. Uchitel S., Kramer J. and Magee J., Behaviour Model Elaboration using Partial Labelled Transition Systems, 4th joint ACM SIGSOFT Symposium on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC ‘2003), Helsinki, Finland, September 2003.

  96. Foster, H., Magee, J., Uchitel, S. and Kramer, J., Model-based Verification of Web Service Compositions, IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, October 2003.

  97. Chatley R., Kramer J., Magee J., and Uchitel S., Visual Methods for Web Application Design, IEEE Symposium on Visual/Multimedia Software Engineering (VMSE2003), Auckland, New Zealand, October 2003.

  98. Chatley R., Eisenbach, S., Kramer J., Magee J., and Uchitel S., Predictable Dynamic Plugin Systems, Fundamental Approaches to Software Engineering (FASE 2004), ETAPS 2004 conferences, Barcelona, March 2004.

  99. Uchitel S., Chatley R., Kramer J., and Magee J., Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation, IEEE Requirements Engineering Conference (RE ’04), Kyoto, September 2004.

  100. Uchitel S., Chatley R., Kramer J., and Magee J., System Architecture: the Context for Scenario-based Model Synthesis, ACM SIGSOFT 12th International Symposium on the Foundations of Software Engineering (FSE-12), Newport Beach, California, October 31 – November 5, 2004.

  101. Foster, H., Uchitel S., Magee J., and Kramer J., Compatibility Verification for Web Service Choreography, IEEE International Conference on Web Services (ICWS’2004), San Diego, July 2004.

  102. Letier, E., Kramer, J., Magee, J. and Uchitel, S., Monitoring and Control in Scenario-Based Requirements Analysis, 27th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2005), St. Louis, May 2005, 382-391.

  103. Chatley R., Uchitel S., Kramer J., and Magee J., Fluent-Based Web Animation: Exploring Goals for Requirements Validation, 27th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2005) Research Demonstrations, St. Louis, May 2005, 674-675.

  104. Foster, H., Uchitel S., Magee J., and Kramer J., Tool Support for Model-Based Engineering of Web Service Compositions, IEEE International Conference on Web Services (ICWS’2005), Orlando, Florida, July 2005.

  105. Foster, H., Uchitel S., Magee J., Kramer J., and Hu M., Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study, IEEE International Conference on Services Computing (SCC’2005), Orlando, Florida, July 2005.

  106. Letier, E., Kramer, J., Magee, J. and Uchitel, S., Fluent Temporal Logic for Discrete-Time Event-Based Models, ESEC-FSE 2005, the Joint 10th European Software Engineering Conference and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September, 2005, 70-79.

  107. Foster, H., Uchitel S., Magee J., and Kramer J., Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, Eclipse Technology Exchange Workshop ETX 2005, OOPSLA, San Diego, October 2005.

  108. Foster, H., Uchitel S., Magee J., and Kramer J., LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography, Formal Research Demo, 28th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2006), Shanghai, May 2006.

  109. Foster, H., Uchitel S., Magee J., and Kramer J., Model-Based Analysis of Obligations in Web Service Choreography, AICT’06 or ICIW’06 collocated events.

  110. Bonta`, E., Bernardo, M., Magee, J. and Kramer, J., Synthesizing Concurrency Control Components from Process Algebraic Specifications, 8th International Conference on Coordination Models and Languages, Coordination 06, Bologna, June 2006.

  111. Duarte, L.M., Kramer, J. and Uchitel, S., Model Extraction Using Context Information, ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML 2006, Genova, October 2006.

  112. Finkelstein, A, Goldin, L, Kramer J, Parkinson H, and Perrone V, Developing an Integrative Platform for Cancer Research: a Requirements Engineering Perspective, UK e-Science Programme All Hands Meeting 2006 (AHM2006)

  113. Hirsch, D, Kramer, J., Magee, J. and Uchitel, S., Modes for Software Architectures, 3rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications (EWSA ’06), Nantes, France, September 2006, Springer.

  114. McVeigh, A., Kramer, J. and Magee, J., Specification and Verification of Component-Based Systems, Fifth International ACM Workshop on Specification and Verification of Component-Based Systems, SAVCBS’06, Portland, Oregon, November 2006.

  115. Salaun, G., Kramer, J., Lang, F. and Magee, J., Translating FSP into LOTOS and Networks of Automata, Sixth International Conference on Integrated Formal Methods, IFM 2007, Oxford, UK, July 2007, Lecture Notes in Computer Science (LNCS).

  116. Sykes, D., Heaven, W., Magee, J., Kramer J., Plan-Directed Architectural Change For Autonomous Systems, Sixth International ACM Workshop on Specification and Verification of Component-Based Systems, SAVCBS’07, Dubrovnik, Croatia, September 2007.

  117. Felipe Cantal de Sousa, Nabor C. Mendonça, Uchitel, S., Kramer J., Detecting Implied Scenarios from Execution Traces, Fourteenth IEEE CS Working Conference on Reverse Engineering, WCRE’07, Vancouver, Canada, October 2007.

  118. Foster, H., Emmerich, E., Kramer J., Magee J., Rosenblum D. and Uchitel S., Model Checking Service Compositions under Resource Constraints, ESEC-FSE 2007, the 6th Joint meeting of European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia, September 2007, ?-?.

  119. Foster, H., Uchitel S., Kramer J. and Magee J., Towards Self-Management in Service-oriented Computing with Modes, 3rd International Workshop on Engineering Service Oriented Applications: Analysis, Design and Composition – WESOA07. Vienna, Austria, Sep. 2007.

  120. Duarte, L.M., Kramer, J. and Uchitel, S., Towards Faithful Model Extraction Based on Contexts, Fundamental Approaches to Software Engineering (FASE ’08), part of ETAPS, European Joint Conference on Theroy and Practice of Software, Budapest, Hungary, Springer LNCS 4961, March 2008.

  121. Sykes, D., Heaven, W., Magee, J., Kramer J., From Goals to Components: A Combined Approach to Self-Management, 2008 International IEEE/ACM Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Leipzig, Germany, May 2008.

  122. Alrajeh, D., Kramer J., Russo, A., Uchitel, S., Learning Operational Requirements from Goal Models, 31st IEEE/ACM Int. Conf. on Software Engineering (ICSE-2009),Vancouver, May 2009.

  123. Foster H, Uchitel S, Kramer J, Magee J , Towards Self-management in Service-oriented Computing with Modes, 5th International Conference on Service-Oriented Computing (ICSOC 2007), Vienna, AUSTRIA, 17 Sep 2007 – 20 Sep 2007. 4907. (2009)

  124. Gonzalez Beltran A., Finkelstein A., Wilkinson M., Kramer J., Domain Concept-Based Queries for Cancer Research Data Sources, 22nd IEEE International Symposium on COMPUTER-BASED MEDICAL SYSTEMS (IEEE CBMS 2009) – Special track on Healthgrid Computing, Albuquerque, New Mexico, August 2009.

  125. Maia P., Kramer J., Uchitel S., Mendonca N., Towards Accurate Probabilistic Models using State Refinement, ESEC-FSE 2009, the 7th Joint meeting of European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Amsterdam, August 2009.

  126. Sykes, D., Heaven, W., Magee, J., Kramer J., Exploiting Non-Functional Preferences in Architectural Adaptation for Self-Managed Systems, 5th DADS (Dependable and Adaptive Distributed Systems) Track of the 25th ACM Symposium on Applied Computing, Sierre, Switzerland, March 2010.

  127. McVeigh, A., Kramer, J. and Magee, J.,Evolve: Tool Support for Architecture Evolution, Demonstration Track, Thirty Third IEEE/ACM International Conference on Software Engineering (ICSE 2011), Honolulu, May 2011, 1040-1042.

  128. Sykes, D., Magee, J., Kramer J., FlashMob: Distributed Adaptive Self-Assembly, 6th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), Waikiki, Honolulu, May 2011.

  129. Alrajeh, D., Kramer J., Russo, A., Uchitel, S., ““An Inductive Approach for Modal Transition System Refinement””, In M. Hermenegildo and T. Schaub, editors, Technical Communications of the 27th Int’l. Conference on Logic Programming (ICLP’11), volume 8 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, July 2011. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.

  130. Alrajeh, D., Russo, A., Uchitel, S., Kramer J., Integrating Model Checking and Inductive Logic Programming, Proceedings of ILP 2011, LNAI series of Springer-Verlag.

  131. Alrajeh, D., Kramer J., Russo, A., Uchitel, S.,Learning from Vacuously Satisfiable Scenario-based Specifications,15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), part of ETAPS, European Joint Conference on Theory and Practice of Software, Tallin, Estonia, Springer LNCS 7212, Springer, March 2012.

  132. Alrajeh, D., Kramer J., Russo, A., Uchitel, S. and van Lamsweerde, A.,Generating Obstacle Conditions for Requirements Completeness, 34th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2012),Zurich, June 2012.

  133. Sibay, G., Uchitel, S., Braberman, V., Kramer J., Distribution of Modal Transition Systems, 18th International Symposium on Formal Methods (FM 2012), Paris, August 2012.

  134. Sykes, D., Corapi, D., Magee, J., Kramer J., Russo, A., Inoue, K., Learning Revised Models For Planning In Self-Adaptive Systems, 35th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2013),San Francisco, May 2013.

  135. D’Ippolito N., Braberman V., Kramer J., Magee J., Sykes D., and Uchitel S., Hope for the Best, Prepare for the Worst: Multi-Tier Control for Adaptive Systems, 36th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2014), Hyderabad, June 2014, 688-699.

  136. Rodrigues P, Lupu E, Kramer J., LTSA-PCA: Tool support for compositional reliability analysis, Demonstration Track, 36th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2014), Hyderabad, June 2014, 548-551.

  137. Rodrigues, P., Kramer, J. and Lupu, E., On re-assembling self-managed components, Proceedings of the 2015 IFIP/IEEE International Symposium on Integrated Network Management, IM 2015, Ottawa, May 2015, 727-733.

  138. Rodrigues, P., Kramer, J. and Lupu, E.,Compositional Reliability Analysis for Probabilistic Component Automata, IEEE/ACM (Models in Software Engineering) MISE Workshop, Florence, May 2015.

  139. D’Ippolito N, Kramer J, Braberman V, Sykes D, and Uchitel S, MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation, 1st International Workshop on Control Theory for Software Engineering (CTSE 2015), ESEC/FSE 2015 Workshops, September 2015.

  140. Nahabedian L, Braberman V, D’Ippolito N, Honied S, Kramer J, Tei K, and Uchitel S., Assured and Correct Dynamic Update of Controllers, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016), Austin, Texas. May 16-17,2016, 96-107. (Best Paper)

  141. Alrajeh, D., Russo, A., Uchitel, S., Kramer J., Logic-based Learning in Software Engineering, Technical Briefing, Proceedings of the 38th International Conference on Software Engineering Companion (ICSE ’16), Austin, Texas. May 16-17, 2016, 892-893.

  142. Alrajeh, D., van Lamsweerde A., Kramer J., Russo, A., Uchitel, S., Risk-driven Revision of Requirements Models, Proceedings of the 38th International Conference on Software Engineering (ICSE ’16), Austin, Texas. May 16-17, 2016, 855-865.

  143. Benneceur, A., et al,  Modelling and Analysing Resilient Cyber-Physical Systems, 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019), Montreal, Canada. May 25-26, 2019, 70-76.
  144. Nahabedian L, Braberman V, D’Ippolito N, Kramer J, and Uchitel S., Dynamic Reconfiguration of Business Processes, 17th International Conference on Business Process Management (BPM 2019), Vienna. Sept 1-6, 2019, LNCS 11675, 35-51.
  145. Tsz-on Li, Wenxi Zong, Ying Wang, Yibo Wang, Shing-Chi Cheung, Jeff Kramer, Nuances are the Key: Unlocking ChatGPT to Find Failing Tests  with Differential Prompting, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE2023), Luxemburg, Sept 11-15 2023.

Conference Proceedings edited

  1. Kramer, J., IEE/IFIP 1st Int. Workshop on Configurable Distributed Systems, London, May 1992 (CDS 92).
  2. Kramer, J., Purtilo, J., IEEE 2nd Int. Conference on Configurable Distributed Systems, Pittsburgh, May 1994 (CDS 94).
  3. Kramer, J., Wolf, A.L., 8th IEEE International Workshop on Software Specification and Design, Velen, Germany, May 1996 (IWSSD-8).
  4. Gomaa, H., Kramer, J., Pezze, M., and Yoshinori, Y., IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 97), Como, Italy, September 1997.
  5. Feather, M., Fickas, S. and Kramer J., ICSE ’97 Workshop on Living with Inconsistency, Boston, May 1997.
  6. Garlan D. and Kramer J., IEEE/ACM International Conference on Software Engineering (ICSE ’99), Los Angeles, May 1999.
  7. Kramer J. and Hazzan O., ICSE 2006 First Workshop on The Role of Abstraction in Software Engineering, Shanghai, May 2006
  8. Hazzan O. and Kramer J. ICSE 2008 Second Workshop on The Role of Abstraction in Software Engineering, Leipzig, May 2008.
  9. Kramer J., Bishop J., Devanbu P., Uchitel S., IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, May 2010 (Volumes I and II).

Invited and Keynote Papers

  1. Kramer, J., A Distributed Computer System for Monitoring and Control, SAIEE Electronics in Mining Symposium, 1984, 2B 1-14.

  2. Kramer,J., Magee, J., and Young, A., A Refined Model of Change Management in Distributed Systems, 3rd Workshop on Large Grain Parallelism, SEI/CMU, Pittsburgh, 1989.

  3. Kramer, J., Configuration Programming – A Framework for the Development of Distributable Systems, IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990, 374-384.

  4. Kramer, J., and Finkelstein, A., A Configurable Framework for Method and Tool Integration, European Symposium on Software Development Environments and CASE Technology, Königswinter, 1991, Endres A, Weber H (eds), LNCS 509, Springer Verlag, 1991, 233-257.

  5. Kramer, J., CASE support for the Software Process: A Research Viewpoint, Third European Software Engineering Conference (ESEC), Milan, 1991, van Lamsweerde A., Fugetta A. eds., LNCS 550, (Springer-Verlag), 1991, 499-503.

  6. Kramer, J., Generalisations are False?, IEEE Int. Symposium on Requirements Engineering, San Diego, 1993, 80.

  7. Kramer, J., Distributed Software Engineering, 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, 1994, 253-263.

  8. Kramer, J., Exoskeletal Software, 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, 1994, 366.

  9. Kramer, J., Wolf, A.L., Succeedings of the 8th International Workshop on Software Specification and Design, SIGSoft 1996.

  10. Kramer, J., and Magee, J., Exposing the Skeleton in the Coordination Closet, Coordination Languages and Models, 2nd International Conference COORDINATION ‘97, Berlin, 1997, 18-31.

  11. Kramer, J., Distributed Software Architectures: a structural framework for constructing and reasoning about distributed systems, IEEE Concurrency – Virtual Roundtable: Software Engineering for Parallel and Distributed Systems, July-Sept 1997, 21-23.

  12. Kramer, J., and Magee, J., Modelling for mere Mortals, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’99), Amsterdam, March 1999, 1-18.

  13. Finkelstein A. and Kramer J., Software Engineering: A Roadmap, IEEE/ACM International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000, 3-21.

  14. Kramer, J., Making Meaning Models for Mere Mortals, Second IEEE International Conference on Application of Concurrency to System, Newcastle upon Tyne, June 2001, 11-12.

  15. Kramer, J., Abstraction: Is it teachable?, 16th IEEEACM SigSoft Confererence on Software Engineering Education and Training in Madrid, March 20-22, 2003, 11-12.

  16. Nuseibeh, B., Kramer, J., and Finkelstein, A., ViewPoints: meaningful relationships are difficult, 25th IEEE Int. Conf. on Software Engineering (ICSE), 2003, 676-681 (Invited paper for Most Influential Paper award for ICSE 1993 paper).

  17. Kramer, J., Abstraction: Is it teachable?, Keynote: 17th Brazilian Symposium on Software Engineering in Manaus, October 8-10, 2003, 2.

  18. Kramer, J., Abstraction: The Key to Software Engineering?, Keynote: JSSST (Japan Society for Software Science and Technology) Conference in Tokyo, September 15-17, 2004.

  19. Kramer, J., and Magee, J., Engineering Distributed Software: a Structural Discipline, 2005 ACM SIGSOFT Outstanding Research Award recipients, Keynote: ESEC-FSE 2005, the Joint 10th European Software Engineering Conference and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September, 2005, 283-285.

  20. Kramer, J., Abstraction: the elephant in the room?, Keynote: International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, Maine, July 17-20 2006.

  21. Kramer, J., An Architectural Approach to Distributed Software Engineering, Keynote: 6th International Conference on Quality Software (QSIC 2006) to be held in Beijing, China on 26–28 October 2006.

  22. Hazzan, O. and Kramer, J., Abstraction in Computer Science & Software Engineering: a Pedagogical Perspective, (Frontier Journal, Vol. 4, No. 1, January 2007.), 6-14.

  23. Kramer J. and Magee J., Self-Managed Systems: an Architectural Challenge, in L. Briand and A. L. Wolf, eds., Future of Software Engineering 2007, IEEE-CS Press, 2007.

  24. Kramer J. and Magee J., Towards Robust Self-Managed Systems, Progress in Informatics, No. 5, National Institute of Informatics(NII), Japan, 1-4, 2008.

  25. Kramer J. and Magee J., A Rigorous Architectural Approach to Adaptive Software Engineering, Beijing, China, 2009.

  26. Kramer J. Whither Software Architecture?, Keynote: 34th IEEE/ACM Int. Conf. on Software Engineering (ICSE-2012),Zurich, June 2012.

  27. Kramer J. Whither Software Architecture?, Keynote: IEEE/ACM Asia Pacific Software Engineering Conference (APSEC-2012),Hong Kong, December 2012.

  28. Kramer J., Adventures in Adaptation: a software engineering playground, Keynote: 10th IEEE/ACM Int. Symposium. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015),Florence, May 2015.
  29. Kramer J., RE@Runtime – the challenge of change, Keynote: The 28th IEEE International Requirements Engineering Conference, Aug 31- Sep 4, 2020.

jk/AllPapers (last edited 2013-12-20 17:12:46 by jk)