Uchitel's publications at DC

Publications in 2005
1- 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

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

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

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

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