Kramer's publications at DC

Publications in 2003
1- Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Model-based Simulation of Web Applications for Usability Assessment" , Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction at the 25th IEEE/ACM International Conference on Software Engineering (ICSE) - 2003

2- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Model-based Verification of Web Service Compositions" , 18th IEEE International Conference on Automated Software Engineering (ASE) - 2003

3- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Modelling Undefined Behaviour in Scenario Synthesis" , 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 25th IEEE/ACM International Conference on Software Engineering (ICSE) - 2003

4- Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Software Architecture Modeling and Analysis: A Rigorous Approach." , 44-51 ,Third International School on Formal Methods for the Design of Computer Communication and Software Systems: Software Architectures, page 44-51 - 2003

5- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Synthesis of Behavioural Models from Scenarios" , IEEE Transactions on Software Engineering, Volume 29, Number 2, page 99--115 - February 2003

6- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Synthesis of Partial Labelled Transition Systems" , European Software Engineering Conference (ESEC) and ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) - 2003

7- Jeff Magee, Sebastian Uchitel, Robert Chatley, Jeff Kramer , "Visual Methods for Web Application Design" , Symposium on Visual and Multimedia Software Engineering, IEEE Symposia on Human-Centric Computing Languages and Environments (HCC) - 2003
 
Publications in 2002
1- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Implied Scenario Detection in the Presence of Behaviour Constraints," , Electronic Notes in Theoretical Computer Science, - 2002

2- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Implied Scenarios Detection in the Presence of Behaviour Constraints" , European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on Validation and Implementation of Scenario-Based Specifications (VISS) - 2002

3- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Negative Scenarios for Implied Scenario Elicitation" , 10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) - 2002
 
Publications in 2001
1- Sebastian Uchitel, Jeff Kramer , "A Workbench for Synthesising Behaviour Models from Scenarios" , 23rd IEEE/ACM International Conference on Software Engineering (ICSE) - 2001

2- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Detecting Implied Scenarios in Message Sequence Chart Specifications" , 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE) - 2001

3- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "From Sequence Diagrams to Behaviour Models" , Workshop on Transformations in UML (WTUML), satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2001