Imperial College London


Faculty of EngineeringDepartment of Computing

Honorary Emeritus Professor of Distributed Computing



j.kramer Website




Mrs Bridget Gundry +44 (0)20 7594 1245




571Huxley BuildingSouth Kensington Campus




Selected Publications

Journal Articles

Alrajeh D, Kramer J, Russo A, et al., 2012, Elaborating Requirements using Model Checking and Inductive Learning, IEEE Transactions on Software Engineering, ISSN:0098-5589

Kramer J, 2007, Is abstraction the key to computing?, Communications of the ACM, Vol:50, ISSN:0001-0782, Pages:37-42


Magee J, Kramer J, 2006, Concurrency: State Models & Java Programs, 2nd Edition, John Wiley & Sons


Sykes D, Corapi D, Magee J, et al., 2013, Learning Revised Models For Planning In Adaptive Systems, 35th IEEE/ACM International Conference on Software Engineering, IEEE/ACM, Pages:63-71

Alrajeh D, Kramer J, van Lamsweerde A, et al., 2012, Generating obstacle conditions for requirements completeness, 34th International Conference on Software Engineering, IEEE, Pages:705-715, ISSN:1558-1225

Kramer J, 2012, Whither Software Architecture? (Keynote), 34th International Conference on Software Engineering (ICSE), IEEE, Pages:963-963, ISSN:0270-5257

McVeigh A, Kramer J, Magee J, 2011, Evolve: Tool Support for Architecture Evolution, 33rd International Conference on Software Engineering (ICSE), IEEE, Pages:1040-1042

Kramer J, Magee J, 2007, Self-managed systems: An architectural challenge, Conference on Future of Software Engineering, IEEE COMPUTER SOC, Pages:259-+

More Publications