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