Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJeff Magee
Jeff N. Magee
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2014
[c86]Nicolás D'Ippolito
, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel:
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE 2014: 688-699- 2013
- [c85]Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue:
Learning revised models for planning in adaptive systems. ICSE 2013: 63-71 - 2011
- [c84]Daniel Sykes, Jeff Magee, Jeff Kramer:
FlashMob: distributed adaptive self-assembly. SEAMS 2011: 100-109 - [c83]Andrew McVeigh, Jeff Kramer, Jeff Magee:
Evolve: tool support for architecture evolution. ICSE 2011: 1040-1042 - 2010
- [j30]Tom Mens, Jeff Magee, Bernhard Rumpe:
Evolving Software Architecture Descriptions of Critical Systems. Computer 43(5): 42-48 (2010) - [j29]Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee:
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22(6): 681-711 (2010) - [j28]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3(2): 131-144 (2010) - [c82]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c81]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c80]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC 2010: 431-438 - [i3]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j27]Jeff Kramer, Jeff Magee:
A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24(2): 183-188 (2009) - [c79]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c78]William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer:
A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems 2009: 109-127 - [c77]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464 - [e5]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, ISBN 978-3-642-02160-2 [contents] - 2008
- [j26]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2): 175-206 (2008) - [c76]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
From goals to components: a combined approach to self-management. SEAMS 2008: 1-8 - [c75]Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS 2008 - [e4]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e3]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor:
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008. ACM 2008, ISBN 978-1-60558-037-1 [contents] - [i2]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008 - [i1]Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos:
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008 - 2007
- [c74]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1 - [c73]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion 2007: 152-153 - [c72]Jeff Kramer, Jeff Magee:
Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268 - [c71]Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350 - [c70]Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee:
Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578 - [c69]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21 - [c68]Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel:
Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE 2007: 225-234 - [c67]Jeff Magee:
Web Service Composition: From Analysis to Autonomy. TGC 2007: 21 - [p1]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services 2007: 87-119 - 2006
- [b2]Jeff Magee, Jeff Kramer:
Concurrency - state models and Java programs (2. ed.). Wiley 2006, ISBN 978-0-470-09355-9, pp. I-XVIII, 1-413 - [j25]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006) - [c66]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149 - [c65]Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43 - [c64]Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Modes for Software Architectures. EWSA 2006: 113-126 - [c63]Jeff Magee, Tom Maibaum:
Towards specification, modelling and analysis of fault tolerance in self managed systems. SEAMS@ICSE 2006: 30-36 - [c62]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE 2006: 771-774 - [c61]Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller:
Software engineering for adaptive and self-managing systems. ICSE 2006: 1015-1016 - [e2]Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor:
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006. ACM 2006, ISBN 1-59593-403-0 [contents] - 2005
- [c60]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu:
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC 2005: 217-224 - [c59]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99 - [c58]Kevin J. Sullivan, Jeff Magee:
Science of design. ICSE 2005: 46 - [c57]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391 - [c56]Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675 - [c55]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102 - [c54]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79 - [c53]Jeff Kramer, Jeff Magee:
Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE 2005: 283-285 - 2004
- [j24]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. 13(1): 37-85 (2004) - [c52]Jeff Magee, Jeff Kramer:
Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219 - [c51]Robert Chatley, Susan Eisenbach, Jeff Magee:
MagicBeans: a Platform for Deploying Plugin Components. Component Deployment 2004: 97-112 - [c50]Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems. FASE 2004: 129-143 - [c49]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741 - [c48]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE 2004: 208-217 - [c47]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42 - 2003
- [j23]Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa:
Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003) - [j22]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003) - [c46]Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI 2003: 5-11 - [c45]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-based Verification of Web Service Compositions. ASE 2003: 152-163 - [c44]Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51 - [c43]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27 - [c42]Dimitra Giannakopoulou, Jeff Magee:
Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266 - [c41]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601 - [c40]Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Visual methods for web application design. HCC 2003: 242-244 - 2002
- [j21]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Implied Scenario Detection in the Presence of Behaviour Constraints. Electron. Notes Theor. Comput. Sci. 65(7): 65-84 (2002) - [c39]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118 - [c38]Ioannis Georgiadis, Jeff Magee, Jeff Kramer:
Self-organising software architectures for distributed systems. WOSS 2002: 33-38 - [e1]Will Tracz, Michal Young, Jeff Magee:
Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA. ACM 2002 [contents] - 2001
- [c37]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82 - 2000
- [j20]Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee:
The Koala Component Model for Consumer Electronics Software. Computer 33(3): 78-85 (2000) - [c36]Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater:
Model Checking of Workflow Schemas. EDOC 2000: 170-181 - [c35]Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer:
Graphical animation of behavior models. ICSE 2000: 499-508 - [c34]Jeff Magee:
Who needs doctors? (abstract of panel session). ICSE 2000: 669 - [c33]Jeff Magee, Mauro Pezzè:
The ICSE2000 doctoral workshop. ICSE 2000: 697 - [c32]Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD 2000: 3-10
1990 – 1999
- 1999
- [b1]Jeff Magee, Jeff Kramer:
Concurrency - state models and Java programs. Wiley 1999, ISBN 978-0-471-98710-9, pp. I-XIII, 1-355 - [j19]Christos T. Karamanolis, Jeff Magee:
Client Access Protocols for Replicated Services. IEEE Trans. Software Eng. 25(1): 3-21 (1999) - [c31]Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer:
Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527 - [c30]Jeff Magee:
Behavioral Analysis of Software Architectures Using LTSA. ICSE 1999: 634-637 - [c29]Jeff Kramer, Jeff Magee:
Modelling for Mere Mortals. TACAS 1999: 1-18 - [c28]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Behaviour Analysis of Software Architectures. WICSA 1999: 35-50 - 1998
- [j18]Christos T. Karamanolis, Jeff Magee:
Construction and management of highly available services in open distributed systems. Distributed Syst. Eng. 5(1): 29- (1998) - [j17]Jeff Kramer, Jeff Magee:
Analysing dynamic change in distributed software architectures. IEE Proc. Softw. 145(5): 146-154 (1998) - [j16]Ulf Leonhardt, Jeff Magee:
Security Considerations for a Distributed Location Service. J. Netw. Syst. Manag. 6(1): 51-70 (1998) - [c27]Jeff Kramer, Jeff Magee:
Analysing dynamic change in software architectures: a case study. CDS 1998: 91-100 - [c26]Ulf Leonhardt, Jeff Magee:
Multi-Sensor Location Tracking. MobiCom 1998: 203-214 - 1997
- [c25]Jeff Kramer, Jeff Magee:
Exposing the Skeleton in the Coordination Closet. COORDINATION 1997: 18-31 - [c24]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247 - [c23]Douglas I. Donaldson, Jeff Magee:
Distributed System Design using CORBA Components. HICSS (1) 1997: 4-13 - [c22]Christos T. Karamanolis, Jeff Magee:
Client--Access Protocols for Replicated Services. ICECCS 1997: 106- - [c21]Jeff Kramer, Jeff Magee:
Distributed Software Architectures (Tutorial). ICSE 1997: 633-634 - [c20]Jeff Magee, Andrew Tseng, Jeff Kramer:
Composing distributed objects in CORBA. ISADS 1997: 257-263 - 1996
- [j15]Keng Ng, Jeff Kramer, Jeff Magee:
A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3(3/4): 261-284 (1996) - [j14]Ulf Leonhardt, Jeff Magee, Paul Dias:
Location service in mobile computing environments. Comput. Graph. 20(5): 627-632 (1996) - [c19]Christos T. Karamanolis, Jeff N. Magee:
A replication protocol to support dynamically configurable groups of servers. CDS 1996: 161-168 - [c18]Jeff Magee, Jeff Kramer:
Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14 - 1995
- [c17]Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer:
Specifying Distributed Software Architectures. ESEC 1995: 137-153 - [c16]Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay:
The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) 1995: 254-263 - [c15]Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle:
Configuration management for distributed software services. Integrated Network Management 1995: 29-42 - [c14]Christos T. Karamanolis, Jeff Magee:
Configurable Highly Availbale Distributed Services. SRDS 1995: 118-127 - 1994
- [j13]Jeff Magee, Naranker Dulay, Jeff Kramer:
Regis: a constructive development environment for distributed programs. Distributed Syst. Eng. 1(5): 304-312 (1994) - [c13]Jeff N. Magee, Naranker Dulay, Jeff Kramer:
A constructive development environment for parallel and distributed programs. CDS 1994: 4-14 - [c12]Susan Eisenbach, Jeff Kramer, Jeff N. Magee:
REGIS-DARWIN specified in the π-calculus. CDS 1994: 213 - [c11]Jeff Magee, Susan Eisenbach, Jeff Kramer:
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152 - 1993
- [j12]Jeff Magee, Naranker Dulay, Jeff Kramer:
Structuring parallel and distributed programs. Softw. Eng. J. 8(2): 73-82 (1993) - [j11]Orly Kremien, Jeff Kramer, Jeff Magee:
Scalable, adaptive load sharing for distributed systems. IEEE Parallel Distributed Technol. Syst. Appl. 1(3): 62-70 (1993) - 1992
- [j10]Jeff Magee, Naranker Dulay:
A configuration approach to parallel programming. Future Gener. Comput. Syst. 8(4): 337-347 (1992) - [j9]Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay:
Configuring object-based distributed programs in REX. Softw. Eng. J. 7(2): 139-149 (1992) - [c10]Jeff N. Magee, Naranker Dulay, Jeff Kramer:
Structuring parallel and distributed programs. CDS 1992: 102-117 - [c9]Andrew J. Young, Jeff N. Magee:
A flexible approach to evolution of reconfigurable systems. CDS 1992: 152-163 - [c8]Jeff Magee, Naranker Dulay:
MP: A Programming Environment for Multicomputers. Programming Environments for Parallel Computing 1992: 1-16 - [c7]Jeff Kramer, Jeff Magee, Morris Sloman:
Configuring distributed systems. ACM SIGOPS European Workshop 1992 - 1991
- [j8]Jeff N. Magee:
Real-time UNIX systems: design and application guide: Furht, B, Grostick, D, Gluch, D, Rabbat, G, Parker, J and Roberts, M Kluwer Academic (1991) £35.75, 316 pp ISBN 0-7923-9099-7. Microprocess. Microsystems 15(7): 395 (1991) - [j7]Jeff Magee, Shing-Chi Cheung:
Parallel Algorithm Design for Workstation Clusters. Softw. Pract. Exp. 21(3): 235-250 (1991) - [c6]Jeff Magee, Naranker Dulay:
A Configuration Approach to Parallel Programming. PARLE (2) 1991: 313-330 - 1990
- [j6]Jeff Kramer, Jeff Magee:
The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 16(11): 1293-1306 (1990) - [c5]Jeff Kramer, Jeff Magee, Anthony Finkelstein:
A Constructive Approach to the Design of Distributed Systems. ICDCS 1990: 580-587
1980 – 1989
- 1989
- [j5]Jeff Kramer, Jeff Magee, Keng Ng:
Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. Computer 22(10): 53-65 (1989) - [j4]Jeff Magee, Jeff Kramer, Morris Sloman:
Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. 15(6): 663-675 (1989) - 1988
- [j3]Animesh Mukherjee, Jeff Kramer, Jeff Magee:
A distributed file server for embedded applications. Softw. Eng. J. 3(5): 142-148 (1988) - [c4]Jeff Kramer, Jeff Magee:
Change management of distributed systems. ACM SIGOPS European Workshop 1988 - 1987
- [c3]Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle:
Distributed System Construction: Experience with the Conic Toolkit. Experiences with Distributed Systems 1987: 189-212 - 1985
- [j2]Jeff Kramer, Jeff Magee:
Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. 11(4): 424-436 (1985) - 1984
- [j1]Jeff Kramer, Jeff Magee, Morris Sloman:
A software architecture for distributed computer control systems. Autom. 20(1): 93-102 (1984) - [c2]Jeff Kramer, Jeff Magee:
Environment requirements for system evolution. ISPW 1984: 77-85 - 1981
- [c1]