Jeff Kramer

Publications by Year

Research Areas

Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Software Engineering Research

Most-Cited Works

• → Self-Managed Systems: an Architectural Challenge(2007)828 cited
• Concurrency: State Models & Java Programs(1999)
• → The evolving philosophers problem: dynamic change management(1990)791 cited
• → Specifying distributed software architectures(1995)768 cited
• → Software Engineering for Self-Adaptive Systems: A Second Research Roadmap(2013)708 cited
• → The Koala component model for consumer electronics software(2000)705 cited
• → A framework for expressing the relationships between multiple views in requirements specification(1994)541 cited
• → Dynamic structure in software architectures