dblp.uni-trier.dewww.uni-trier.de

Sebastián Uchitel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
68EEPaulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça: Towards accurate probabilistic models using state refinement. ESEC/SIGSOFT FSE 2009: 281-284
67EEEsteban Pavese, Víctor A. Braberman, Sebastián Uchitel: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. ESEC/SIGSOFT FSE 2009: 335-344
66EEDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
65EEGuido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
64EEDario Fischbein, Víctor A. Braberman, Sebastián Uchitel: A Sound Observational Semantics for Modal Transition Systems. ICTAC 2009: 215-230
63EESebastián Uchitel, Greg Brunet, Marsha Chechik: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. 35(3): 384-406 (2009)
62EEDalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Using abduction and induction for operational requirements elaboration. J. Applied Logic 7(3): 275-288 (2009)
61EEVittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich: Guest editorial. Journal of Systems and Software 82(1): 1-2 (2009)
2008
60EENicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel: MTSA: The Modal Transition System Analyser. ASE 2008: 475-476
59EEDalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15
58EELucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115
57EEGerman Sibay, Sebastián Uchitel, Víctor A. Braberman: Existential live sequence charts revisited. ICSE 2008: 41-50
56EEHoward Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. ICSOC 2008: 558-564
55EEShiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296
54EEDario Fischbein, Sebastián Uchitel: On correct and complete strong merging of partial behaviour models. SIGSOFT FSE 2008: 297-307
53EESebastián Uchitel, Steve M. Easterbrook: Guest Editors' Introduction. Autom. Softw. Eng. 15(1): 1-2 (2008)
52EEEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2): 175-206 (2008)
2007
51 Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007 ACM 2007
50EEHoward Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel: Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE 2007: 225-234
49EENicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX 2007: 6-10
48EESebastián Uchitel, Greg Brunet, Marsha Chechik: Behaviour Model Synthesis from Properties and Scenarios. ICSE 2007: 34-43
47EEHoward Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350
46EEFelipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer: Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59
45EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services 2007: 87-119
2006
44EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149
43EEDan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Modes for Software Architectures. EWSA 2006: 113-126
42EEGreg Brunet, Marsha Chechik, Sebastián Uchitel: Properties of Behavioural Model Merging. FM 2006: 98-114
41EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE 2006: 771-774
40EEDalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78
39EEMarsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel: Partial Behavioural Models for Requirements and Early Design. MMOSS 2006
38EELucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Model Extraction Using Context Information. MoDELS 2006: 380-394
37EEDario Fischbein, Sebastián Uchitel, Víctor A. Braberman: A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48
36EEDalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36
35EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006)
2005
34EESteve M. Easterbrook, Sebastián Uchitel: Introduction to doctoral symposium. ASE 2005: 435
33EEEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79
32EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99
31EEGenaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel: Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. FASE 2005: 111-126
30EEEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391
29EERobert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675
28EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102
27EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu: Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC 2005: 217-224
26EEGenaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel: Reliability Prediction in Model-Driven Development. MoDELS 2005: 339-354
25EEGenaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel: Sensitivity analysis for a scenario-based reliability prediction model. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
24EESebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle: Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005)
2004
23EERobert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143
22EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741
21EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE 2004: 208-217
20EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42
19EESebastián Uchitel, Marsha Chechik: Merging partial behavioural models. SIGSOFT FSE 2004: 43-52
18EESebastián Uchitel, Jeff Kramer, Jeff Magee: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. 13(1): 37-85 (2004)
2003
17EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163
16EESebastián Uchitel, Jeff Kramer, Jeff Magee: Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27
15 Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Visual methods for web application design. HCC 2003: 242-244
14EEAlexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf: Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. ICSE 2003: 783-784
13EERobert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI 2003: 5-11
12EEJeff Kramer, Jeff Magee, Sebastián Uchitel: Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51
11EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601
10EEIngolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf: A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Software Engineering Notes 28(6): 9 (2003)
9EESebastián Uchitel, Jeff Kramer, Jeff Magee: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003)
2002
8EESebastián Uchitel, Tarja Systä, Albert Zündorf: Scenarios and state machines: models, algorithms, and tools. ICSE 2002: 659-660
7EESebastián Uchitel, Jeff Kramer, Jeff Magee: Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118
6EESebastián Uchitel, Jeff Kramer, Jeff Magee: Implied Scenario Detection in the Presence of Behaviour Constraints. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
2001
5EESebastián Uchitel, Jeff Kramer, Jeff Magee: Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82
4EEPaola Inverardi, Sebastián Uchitel: Proving Deadlock Freedom in Component-Based Programming. FASE 2001: 60-75
3 Sebastián Uchitel, Jeff Kramer: A Workbench for Synthesising Behaviour Models from Scenarios. ICSE 2001: 188-197
2000
2EESebastián Uchitel, Daniel Yankelevich: Enhancing Architectural Mismatch Detection with Assumptions. ECBS 2000: 138-
1999
1EEDan Hirsch, Sebastián Uchitel, Daniel Yankelevich: Towards a Periodic Table of Connectors. COORDINATION 1999: 418

Coauthor Index

1Dalal Alrajeh [36] [40] [59] [62] [66]
2Víctor A. Braberman [37] [57] [64] [65] [67]
3Manfred Broy [24]
4Greg Brunet [39] [42] [48] [63]
5Guido de Caso [65]
6Robert Chatley [11] [13] [15] [20] [21] [23] [29] [35]
7Marsha Chechik [19] [39] [42] [48] [55] [60] [63]
8Vittorio Cortellessa [51] [61]
9Nicolás D'Ippolito [49] [60]
10Lucio Mauro Duarte [38] [58]
11Steve M. Easterbrook [34] [53]
12Alexander Egyed [14]
13Susan Eisenbach [23]
14Wolfgang Emmerich [50]
15Dario Fischbein [37] [39] [49] [54] [60] [64]
16Howard Foster [17] [22] [27] [28] [32] [41] [44] [45] [47] [49] [50] [56]
17Diego Garbervetsky [65]
18Martin Glinz [14]
19Dan Hirsch [1] [43]
20Michael Hu [27]
21Paola Inverardi [4]
22Jeff Kramer [3] [5] [6] [7] [9] [11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [27] [28] [29] [30] [32] [33] [35] [38] [41] [43] [44] [45] [46] [47] [50] [52] [58] [66] [68]
23Ingolf Krüger (Ingolf H. Krüger) [10] [14] [24]
24Emmanuel Letier [30] [33] [52]
25Jeff Magee (Jeff N. Magee) [5] [6] [7] [9] [11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [27] [28] [29] [30] [32] [33] [35] [41] [43] [44] [45] [47] [50] [52]
26Paulo Henrique M. Maia [68]
27Nabor C. Mendonça [46] [68]
28Arun Mukhija [56]
29Shiva Nejati [55]
30Esteban Pavese [67]
31Oliver Ray [40] [62]
32Genaína Nunes Rodrigues [25] [26] [31]
33David S. Rosenblum [25] [26] [31] [50] [56]
34Alessandra Russo [36] [40] [59] [62] [66]
35Mehrdad Sabetzadeh [55]
36German Sibay [57]
37Felipe Cantal de Sousa [46]
38Tarja Systä [8] [14]
39Jon Whittle (Jonathan Whittle) [10] [24]
40Daniel Yankelevich [1] [2] [51] [61]
41Pamela Zave [55]
42Albert Zündorf [8] [10] [14]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)