Kramer's publications at DC

Publications in 2015
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning" , ACM Journal of Educational Resources in Computing - 2015
 
Publications in 2014
1- Nicolas D´Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel , "Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" , ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, page 688--699 - 2014 hope for the best.pdf
 
Publications in 2013
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Elaborating requirements using model checking and inductive learning" , IEEE Transactions on Software Engineering, Volume 39, Number 3, page 361-383 - 2013 Elaborating Requirements using Model.pdf

2- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf

3- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Synthesising Modal Transition Systems from Triggered Scenarios" , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Volume 39, Number 7, page 975--1001 - jul 2013 Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf
 
Publications in 2012
1- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Distribution of Modal Transition Systems" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 403--417 - 2012 paperFM2012WithRelatedWork.pdf

2- Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastian Uchitel , "Generating obstacle conditions for requirements completeness" , 34th International Conference on Software Engineering, ICSE 2012, page 705--715 - 2012 Generating obstacle conditions for requirements completeness.pdf

3- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Learning from Vacuously Satisfiable Scenario-Based Specifications" , Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, page 377--393 - 2012 Learning_from_vacuously.pdf
 
Publications in 2011
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "An Inductive Approach for Modal Transition System Refinement" , Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, page 106--116 - 2011 An inductive approach for modal transition system refinement.pdf
 
Publications in 2010
1- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "An Integrated Workbench for Model-Based Engineering of Service Compositions" , IEEE Transactions on Services Computing - 2010 an integrated workbench.pdf

2- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Deriving Non-Zeno Behavior Models from Goal Models using ILP" , Formal Aspects of Computing, Volume 22, Number 3, page 217-241 - 2010 deriving_non_zeno.pdf
 
Publications in 2009
1- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer , "Learning Operational Requirements from Declarative Goal Models" , International Conference on Software Engineering - 2009

2- Paulo Henrique M. Maia, Jeff Kramer, Sebastian Uchitel, N. C. Mendonca , "Towards accurate probabilistic models using state refinement" , ESEC/SIGSOFT FSE 2009, page 281-284 - 2009 towards_fse09-short-paper.pdf
 
Publications in 2008
1- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models" , Journal of Automated Software Engineering, Volume 15, page 175-206 - 2008

2- Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel , "Towards Faithful Model Extraction Based on Contexts" , FSE: International Symposium on Foundations of Software Engineering - 2008
 
Publications in 2007
1- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services" , 71-91 ,Baresi, Luciano; Di Nitto, Elisabetta (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. K, page 72-91 - 2007

2- S. F. Cantal De Sousa, N. C. Mendonca, Sebastian Uchitel, Jeff Kramer , "Detecting Implied Scenarios from Execution Traces" , 14th Working Conference on Reverse Engineering, - 2007

3- Howard Foster, W. Emmerich, Jeff Kramer, Jeff Magee, Martín E Rais, Sebastian Uchitel , "Model Checking Service Compositions under Resource Constraints," , in Proceedings of ESEC/FSE 2007 - - 2007

4- Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Towards Self-Management in Service-oriented Computing with Modes" , Workshop on Engineering Service-Oriented Applications - 2007
 
Publications in 2006
1- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "A Tool for Model-Based Verification of Web Service Compositions and Choreography" , International Conference on Software Engineering - 2006

2- Howard Foster, Jeff Magee, Jeff Kramer, Sebastian Uchitel , "Adaptable Software Architecture and Task Synthesis for UAVs, Systems Engineering for Autonomos Systems" , (SEAS) DTC conference - 2006

3- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation" , Requirements Engineering Journal (REJ), Volume 11, Number 2 - apr 2006

4- Sebastián Urrutia, Robert Chatley, Jeff Kramer , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation." , Requirements Engineering Journal - 2006

5- Duarte Lucio, Jeff Kramer, Sebastian Uchitel , "Model Extraction Based on Context Information" , ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems - 2006

6- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "Model-Based Analysis of Obligations in Web Service Choreography" , International Conference on Internet & Web Applications and Services - 2006

7- Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Modes for Software Architectures." , 3rd European Workshop on Software Architecture. - 2006
 
Publications in 2005
1- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Fluent Temporal Logic for Discrete-Time Event-Based Models" , Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software - 2005

2- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation" , Requirements Engineering Journal - November 2005

3- Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Fluent-based web animation: exploring goals for requirements validation" , 27th IEEE/ACM International Conference on Software Engineering (ICSE) - Formal Research Demonstration - 2005

4- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions" , ETX2005 Workshop at OOPSLA05 - 2005

5- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Monitoring and Control in Scenario-Based Requirements Analysis" , 27th IEEE/ACM International Conference on Software Engineering (ICSE) - 2005

6- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Tool Support for Model-Based Engineering of Web Service Compositions" , 3rd IEEE International Conference on Web Services (ICWS) - 2005

7- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study" , IEEE International Conference on Services Computing (SCC) - 2005

8- Howard Foster, Sebastián Urrutia, Jeff Magee, Jeff Kramer , "Web Service Compositions: From XML Syntax to Service Models" , IDEAlliance XML Conference - 2005
 
Publications in 2004
1- Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel , ", Predictable Dynamic Plugin Systems" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2004

2- Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Compatibility Verification for Web Service Choreography" , IEEE International Conference on Web Services (ICWS’04) - 2004

3- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Elaboration of Behaviour Models using Implied Scenarios" , ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13, Number 1, page 37--85 - January 2004

4- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios" , IEEE International Conference on Requirements Engineering (RE’04) - 2004

5- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "System Architecture: the Context for Scenario-based Model Synthesis" , ACM International Symposium on Foundations of Software Engineering (FSE) - 2004
 
Publications in 2003
1- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios" , Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conferences on Theory and Practice of Software (ETAPS), - 2003

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

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

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

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

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

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

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