Publications

Edited Books and Proceedings

1.     Steve Easterbrook and Sebastian Uchitel. 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. IEEE Computer Society 2006, ISBN 0-7695-2579-2, ISSN: 1527-1336.

2.     Vittorio Cortellessa, Sebasti‡n Uchitel, Daniel Yankelevich (Eds.): Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007. ACM 2007, ISBN 1-59593-297-6

Edited Journal Volumes

3.     V. Cortellesa, S. Uchitel, D. Yankelevich, Guest Editorial, Journal of Systems and Software, ISSN 0164-1212, 82(1): pp1-2, 2009.

4.     S. Uchitel, S. Easterbrook. Guest editor's introduction. Journal of Automated Software Engineering, 15(1)  ISSN 0928-8910, March 2008

5.     Sebastian Uchitel, Manfred Broy, Ingolf Krueger, Jon Whittle, Guest Editorial: Special Section on Interaction and State-Based Modeling, IEEE Transactions on Software Engineering. ISSN: 0098-5589, Vol: 31, Number: 12, 997-998, 2006

Chapters in Books

6.     Jeff Kramer, Jeff Magee and Sebastian Uchitel. Software Architecture Modeling and Analysis: A Rigorous Approach. Third International School on Formal Methods for the Design of Computer Communication and Software Systems: Software Architectures (SFM 2003), Bertinoro, Italy, September 2003. In Marco Bernardo and Paola Inverardi Eds, LNCS 2804, pp 44-51. ISBN 3-540-20083-6. 2003. , ISSN: 1527-1336

7.     H.Foster, S.Uchitel, J.Magee and J.Kramer, WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services, Baresi, Luciano; Di Nitto, Elisabetta (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. K (, ISBN: 978-3-540-72911-2. 2007.

Refereed Journals

8.     D. Alrajeh, J. Kramer, A. Russo and S. Uchitel, Deriving Non-Zeno Behavior Models from Goal Models using ILP, Formal Aspects of Computing, Springer, ISSN: 0934-5043, To appear.

9.     S. Uchitel, G. Brunet, and M. Chechik, Synthesis of Partial Behaviour Models from Properties and Scenarios, Transactions on Software Engineering, Vol 35, Number 3, pp. 384-406, ISSN: 0098-5589, May 2009.

10.   E. Letier, J. Kramer, J. Magee, S. Uchitel, Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models, Journal of Automated Software Engineering, Journal of Automated Software Engineering, Springer, Vol. 15, Number 15, pp 175—206, ISSN: 0928-8910, 2008.

11.   D. Alrajeh, O. Ray, A. Russo, S. Uchitel. Using Abduction and Induction for Operational Requirements Elaboration, Journal of Applied Logic, ISSN: 1570-8683, Volume 5, Issue 3, pp275-288, 2009.

12.   Sebastian Uchitel, Robert Chatley, Jeff Kramer and Jeff Magee. Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. Requirements Engineering Journal (REJ), ISSN 0947-3602, Springer, Vol 11, Number 2, April 2006.

13.   Sebastian Uchitel, Jeff Kramer and Jeff Magee. Elaboration of Behaviour Models using Implied Scenarios. ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13, Number 1, pp 37-85, ISSN: 1049-331, January 2004.

14.   Sebastian Uchitel, Jeff Kramer and Jeff Magee. Synthesis of Behavioural Models from Scenarios. IEEE Transactions on Software Engineering (TSE), Volume 29, Number 2, pp 99-115, ISSN: 0098-5589, February 2003.

Refereed Electronic Journals

15.   Sebastian Uchitel, Jeff Kramer, Jeff Magee, Implied Scenario Detection in the Presence of Behaviour Constraints, Electronic Notes in Theoretical Computer Science, Vol: 65, Pages: 1 - 20, ISSN: 1571-0661, 2002.

Refereed Conferences

16.   Dario Fischbein, Victor Braberman, Sebastian Uchitel, Sound Observational Semantics for Modal Transition Systems, 6th International Colloquium on Theoretical Aspects of Computing (ICTAC), Kuala Lumpur, Malaysia, 2009 (Acceptance rate 24%).

17.   Esteban Pavese, Victor Braberman, Sebastian Uchitel, Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models, in Proceedings of the Joint European Software Engineering Conference and ACM Symposium on Foundations Software Engineering (ESEC/FSE), Amsterdam, Sept 2009. (15% acceptance rate)

18.   Guido de Caso, V’ctor Braberman, Diego Garbervetsky, Sebasti‡n Uchitel, Validation of Contracts using Enabledness Preserving Finite State Abstractions, International Conference on Software Engineering (ICSE), Vancouver 2009. (Acceptance rate: 12%)

19.   Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel and Jeff Kramer, Learning Operational Requirements from Declarative Goal Models, International Conference on Software Engineering (ICSE), Vancouver 2009. (Acceptance rate: 12%)

20.   Howard Foster, Arun Mukhija, David S. Rosenblum and Sebastian Uchitel, A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes, International Conference on Service-Oriented Computing – ICSOC 2008, Sydney, LNCS Vol 5364, pp 558-564, ISSN: 0302-9743

21.   Dario Fischbein, Sebastian Uchitel, On Correct and Complete Merging of Partial Behaviour Models, ACM International Symposium on Foundations of Software Engineering (FSE), Atlanta, 2008. ISBN: TBD. (Acceptance rate: 20

22.   Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastian Uchitel, Pamela Zave, Towards Compositional Synthesis of Evolving Systems, ACM International Symposium on Foundations of Software Engineering (FSE), Atlanta, 2008. ISBN: TBD. (Acceptance rate: 20%)

23.   German Sibay, Victor Braberman, and Sebastian Uchitel: Existential Live Sequence Charts Revisited, International Conference on Software Engineering, Leipzig, 2008. (Acceptance rate 15%)

24.   Dalal Alrajeh, Alessandra Russo, and Sebastian Uchitel: Deriving Non-zeno Behaviour Models from Goal models Using ILP. 11th International Conference on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Vol 4961, pp. 101-115, Springer. Budapest, 2008. (Acceptance rate 22%)

25.   Lucio Mauro Duarte, Jeff Kramer, Sebsti‡n Uchitel: Towards Faithful Model Extraction Based on Contexts. 11th International Conference on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Vol 4961, pp. 101-115, Springer. Budapest, 2008. (Acceptance rate 22%)

26.   F. Cantal de Sousa, N. C. Mendonca, S. Uchitel, J. Kramer. Detecting Implied Scenarios from Execution Traces, 14th Working Conference on Reverse Engineering, pp. 50-59, Vancouver, Canada. October 2007. (31% Acceptance rate)

27.   H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel, Model Checking Service Compositions under Resource Constraints, in Proceedings of the Joint European Software Engineering Conference and ACM Symposium on Foundations Software Engineering (ESEC/FSE), Dubrovnik, Croatia. Sept 2007. (17% acceptance rate)

28.   Sebastian Uchitel, Greg Brunet, and Marsha Chechik, Behaviour Model Synthesis from Properties and Scenarios, 29th IEEE/ACM International Conference on Software Engineering (ICSE), Minneapolis, 2007. IEEE Press. pp 34-43. ISBN: 978-0-7695-2828-1, ISSN: 0270-5275. (15% acceptance rate)

29.   Dalal Alrajeh, Oliver Ray, Alessandra Russo, and Sebastian Uchitel, Extracting requirements from scenarios with ILP, 16th International Conference on Inductive Logic Programming, Santiago de Compostela, LNAI Vol. 4455, Springer. (52% acceptance rate)

30.   L. Duarte, J. Kramer, S. Uchitel, Model Extraction Based on Context Information, ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006. LNCS Volume 4199, Springer. ISBN: 3-540-45772-0. ISSN: 0302-9743. (Acceptance rate: 29%).

31.   Greg Brunet, Marsha Chechik, and S. Uchitel, Properties of Behavioural Model Merging, Internacional Conference on Formal Methods (FM), Hamilton, Canada, 2006. LNCS Volume 4085, Springer. ISSN: 0302-9743. ISBN: 978-3-540-37215-8 (Acceptance rate: 24%), 2006

32.   H.Foster, S.Uchitel, J.Magee, J.Kramer, Model-Based Analysis of Obligations in Web Service Choreography, IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC. ISBN: 0-7695-2522-9 (Acceptance rate: 41%)

33.   Emmanuel Letier, Jeff Kramer, Jeff Magee, and 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 Engineering, Lisbon, Portugal, 2005. ISBN: 1-59593-014-0. (Acceptance rate: 16%)

34.   Gena’na Rodrigues, David Rosenblum, and Sebastian Uchitel. Reliability Prediction in Model Driven Development, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, 2005. ISSN: 0302-9743, ISBN: 0302-9743 (Acceptance rate: 36%)

35.   Howard Foster, Jeff Kramer, Jeff Magee, and Sebastian Uchitel. Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study, IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005. ISSN: 925-949 ISBN: 0-7695-2408-7 (Acceptance rate: 18%)

36.   Howard Foster, Jeff Kramer, Jeff Magee, and Sebastian Uchitel. Tool Support for Model-Based Engineering of Web Service Compositions, 3rd IEEE International Conference on Web Services (ICWS), Orlando, USA, 2005. (Acceptance rate not available)

37.   Emmanuel Letier, Jeff Kramer, Jeff Magee, and Sebastian Uchitel, Monitoring and Control in Scenario-Based Requirements Analysis, 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005. ISBN 1-59593-963-2. (Acceptance rate: 14%)

38.   H.Foster, S.Uchitel, J.Magee, J.Kramer, Web Service Compositions: From XML Syntax to Service Models, IDEAlliance XML Conference, Atlanta, 2005. (Acceptance rate not available)

39.   Genaina Rodrigues, David Rosenblum, and 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), Edinburgh, 2005. ISBN 978-3-540-25420-1. ISSN: 0302-9743. (Acceptance rate: 45%)

40.   Sebastian Uchitel and Marsha Chechik, Merging Partial Behavioural Models, ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, 2004. ISBN: 1-58113-855-5. (Acceptance rate: 15%)

41.   Sebastian Uchitel, Robert Chatley, Jeff Kramer, and Jeff Magee, System Architecture: the Context for Scenario-based Model Synthesis, ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, 2004. ISBN: 1-58113-855-5.  (Acceptance rate: 15%)

42.   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), Kyoto, Japan, 2004. ISBN: 0-7695-2174-6. ISSN: 1090-705X. (Acceptance rate: 27%)

43.   Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Compatibility Verification for Web Service Choreography, IEEE International Conference on Web Services (ICWSÕ04), San Diego, USA, 2004. (Acceptance rate: 38%)

44.   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), Barcelona, Spain, 2004. LNCS 2984, ISBN: 3-540-00899-3. ISSN: 0302-9743. (Acceptance rate: 24%)

45.   Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Model-based Verification of Web Service Compositions, 18th IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, 2003. ISBN: 0-7695-2035-9. ISSN: 1527-1366. (Acceptance rate: 13%)

46.   Jeff Magee, Sebastian Uchitel, Robert Chatley, Jeff Kramer. Visual Methods for Web Application Design. Tech note at the Symposium on Visual and Multimedia Software Engineering, IEEE Symposia on Human-Centric Computing Languages and Environments (HCC). Auckland, New Zealand, October 2003. ISBN: 0-7803-82250 (Acceptance rate: 61%)

47.   Sebastian Uchitel, Jeff Kramer and 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). Helsinki, Finland, 2003. ISBN:1-58113-743-5.  (Acceptance rate: 17%)

48.   Sebastian Uchitel, Jeff Kramer and Jeff Magee. Negative Scenarios for Implied Scenario Elicitation. 10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Charleston, November 2002. ISBN: 1-58113-514-9.  (Acceptance rate: 13%)

49.   Sebastian Uchitel, Jeff Kramer and Jeff Magee. Detecting Implied Scenarios in Message Sequence Chart Specifications. In proceedings of the 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), Vienna, Austria, September 2001. ISBN:1-58113-390-1. (Acceptance rate: 21%)

50.   Sebastian Uchitel, and Jeff Kramer. A Workbench for Synthesising Behaviour Models from Scenarios. In proceeding of the 23rd IEEE/ACM International Conference on Software Engineering (ICSE), Toronto, Canada, 2001. ISBN: 0270-5257, ISSN: 0-7695-1050-7. (Acceptance rate: 17%)

51.   Paola Inverardi and Sebastian Uchitel. Proving Deadlock Freedom in Component Based Programming. In proceedings of Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS), LNCS 2029, Genova, Italy, April 2001. ISBN: 978-3-540-41863-4. ISSN: 0302-9743. (Acceptance rate: 28%)

52.   Sebastian Uchitel, Daniel Yankelevich. Enhancing Architectural Mismatch Detection with Assumptions. In proceedings of the 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'00), Edinburgh, U.K., 2000. ISBN: 0-7695-604-6. (Acceptance rate not available)

53.   Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich. Towards a Periodic Table of Connectors. In proceedings of First Symposium on Software Technology in the 28th Jornadas Argentinas de Inform‡tica e Investigaci—n Operativa (SOST – JAIIO 99Õ), Buenos Aires, Argentina. 1999.  (Acceptance rate not available)

54.   Monica Bobrowski, Sebastian Uchitel, Daniel Yankelevich. Architecture Based Software Development.  In proceedings of the 16th Conferencia Internacional de la Sociedad Chilena de Computacion (SCCC), Valdivia, Chile, 1996. (Acceptance rate not available)

55.   Monica Bobrowski, Sebastian Uchitel, Daniel Yankelevich. CML as a development tool: A Case Study. In proceedings of the 25th Jornadas Argentinas de Inform‡tica e Investigaci—n Operativa (JAIIO), Buenos Aires, Argentina, 1996. (Acceptance rate not available)

Refereed Conferences (Formal Research Demonstrations)

56.   Nicolas D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel, MTSA: The Modal Transition System Analyser, IEEE/ACM Automated Software Engineering Conference, Atlanta, 2008.

57.   H.Foster, S.Uchitel, J.Magee, J.Kramer, WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography, IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006. ISBN 1-59593-375-1.

58.   Robert Chatley, Sebastian Uchitel, Jeff Kramer and Jeff Magee. Fluent-based web animation: exploring goals for requirements validation. 27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005. ISBN: 1-59593-963-2. (Acceptance rate not available)

59.   Sebastian Uchitel, Robert Chatley, Jeff Kramer, and 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), Warsaw, April 2003. LNCS 2725. ISBN: 3-540-00898-5. ISSN: 0302-9743. (Acceptance rate: 30%)

Refereed Workshops

60.   Howard Foster, Sebastian Uchitel, Jeff Kramer, and Jeff Magee, Leveraging Modes and UML2 for Service Brokering SpeciÞcations, 4th Model-Driven Web Engineering Workshop, in conjunction with MoDELS'2008, Toulouse, France, 2008.

61.   Dalal Alrajeh, Oliver Ray, Alessandra Russo and Sebastian Uchitel, Using Abduction and Induction for Operational Requirements Elaboration, Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics, Aix-en-Provence, 15th September, 2007.

62.   N. D'Ippolito, H. Foster, D. Fischbein, and S. Uchitel, MTSA: The Modal Transition System Analyser Eclipse Plugin, ETX2007 Workshop at OOPSLA07, Montreal, Canada, October 2007.

63.   H.Foster, S.Uchitel, J.Kramer, J.Magee, Towards Self-Management in Service-oriented Computing with Modes, in Proceedings of Workshop on Engineering Service-Oriented Applications (WESOA07), Vienna, Austria. Lecture Notes in Computer Science, vol. 4344, Springer, pp113- 126. Sept 2007.

64.   Marsha Chechik, Greg Brunet, Dario Fischbein, and Sebastian Uchitel. Partial Behavioural Models for Requirements and Early Design. Methods for Modelling Software Systems (MMOSS), 2007. Eds. E. Brinksma, D. Harel, A. Mader, P. Stevens and R. Wieringa, 06351, Dagstuhl Seminar Proceedings, 1862-4405, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

65.   Dan Hirsch, Jeff Kramer, Jeff Magee and Sebastian Uchitel. Modes for Software Architectures. In Proceedings of EWSA 2006, 3rd European Workshop on Software Architecture. 2006. Lecture Notes in Computer Science, Springer Verlag. Vol. 4344, ISBN 3-540-69271-1 ISSN: 0302-9743.

66.   D. Fischbein, S. Uchitel, V. Braberman, A Foundation for Behavioural Conformance in Software Product Line Architectures, 2nd ROSATEA Workshop at the International Symposium on Software Testing and Analysis, Portland, Maine, 2006.

67.   D. Alrajeh, A. Russo, S. Uchitel, Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning, International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2006. ISBN 1-59593-394-8

68.   H.Foster, S.Uchitel, J.Magee, J.Kramer, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.

69.   Genaina Rodrigues, David Rosenblum, and 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, St. Louis, USA, 2005. (54% acceptance rate).

70.   Robert Chatley, Jeff Kramer, Jeff Magee, and 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), Portland, 2003. (Acceptance rate not available)

71.   Sebastian Uchitel, Jeff Kramer, and 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). Portland, USA, 2003. (Acceptance rate not available)

72.   Sebastian Uchitel, Jeff Kramer, and Jeff Magee. Implied Scenarios Detection in the Presence of Behaviour Constraints. In proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on Validation and Implementation of Scenario-Based Specifications (VISS), Grenoble, April 2002. Also in Electronic Notes on Theoretical Computer Science 65(7), pp 1 - 20, ISSN: 1571-0661. (Acceptance rate not available)

73.   Sebastian Uchitel, Jeff Kramer, and Jeff Magee. From Sequence Diagrams to Behaviour Models. In proceedings of Workshop on Transformations in UML (WTUML), satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS), Genova, Italy, April 2001. (Acceptance rate not available)

Posters

74.   Howard Foster, Jeff Kramer, Jeff Magee, and Sebastian Uchitel. Tool Support for Model-based Verification and Validation of Web Service Compositions in Eclips, Eclipse Conference, Burlingame, USA, 2005. (Acceptance rate not available)

75.   Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich. Towards a Periodic Table of Connector. In proceedings of the 3rd International Conference on Coordination Models and Languages (COORDINATION 99Õ), Amsterdam, Holland, 1999. LNCS 1594, Spinrger. ISBN: 90-9011643-5. ISSN: 0302-9743. (Acceptance rate not available)

76.   Sebastian Uchitel. Using Assumptions in Software Architecture Analysis. PhD Forum, 28th Jornadas Argentinas de Inform‡tica e Investigaci—n Operativa (JAIIO), Buenos Aires, Argentina, 1999. (Acceptance rate not available)

Invited Journal Articles

77.   Ingolf KrŸger, 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, Volume 28, Issue 6, November 2003. ISSN:0163-5948.

78.   Alexander Egyed, Tarja SystŠ, Sebastian Uchitel, and 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, volume 27, number 5, 2002. ISSN:0163-5948.

Non-refereed Conferences

79.   Howard Foster, Jeff Magee, Jeff Kramer, Sebasti‡n Uchitel: Adaptable Software Architecture and Task Synthesis for UAVs, Systems Engineering for Autonomos Systems (SEAS) DTC conference, Edinburgh, UK, July 2006

80.   Alexander Egyed, Martin Glinz, Ingolf KrŸger, Tarja SystŠ, Sebastian Uchitel, Albert ZŸndorf. Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. ICSE 2003: 783-784. ISBN: 0-7695-1877. ISSN: 0270-5257.

81.   Sebastian Uchitel, Tarja SystŠ, Albert ZŸndorf: Scenarios and state machines: models, algorithms, and tools. ICSE 2002: 659-660. ISBN: 1-58113-472-X

Theses

82.   Sebastian Uchitel, Un Formalismo Dual para la Descripci—n de Arquirecturas de Software, Department of Computing, FCEyN, University of Buenos Aires, Argentina, 1998. Supervisor: Daniel Yankelevich.

83.   Sebastian Uchitel, Incremental Elaboration of Scenario-based Specifications and Behaviour Models using Implied Scenarios, Department of Computing, Imperial College London, U.K. Supervisors: Jeff Kramer and Jeff Magee.

Software

84.  Jeff Magee, Robert Chatley, Jeff Kramer, Sebastian Uchitel, The labelled transition system analyzer and plugins, 2000. http://www.doc.ic.ac.uk/ltsa/.

85.  Nicolas D'Ippolito, Dario Fischbein, Sebastian Uchitel, The modal transition system analyzer, 2000. http://lafhis.dc.uba.ar/~suchitel/mtsa