The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeff Kramer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
    Expressing the Relationships Between Multiple Views in Requirements Specification. [Citation Graph (2, 0)][DBLP]
    ICSE, 1993, pp:187-196 [Conf]
  2. Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
    A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:10, pp:760-773 [Journal]
  3. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
    Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2005, pp:217-224 [Conf]
  4. Jeff Kramer
    Making Meaningful Models for Mere Mortal. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:11-12 [Conf]
  5. Andrea Zisman, Jeff Kramer
    Supporting Interoperability of Autonomous Hospital Databases: A Case Study. [Citation Graph (0, 12)][DBLP]
    ADBIS, 1997, pp:285-294 [Conf]
  6. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Model-Based Analysis of Obligations in Web Service Choreography. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:149- [Conf]
  7. Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier
    Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:29-54 [Conf]
  8. Celso M. Hirata, Jeff Kramer
    An implementation of a technique for sharing variables in Time Warp. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1995, pp:13-21 [Conf]
  9. Nabor C. Mendonça, Jeff Kramer
    An Experiment in Distributed Software Architecture Recovery. [Citation Graph (0, 0)][DBLP]
    ESPRIT ARES Workshop, 1998, pp:106-114 [Conf]
  10. Dewayne E. Perry, Jeff Kramer
    Session 2: Architectural Description. [Citation Graph (0, 0)][DBLP]
    ESPRIT ARES Workshop, 1998, pp:49-50 [Conf]
  11. Jeff Magee, Jeff Kramer
    Model-Based Design of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:211-219 [Conf]
  12. Jeff Kramer
    Component-Based Modeling, Analysis and Animation. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2006, pp:62- [Conf]
  13. Jeff Kramer, Jeff Magee
    Exposing the Skeleton in the Coordination Closet. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:18-31 [Conf]
  14. Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
    Synthesizing Concurrency Control Components from Process Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:28-43 [Conf]
  15. Nabor C. Mendonça, Jeff Kramer
    A Quality-Based Analysis of Architecture Recovery Environments. [Citation Graph (0, 0)][DBLP]
    CSMR, 1997, pp:54-59 [Conf]
  16. Jeff Magee, Susan Eisenbach, Jeff Kramer
    Modelling Darwin in the Pi-Caculus. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Distributed Systems, 1994, pp:133-152 [Conf]
  17. Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
    Distributed System Construction: Experience with the Conic Toolkit. [Citation Graph (0, 0)][DBLP]
    Experiences with Distributed Systems, 1987, pp:189-212 [Conf]
  18. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
    Inconsistency Handling in Multi-Perspective Specifications. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:84-99 [Conf]
  19. Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
    Checking Progress with Action Priority: Is it Fair? [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:511-527 [Conf]
  20. Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
    Verification of Liveness Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:227-243 [Conf]
  21. Shing-Chi Cheung, Jeff Kramer
    Tractable Flow Analysis for Anomaly Detection in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:283-300 [Conf]
  22. Jeff Kramer
    CASE Support for the Software Process: A Research Viewpoint. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:499-503 [Conf]
  23. Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
    Specifying Distributed Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:137-153 [Conf]
  24. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Modes for Software Architectures. [Citation Graph (0, 0)][DBLP]
    EWSA, 2006, pp:113-126 [Conf]
  25. Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt
    Decentralised Process Modelling. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1995, pp:185-188 [Conf]
  26. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:129-143 [Conf]
  27. Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
    Analysing the behaviour of distributed software architectures: a case study. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:240-247 [Conf]
  28. Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
    The Software Architect's Assistant-a visual environment for distributed programming. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1995, pp:254-263 [Conf]
  29. Orly Kremien, Jeff Kramer
    Providing High Performance Distributed Computing Through Scalable Computation Servers. [Citation Graph (0, 0)][DBLP]
    HPDC, 1994, pp:70-77 [Conf]
  30. Jeff Kramer, Jeff Magee, Anthony Finkelstein
    A Constructive Approach to the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:580-587 [Conf]
  31. Jeff Kramer, Jeff Magee, Morris Sloman
    Intertask Communication Primitives for Distributed Computer Control Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:404-411 [Conf]
  32. Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
    An Abductive Approach for Analysing Event-Based Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:22-37 [Conf]
  33. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:51-0 [Conf]
  34. Jaelson Castro, Jeff Kramer
    From Software Requirements to Architectures. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:764-765 [Conf]
  35. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Model-based Simulation of Web Applications for Usability Assessment. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 2003, pp:5-11 [Conf]
  36. Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Fluent-based web animation: exploring goals for requirements validation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:674-675 [Conf]
  37. Shing-Chi Cheung, Jeff Kramer
    An Integrated Method for Effective Behaviour Analysis of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:309-320 [Conf]
  38. Shing-Chi Cheung, Jeff Kramer
    Checking Subsystem Safety Properties in Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:144-154 [Conf]
  39. Anthony Finkelstein, Jeff Kramer
    Software engineering: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:3-22 [Conf]
  40. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    LTSA-WS: a tool for model-based verification of web service compositions and choreography. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:771-774 [Conf]
  41. Jeff Kramer
    Distributed Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:253-263 [Conf]
  42. Jeff Kramer
    Exoskeletal Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:366- [Conf]
  43. Jeff Kramer, Jim Cunningham
    Invariants for Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:183-193 [Conf]
  44. Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh
    Method Integration and Support for Distributed Software Development: An Overview. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on Studies of Software Design, 1993, pp:115-126 [Conf]
  45. Jeff Kramer, Orit Hazzan
    The role of abstraction in software engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1017-1018 [Conf]
  46. Jeff Kramer, Jeff Magee
    Distributed Software Architectures (Tutorial). [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:633-634 [Conf]
  47. Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
    Graphical animation of behavior models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:499-508 [Conf]
  48. Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
    Decentralised Process Enactment in a Multi-Perspective Development Environment. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:255-264 [Conf]
  49. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Monitoring and control in scenario-based requirements analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:382-391 [Conf]
  50. Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
    ViewPoints: meaningful relationships are difficult! [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:676-683 [Conf]
  51. Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller
    Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:660- [Conf]
  52. Sebastián Uchitel, Jeff Kramer
    A Workbench for Synthesising Behaviour Models from Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:188-197 [Conf]
  53. Nabor C. Mendonça, Jeff Kramer
    Component Module Classification for Distributed Software Understanding. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:119-0 [Conf]
  54. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Compatibility Verification for Web Service Choreography. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:738-741 [Conf]
  55. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Tool Support for Model-Based Engineering of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:95-102 [Conf]
  56. Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
    Configuration management for distributed software services. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1995, pp:29-42 [Conf]
  57. Jeff Kramer, Jeff Magee
    Environment requirements for system evolution. [Citation Graph (0, 0)][DBLP]
    ISPW, 1984, pp:77-85 [Conf]
  58. Nabor C. Mendonça, Jeff Kramer
    Developing an Approach for the Recovery of Distributed Software Architectures. [Citation Graph (0, 0)][DBLP]
    IWPC, 1998, pp:28-0 [Conf]
  59. Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander
    Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:3-10 [Conf]
  60. Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
    Fine-Grain Process Modelling. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:42-46 [Conf]
  61. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Model-based Verification of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:152-163 [Conf]
  62. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    An Analysis-Revision Cycle to Evolve Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:354-358 [Conf]
  63. Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
    Model Extraction Using Context Information. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:380-394 [Conf]
  64. Jeff Kramer
    Distributed computer systems: two views. [Citation Graph (0, 0)][DBLP]
    Conference on Operating Systems, 1982, pp:84-98 [Conf]
  65. Jeff Kramer
    Distributed Software Engineering: a Rigorous Architectural Approach. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:7-9 [Conf]
  66. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:208-217 [Conf]
  67. Jeff Kramer, Anthony Finkelstein
    A Configurable Framework for Method and Tool Integration. [Citation Graph (0, 0)][DBLP]
    Software Development Environments and CASE Technology, 1991, pp:233-257 [Conf]
  68. Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Software Architecture Modeling & Analysis: A Rigorous Approach. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:44-51 [Conf]
  69. Jeff Kramer, Jeff Magee
    Change management of distributed systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1988, pp:- [Conf]
  70. Jeff Kramer, Jeff Magee, Morris Sloman
    Configuring distributed systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1992, pp:- [Conf]
  71. Shing-Chi Cheung, Jeff Kramer
    Enhancing Compositional Reachability Analysis with Context Constraints. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:115-125 [Conf]
  72. Shing-Chi Cheung, Jeff Kramer
    Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:140-150 [Conf]
  73. Jeff Kramer, Jeff Magee
    Engineering distributed software: a structural discipline. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:283-285 [Conf]
  74. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Fluent temporal logic for discrete-time event-based models. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:70-79 [Conf]
  75. Jeff Magee, Jeff Kramer
    Dynamic Structure in Software Architectures. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:3-14 [Conf]
  76. Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
    The impact project: determining the impact of software engineering research upon practice (panel session). [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:108-109 [Conf]
  77. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    System architecture: the context for scenario-based model synthesis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:33-42 [Conf]
  78. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Detecting implied scenarios in message sequence chart specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:74-82 [Conf]
  79. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Negative scenarios for implied scenario elicitation. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:109-118 [Conf]
  80. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Behaviour model elaboration using partial labelled transition systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:19-27 [Conf]
  81. Jeff Kramer, Jeff Magee
    Modelling for Mere Mortals. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:1-18 [Conf]
  82. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:597-601 [Conf]
  83. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Visual methods for web application design. [Citation Graph (0, 0)][DBLP]
    HCC, 2003, pp:242-244 [Conf]
  84. Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
    Behaviour Analysis of Software Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:35-50 [Conf]
  85. Ioannis Georgiadis, Jeff Magee, Jeff Kramer
    Self-organising software architectures for distributed systems. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:33-38 [Conf]
  86. Shing-Chi Cheung, Jeff Kramer
    Contextual Local Analysis in the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1995, v:2, n:1, pp:5-32 [Journal]
  87. Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
    Behaviour Analysis of Distributed Systems Using the Tracta Approach. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:7-35 [Journal]
  88. Nabor C. Mendonça, Jeff Kramer
    An Approach for Recovering Distributed System Architectures. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:3-4, pp:311-354 [Journal]
  89. Keng Ng, Jeff Kramer, Jeff Magee
    A CASE Tool for Software Architecture Design. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1996, v:3, n:3/4, pp:261-284 [Journal]
  90. Jeff Kramer
    Is abstraction the key to computing? [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2007, v:50, n:4, pp:36-42 [Journal]
  91. Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
    An Integrated Engineering Study Scheme in Computing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:320-334 [Journal]
  92. Jeff Kramer, Jeff Magee, Keng Ng
    Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1989, v:22, n:10, pp:53-65 [Journal]
  93. Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee
    The Koala Component Model for Consumer Electronics Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:3, pp:78-85 [Journal]
  94. Jeff Magee, Naranker Dulay, Jeff Kramer
    Regis: a constructive development environment for distributed programs. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1994, v:1, n:5, pp:304-312 [Journal]
  95. Andrea Zisman, Jeff Kramer
    An approach to interoperation between autonomous database systems. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1999, v:6, n:4, pp:135-0 [Journal]
  96. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Implied Scenario Detection in the Presence of Behaviour Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  97. Jeff Kramer, Jeff Magee
    Analysing dynamic change in distributed software architectures. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1998, v:145, n:5, pp:146-154 [Journal]
  98. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Combining abductive reasoning and inductive learning to evolve requirements specifications. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:1, pp:25-38 [Journal]
  99. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Restructuring requirement specifications. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1999, v:146, n:1, pp:44-50 [Journal]
  100. Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
    Method engineering for multi-perspective software development. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:4, pp:267-274 [Journal]
  101. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    Goal and scenario validation: a fluent combination. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:2, pp:123-137 [Journal]
  102. Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:73-74 [Journal]
  103. Celso M. Hirata, Jeff Kramer
    An investigation of the use of world views with shared variables in Time Warp. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 1997, v:5, n:6, pp:515-533 [Journal]
  104. Jim Cunningham, Jeff Kramer
    An Exercise in Program Design Using SIMULA Class Invariants. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1978, v:8, n:3, pp:355-369 [Journal]
  105. Jeff Kramer, Nr Keng
    Animation of Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1988, v:18, n:8, pp:749-774 [Journal]
  106. Shing-Chi Cheung, Jeff Kramer
    Context Constraints for Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:4, pp:334-377 [Journal]
  107. Shing-Chi Cheung, Jeff Kramer
    Checking Safety Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:49-78 [Journal]
  108. Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:381-382 [Journal]
  109. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:1, pp:37-85 [Journal]
  110. Orly Kremien, Jeff Kramer
    Methodical Analysis of Adaptive Load Sharing Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:6, pp:747-760 [Journal]
  111. Shing-Chi Cheung, Jeff Kramer
    Tractable Dataflow Analysis for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:579-593 [Journal]
  112. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
    Inconsistency Handling in Multperspective Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:569-578 [Journal]
  113. Jeff Kramer
    Editorial: New Associate Editors Introduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:3, pp:137-139 [Journal]
  114. Jeff Kramer
    Editorial: A Message from the New Editor-in-Chief. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:1, pp:2-3 [Journal]
  115. Jeff Kramer, David Garlan, David S. Rosenblum
    Guest Editors' Introduction: 1999 International Conference on Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:2, pp:97-98 [Journal]
  116. Jeff Kramer, Jeff Magee
    Dynamic Configuration for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:4, pp:424-436 [Journal]
  117. Jeff Kramer, Jeff Magee
    The Evolving Philosophers Problem: Dynamic Change Management. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1293-1306 [Journal]
  118. Jeff Magee, Jeff Kramer, Morris Sloman
    Constructing Distributed Systems in Conic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:6, pp:663-675 [Journal]
  119. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Synthesis of Behavioral Models from Scenarios. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:2, pp:99-115 [Journal]
  120. Jeff Kramer
    Editorial: New Associate Editors Introduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:10, pp:769-770 [Journal]
  121. Jeff Kramer
    Editorial: State of the Journal. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:1, pp:1- [Journal]
  122. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
    Translating FSP into LOTOS and Networks of Automata. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:558-578 [Conf]
  123. Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum, Sebastián Uchitel
    Model checking service compositions under resource constraints. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:225-234 [Conf]

  124. Domain concept-based queries for cancer research data sources. [Citation Graph (, )][DBLP]


  125. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]


  126. A Case Study in Goal-Driven Architectural Adaptation. [Citation Graph (, )][DBLP]


  127. Towards Faithful Model Extraction Based on Contexts. [Citation Graph (, )][DBLP]


  128. The role of abstraction in software engineering. [Citation Graph (, )][DBLP]


  129. Self-Managed Systems: an Architectural Challenge. [Citation Graph (, )][DBLP]


  130. Learning operational requirements from goal models. [Citation Graph (, )][DBLP]


  131. Towards Self-management in Service-Oriented Computing with Modes. [Citation Graph (, )][DBLP]


  132. Abstraction and Modelling - A Complementary Partnership. [Citation Graph (, )][DBLP]


  133. Exploiting non-functional preferences in architectural adaptation for self-managed systems. [Citation Graph (, )][DBLP]


  134. Plan-directed architectural change for autonomous systems. [Citation Graph (, )][DBLP]


  135. Towards accurate probabilistic models using state refinement. [Citation Graph (, )][DBLP]


  136. Detecting Implied Scenarios from Execution Traces. [Citation Graph (, )][DBLP]


  137. Leveraging Eclipse for integrated model-based engineering of web service compositions. [Citation Graph (, )][DBLP]


  138. Deriving event-based transition systems from goal-oriented requirements models. [Citation Graph (, )][DBLP]


  139. Determining the Impact of Software Engineering Research on Practice. [Citation Graph (, )][DBLP]


Search in 1.458secs, Finished in 1.465secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002