Uchitel's publications at DC

Publications in 2009
1- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models" , 12th European Software Engineering Conference and 17th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), page 335-344 - aug 2009 esec130-pavese.pdf

2- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Synthesis of Partial Behaviour Models from Properties and Scenarios" , Transactions on Software Engineering, Volume 35, Number 3, page 384--406 - May 2009 synthesys_of_partial_uchi_bru_che.pdf

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

4- Dalal Alrajeh, O. Ray, Alessandra Russo, Sebastian Uchitel , "Using Abduction and Induction for Operational Requirements" , Journal of Applied Logic, Volume 5, Number 3, page 275-288 - 2009 ARRU09.pdf

5- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Validation of Contracts using Enabledness Preserving Finite State Abstractions" , 31st IEEE/ACM International Conference on Software Engineering (ICSE), page 452--462 - may 2009 ICSE0130.PDF
 
Publications in 2008
1- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes" , International Conference on Service-Oriented Computing – ICSOC 2008, Volume 5364, page 558--564 - 2008

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

3- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Deriving Non-zeno Behaviour Models from Goal models Using ILP" , FASE: International Conference on Fundamental Approaches to Software Engineering - 2008

4- German Sibay, Sebastian Uchitel, Víctor Braberman , "Existential Live Sequence Charts Revisited," , ICSE 2008: 30th International Conference on Software Engineering - May 2008 Existential_Live.pdf

5- Sebastian Uchitel, Steve Easterbrook , "Guest editor's introduction" , Journal of Automated Software Engneering - 2008

6- Nicolas D´Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel , "MTSA: The modal transition system analyser" , 23rd IEEE/ACM International Conference on Automated Software Engineering - 2008 MTSA The Modal.pdf

7- Dario Fischbein, Sebastian Uchitel , "On Correct and Complete Merging of Partial Behaviour Models" , FSE: International Symposium on Foundations of Software Engineering - 2008

8- Shiva Nejati,, Mehrdad Sabetzadeh,, Marsha Chechik, Sebastian Uchitel, Pamela Zave , "Towards Compositional Synthesis of Evolving Systems," , International Symposium on Foundations of Software Engineering - 2008

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


5- Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastian Uchitel , "Partial Behavioural Models for Requirements and Early Design. Methods for Modelling Software Systems" , Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), - 2007

6- Vittorio Cortellessa, Sebastian Uchitel, Daniel Yankelevich , "Proceedings of the 6th International Workshop on Software and Performance," , WOSP 2007, - 2007

7- Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Towards Self-Management in Service-oriented Computing with Modes" , Workshop on Engineering Service-Oriented Applications - 2007

8- Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel , "Using Abduction and Induction for Operational Requirements Elaboration" , Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics, Aix-en-Provence, - 2007
 
Publications in 2006
1- Dario Fischbein, Sebastian Uchitel, Víctor Braberman , "A Foundation for Software Behavioural Conformance in Software Product Line Architectures" , ROSATEA 06 - The Role of Soft. Architecture for Testing and Analysis - jul 2006

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

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

4- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Behaviour Model Synthesis From Properties and Scenarios" , International Conference on Software Engineering (ICSE) - 2006

5- Dalal Alrajeh, Russo Alessandra, Sebastian Uchitel , "Extracting requirements from scenarios with ILP" , 16th International Conference on Inductive Logic Programming - 2006

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

7- Sebastian Uchitel, Manfred Broy, Ingolf Krueger, Jon Whittle , "Guest Editorial: Special Section on Interaction and State-Based Modeling," , Transactions on Software Engineering - 2006

8- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning," , th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering, - 2006

9- Steve Easterbrook, Sebastian Uchitel , "International Conference on Automated Software Engineering" , IEEE Computer Society - 2006

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

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

12- Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Modes for Software Architectures." , 3rd European Workshop on Software Architecture. - 2006

13- Greg Brunet, Marsha Chechik, Sebastian Uchitel , "Properties of Behavioural Model Merging" , Internacional Conference on Formal Methods (FM), Volume 4085 - - 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