Computing Publications

Publications Home » Authors » Dr Sebastian Uchitel

Authors

Dr Sebastian Uchitel

On this page:

Book Chapter
Journal Articles
Conference and Workshop Papers
Technical Report
BibTeX

46 publications for this author.

Book Chapter

Software architecture modeling and analysis: a rigorous approach: Jeff Kramer, Jeff Magee, Sebastian Uchitel; Formal Methods for Software Architectures (SFM-03:SA Lectures); Volume 2804, pp.44–51; Lecture Notes in Computer Science, Springer; September, 2003

Journal Articles

Guest Editorial: Special Section on Interaction and State-Based Modeling: Sebastian Uchitel, Manfred Broy, Ingolf Krüger, Jon Whittle; IEEE Transactions on Software Engineering; Volume 31, Issue 12; 2006
Goal and scenario validation: a fluent combination: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; Requirements Engineering Journal; Volume 11, pp.123–137; 2006
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; Requirements Engineering Journal; Volume 10, Issue 4; Springer; 2005
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios: Sebastian Uchitel, Jeff Kramer, Jeff Magee; ACM Transactions on Software Engineering and Methodology; Volume 13, Issue 1; 2004
Synthesis of behavioral models from scenarios: Sebastian Uchitel, Jeff Kramer, Jeff Magee; IEEE Transactions on Software Engineering; Volume 29, Issue 2, pp.99–115; IEEE Computer Society; February, 2003
Implied scenario detection in the presence of behaviour constraints: Sebastian Uchitel, Jeff Kramer, Jeff Magee; Electronic Notes in Theoretical Computer Science; Volume 65, Issue 7; 2002

Conference and Workshop Papers

Existential Live Sequence Charts Revisited: German Sibay, Sebastian Uchitel, Victor Braberman; 30th international conference on Software engineering; pp.41–50; ICSE'08, ACM; 2008
Extracting Requirements from Scenarios using ILP: Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel; 16th International Conference on Inductive Logic Programming; Volume 4455, pp.64–78; Lecture Notes in Computer Science, Springer Verlag; September, 2007
Model Extraction Based on Context Information: Lucio Duarte, Jeff Kramer, Sebastian Uchitel; ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006; October, 2006
Modes for Software Architectures: Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel; Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006; September, 2006
Properties of Behavioural Model Merging: Gregory Brunet, Sebastian Uchitel; Formal Methods, Hamilton, 2006; August, 2006
A Foundation for Behavioural Conformance in Software Product Line Architectures: Dario Fischbein, Sebastian Uchitel, Victor Braberman; 2nd ROSATEA Workshop at the International Symposium on Software Testing and Analysis, Portland, Maine, 2006; July, 2006
Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006): Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel; International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003.; May, 2006
WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography: Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer; IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.; May, 2006
Model-Based Analysis of Obligations in Web Service Choreography: Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer; IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.; 2006
Introduction to doctoral symposium: Sebastian Uchitel, Steve Easterbrook; 20th IEEE/ACM International Conference on Automated Software, Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA; ACM; November, 2005
Fluent Temporal Logic for Discrete-Time Event-Based Models: Sebastian Uchitel; Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lisbon, Portugal, 2005.; 2005
Fluent-based web animation: exploring goals for requirements validation: Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee; 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.; May, 2005
Monitoring and Control in Scenario-Based Requirements Analysis: Jeff Kramer, Jeff Magee, Sebastian Uchitel; 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.; 2005
Sensitivity Analysis for a Scenario-Based Reliability Prediction Model: Sebastian Uchitel; 4th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering, St. Louis, USA, 2005.; 2005
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions: Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer; ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.; 2005
Reliability prediction in model-driven development: Sebastian Uchitel; 8th International Conference on Model Driven Engineering Languages and Systems, 2 - 7 October 2005, Montego Bay, Jamaica; Volume 3713; Springer-Verlag; 2005
Tool support for model-based engineering of web service compositions: Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer; IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005; IEEE Computer Society; 2005
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study: Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel; IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005.; 2005
Using scenarios to predict the reliability of concurrent component-based software systems: Sebastian Uchitel; 8th international conference on fundamental approaches to software engineering, Edinburgh, Scotland, 4 - 8 April 2005; Springer-Verlag Berlin; 2005
Web Service Compositions: From XML Syntax to Service Models: Sebastian Uchitel; IDEAlliance XML Conference, Atlanta, 2005; 2005
Merging Partial Behavioural Models: Sebastian Uchitel; ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, 2004.; November, 2004
System architecture: the context for scenario-based model synthesis: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Newport Beach, California, 31 October - 5 November 2004; ACM; 2004
Compatibility verification for web service choreography: Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel; IEEE international conference on web services (ICWS 2004), San Diego, CA; IEEE Computer Soc; 2004
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; IEEE International Conference on Requirements Engineering (RE'04), Kyoto, Japan, 2004; Springer; 2004
Predictable dynamic plugin systems: Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel; 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN; Springer-Verlag; 2004
Behaviour model elaboration using partial labelled transition systems: Sebastian Uchitel, Jeff Kramer, Jeff Magee; European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11); Volume 28; ACM; 2003
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland; Springer-Verlag; 2003
Model-based simulation of web applications for usability assessment: Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel; International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003; 2003
Model-based verification of web service compositions: Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer; 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003; IEEE Computer Soc; 2003
Modelling undefined behaviour in scenario synthesis: Sebastian Uchitel, Jeff Kramer, Jeff Magee; 2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003; 2003
Visual methods for Web application design: Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel; IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003; IEEE Computer Soc; 2003
Negative scenarios for implied scenario elicitation: Sebastian Uchitel, Jeff Kramer, Jeff Magee; Foundations of software engineering; Volume 27; ACM; 2002
A workbench for synthesising behaviour models from scenarios: Sebastian Uchitel, Jeff Kramer; 23rd international conference on software engineering (ICSE 2001), Toronto, Canada; IEEE Computer Soc; May, 2001
Detecting implied scenarios in message sequence chart specifications: Sebastian Uchitel, Jeff Kramer, Jeff Magee; European software engineering conference; Volume 26; ACM; 2001
From sequence diagrams to behaviour models: Sebastian Uchitel, Jeff Kramer, Jeff Magee; Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001; 2001
Proving deadlock freedom in component-based programming: Sebastian Uchitel; Fundamental approaches to software engineering; FASE 2001; Springer; 2001
Enhancing Architectural Mismatch Detection with Assumptions: Sebastian Uchitel, Daniel Yankelevich; IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2000), Scotland, UK; April, 2000
Towards a Periodic Table of Connectors: Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich; COORDINATION'99: Third Int. Conference on Coordination Models and Languages, The Netherlands; Springer-Verlag; April, 1999

Technical Report

Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models: Sebastian Uchitel, Jeff Magee, Jeff Kramer, Emmanuel Letier; Technical Report; Imperial College London, Department of Computing; April, 2004

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.