Imperial College London

ProfessorJeffreyKramer

Faculty of EngineeringDepartment of Computing

Professor of Distributed Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8271j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

555Huxley BuildingSouth Kensington Campus

//

Summary

 

Selected Publications

Journal Articles

Alrajeh D, Kramer J, Russo A, et al., 2013, Elaborating Requirements Using Model Checking and Inductive Learning, IEEE Transactions on Software Engineering, Vol:39, ISSN:0098-5589, Pages:361-383

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

Books

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

Conference

Sykes D, Corapi D, Magee J, et al., 2013, Learning Revised Models for Planning in Adaptive Systems, 35th International Conference on Software Engineering (ICSE), IEEE, Pages:63-71

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

Alrajeh D, Kramer J, van Lamsweerde A, et al., 2012, Generating Obstacle Conditions for Requirements Completeness, 34th International Conference on Software Engineering (ICSE), IEEE, Pages:705-715, 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