| Software engineering for self-adaptive systems: A second research roadmap R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013 | 2489 | 2013 |
| State models and java programs J Magee, J Kramer wiley Hoboken 2 (2.6), 2, 1999 | 1660 | 1999 |
| Specifying distributed software architectures J Magee, N Dulay, S Eisenbach, J Kramer European software engineering conference, 137-153, 1995 | 1332 | 1995 |
| The evolving philosophers problem: Dynamic change management J Kramer, J Magee IEEE Transactions on software engineering 16 (11), 1293-1306, 1990 | 1224 | 1990 |
| Self-managed systems: an architectural challenge J Kramer, J Magee Future of Software Engineering (FOSE'07), 259-268, 2007 | 1192 | 2007 |
| The Koala component model for consumer electronics software R Van Ommering, F Van Der Linden, J Kramer, J Magee Computer 33 (3), 78-85, 2002 | 1103 | 2002 |
| Dynamic structure in software architectures J Magee, J Kramer ACM SIGSOFT Software Engineering Notes 21 (6), 3-14, 1996 | 949 | 1996 |
| Model-based verification of web service compositions H Foster, S Uchitel, J Magee, J Kramer 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 714 | 2003 |
| Dynamic configuration for distributed systems J Kramer, J Magee IEEE Transactions on Software Engineering, 424-436, 2006 | 540 | 2006 |
| Constructing distributed systems in Conic J Magee, J Kramer, M Sloman IEEE transactions on software engineering 15 (6), 663-675, 1989 | 490 | 1989 |
| Regis: A constructive development environment for distributed programs J Magee, N Dulay, J Kramer Distributed Systems Engineering 1 (5), 304, 1994 | 448* | 1994 |
| Self-organising software architectures for distributed systems I Georgiadis, J Magee, J Kramer Proceedings of the first workshop on Self-healing systems, 33-38, 2002 | 399 | 2002 |
| Synthesis of behavioral models from scenarios S Uchitel, J Kramer, J Magee IEEE Transactions on Software Engineering 29 (2), 99-115, 2003 | 378 | 2003 |
| Fluent model checking for event-based systems D Giannakopoulou, J Magee Proceedings of the 9th European software engineering conference held jointly …, 2003 | 317 | 2003 |
| Incremental elaboration of scenario-based specifications and behavior models using implied scenarios S Uchitel, J Kramer, J Magee ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 2004 | 265 | 2004 |
| Structuring parallel and distributed programs J Magee, N Dulay, J Kramer Software Engineering Journal 8 (2), 73-82, 1993 | 255 | 1993 |
| LTSA-WS: a tool for model-based verification of web service compositions and choreography H Foster, S Uchitel, J Magee, J Kramer Proceedings of the 28th international conference on Software engineering …, 2006 | 240 | 2006 |
| Compatibility verification for web service choreography H Foster, S Uchitel, J Magee, J Kramer Proceedings. IEEE International Conference on Web Services, 2004., 738-741, 2004 | 231 | 2004 |
| Behaviour analysis of software architectures J Magee, J Kramer, D Giannakopoulou Working Conference on Software Architecture, 35-49, 1999 | 231 | 1999 |
| From goals to components: a combined approach to self-management D Sykes, W Heaven, J Magee, J Kramer Proceedings of the 2008 international workshop on Software engineering for …, 2008 | 207 | 2008 |
