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
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 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-+