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

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing (en prensa)" , SOFTWARE TESTING, VERIFICATION & RELIABILITY - 2015
 
Publications in 2014
1- Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel , "Automated goal operationalisation based on interpolation and sat solving" , ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering, page 129--139 - may 2014 Automated Goal Operationalisation.pdf

2- Nicolas D´Ippolito, Nir Piterman, Sebastian Uchitel , "Controllability in Partial and Uncertain Environments" , 2014 14th International Conference on Application of Concurrency to System Design - 2014 07016328 (1).pdf

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

4- Nenad Medvidovic, Ivo Krka, Nicolas D´Ippolito, Sebastian Uchitel , "Revisiting compatibility of input-output modal transition systems" , FM 2014 - Formal Methods, Lecture Notes in Computer Science, Volume accepted - 2014 Revisiting Compatibility of Input-Output.pdf
 
Publications in 2013
1- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Automated Reliability Estimation over Partial Systematic Exprorations" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 602--611 - 2013 Automated Reliability Estimation over Partial-icse2013.pdf

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" , 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013), page 222-231 - 2013 Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf

3- Víctor Braberman, Nicolas D´Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel , "Controller Synthesis: From Modelling to Enactment" , ICSE 13 Proceedings of the 2013 International Conference on Software Engineering, page 1347-1350 - 2013 Controller Synthesis From Modelling to Enactment.pdf

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

5- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Enabledness-based Program Abstractions for Behaviour Validation" , ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013 Enabledness-based Program Abstractions for Behaviour Validation.pdf

6- Shoham Ben David, Marsha Chechik, Sebastian Uchitel , "Merging Partial Behaviour Models with Different Vocabularies" , CONCUR 2013 – Concurrency Theory, Volume 8052, page 91-105 - aug 2013 Merging Partial Behaviour Models with Different Vocabularies.pdf

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

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

9- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”" , CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013 Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf
 
Publications in 2012
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Abstractions for Validation in Action" , Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012 abstractions_for_validation_in_action.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation" , Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012 05639021.pdf

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

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

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

6- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "The Modal Transition System Control Problem" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012 paper.pdf

7- Dario Fischbein, Greg Brunet, Nicolas D´Ippolito, Marsha Chechik, Sebastian Uchitel , "Weak Alphabet Merging of Partial Behaviour Models" , ACM Transactions on Software Engineering and Methodology, Volume 21, Number 2, page 1-49 - 2012 Weak Alphabet Merging of Partial Behavior Models_Final.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

2- Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel , "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-contractor.pdf

3- Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel , "CSSL: a logic for specifying conditional scenarios" , 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering, page 37--47 - 2011 cssl - a logic for specifying conditional scenarios.pdf

4- Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel , "Exploring Inconsistencies between Modal Transition Systems" , Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011 Exploring_Inconsistencies.pdf

5- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Program Abstractions for Behaviour Validation " , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 381--390 - 2011 paper-icse-2011.pdf

6- Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastian Uchitel , "Runtime Support for Dynamic and Adaptive Service Composition" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 585--603 - 2011

7- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Specification and Analysis of Dynamically-Reconfigurable Service Architectures" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 428--446 - 2011

8- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "Synthesis of live behaviour models for fallible domains" , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 211--220 - 2011 synthesis of live behaviour models for fallible domains.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

3- Sebastian Uchitel, Jorge Boria, Víctor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michellis, Angel Perez Puletti, Daniel Yankelevich , "Libro Blanco de la Prospectiva TIC 2020" , Ingeniería de Software ,Ministerio de Ciencia Tecnología e Innovación, Argentina, page 181-199 - 2010 Cap_Libro_Prospectiva_TIC_2020.pdf

4- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "My Model Checker Died! How Well Did It Do?" , QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010) - 2010 bpu_quovadis-2010.pdf

5- Nicolas D´Ippolito, Víctor Braberman, Sebastian Uchitel, Nir Piterman , "Synthesis of Live Behaviour Models" , ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering - oct 2010 synthesis of live behaviour models.pdf
 
Publications in 2009
1- Dario Fischbein, Víctor Braberman, Sebastian Uchitel , "A Sound Observational Semantics for Modal Transition Systems" , International Colloquium on Theoretical Aspects of Computing - 2009 ICTAC09_-_Fischbein_-_Braberman_-_Uchitel_-_CRC.pdf

2- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Engage: Engineering Service Modes with WS-Engineer and Dino" , International Conference on Service-Oriented Computing – ICSOC / Service Wave - 2009 hf-icsoc09demo_Engage.pdf

3- Vittorio Cortellessa, Sebastian Uchitel, Daniel Yankelevich , "Guest Editorial" , Journal of Systems and Software - 2009 guest_editorial.pdf

4- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer , "Learning Operational Requirements from Declarative Goal Models" , International Conference on Software Engineering - 2009


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

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

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

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

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

6- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Reliability Prediction in Model Driven Development" , ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems - 2005

7- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Sensitivity Analysis for a Scenario-Based Reliability Prediction Model" , 4th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering - 2005

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

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

10- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Using Scenarios to Predict Reliability for Concurrent Component Based Systems" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 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, Marsha Chechik , "Merging Partial Behavioural Models" , ACM International Symposium on Foundations of Software Engineering (FSE) - 2004

6- 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- Ingolf Krueger, Sebastian Uchitel, Jon Whittle, Albert Zündorf , "A Summary of the ICSE 2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , ACM Software Engineering Notes - 2003

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

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

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

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

6- Alexander Egyed, Martin Glinz, Ingolf Krueger, Tarja Systä, Sebastian Uchitel, Albert Zündorf , "Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , Second Workshop on Scenarios and State Machines - 2003

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

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

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

10- 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- Alexander Egyed, Tarja Systä, Sebastian Uchitel, Albert Zündorf , "A Summary of the ICSE 2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , ICSE 2002 Workshop summary, ACM Software Engineering Notes, 2002 - - 2002

2- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Implied Scenario Detection in the Presence of Behaviour Constraints," , Electronic Notes in Theoretical Computer Science, - 2002

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

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

5- Sebastian Uchitel, Tarja Systä, Albert Zündorf , "Scenarios and state machines: models, algorithms, and tools." , ICSE 2002: - 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

4- Paola Inverardi, Sebastian Uchitel , "Proving Deadlock Freedom in Component Based Programming" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2001
 
Publications in 2000
1- Sebastian Uchitel, Daniel Yankelevich , "Enhancing Architectural Mismatch Detection with Assumptions" , 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'99) - 2000
 
Publications in 1999
1- Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich , "Towards a Periodic Table of Connector" , proceedings of the 3rd International Conference on Coordination Models and Languages - 1999

2- Dan Hirsch, Sebastian Uchitel , "Towards a Periodic Table of Connectors. In proceedings of First Symposium on Software Technology" , Jornadas Argentinas de Informática e Investigación Operativa SOST - 1999

3- Sebastian Uchitel , "Using Assumptions in Software Architecture Analysis" , 28th Jornadas Argentinas de Informática e Investigación Operativa - 1999
 
Publications in 1996
1- Monica Bobrowski, Sebastian Uchitel , "CML as a development tool: A Case Study" , In proceedings of the 25th Jornadas Argentinas de Informática e Investigación Operativa - 1996