- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j19 |      | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22(1): 9 (2013) |
| j18 | | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39(3): 361-383 (2013) |
| c69 | | Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel: Automated reliability estimation over partial systematic explorations. ICSE 2013: 602-611 |
| 2012 | ||
| j17 | | Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel: Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21(2): 9 (2012) |
| j16 | | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012) |
| c68 | | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393 |
| c67 | | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: The Modal Transition System Control Problem. FM 2012: 155-170 |
| c66 | | German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer: Distribution of Modal Transition Systems. FM 2012: 403-417 |
| c65 | | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel: Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715 |
| c64 | | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer: Integrating Model Checking and Inductive Logic Programming. ILP 2012: 45-60 |
| c63 | | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Abstractions for Validation in Action. SFM 2012: 192-218 |
| 2011 | ||
| j15 | | Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel: Exploring inconsistencies between modal transition systems. Software and System Modeling 10(1): 117-142 (2011) |
| p3 | | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: Specification and Analysis of Dynamically-Reconfigurable Service Architectures. Results of the SENSORIA Project 2011: 428-446 |
| p2 | | Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel: Runtime Support for Dynamic and Adaptive Service Composition. Results of the SENSORIA Project 2011: 585-603 |
| c62 | | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116 |
| c61 | | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220 |
| c60 | | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390 |
| c59 | | Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel: CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47 |
| 2010 | ||
| j14 | | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Deriving non-Zeno behaviour models from goal models using ILP. Formal Asp. Comput. 22(3-4): 217-241 (2010) |
| j13 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE T. Services Computing 3(2): 131-144 (2010) |
| c58 | | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86 |
| e3 |  | Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel (Eds.): Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. ACM 2010, isbn 978-1-60558-719-6 |
| e2 | | Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel (Eds.): Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. ACM 2010, isbn 978-1-60558-719-6 |
| 2009 | ||
| j12 | | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Using abduction and induction for operational requirements elaboration. J. Applied Logic 7(3): 275-288 (2009) |
| j11 | | Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich: Guest editorial. Journal of Systems and Software 82(1): 1-2 (2009) |
| j10 | | Sebastián Uchitel, Greg Brunet, Marsha Chechik: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. 35(3): 384-406 (2009) |
| c57 | | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275 |
| c56 | | Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462 |
| c55 | | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: Engage: Engineering Service Modes with WS-Engineer and Dino. ICSOC/ServiceWave 2009: 641-642 |
| c54 | | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel: A Sound Observational Semantics for Modal Transition Systems. ICTAC 2009: 215-230 |
| c53 | | Sebastián Uchitel: Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. SBMF 2009: 17-22 |
| c52 | | Paulo 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 |
| c51 | | Esteban 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 |
| 2008 | ||
| j9 | | Sebastián Uchitel, Steve M. Easterbrook: Guest Editors' Introduction. Autom. Softw. Eng. 15(1): 1-2 (2008) |
| j8 | | Emmanuel 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) |
| c50 | | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15 |
| c49 | | Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115 |
| c48 | | German E. Sibay, Sebastián Uchitel, Víctor A. Braberman: Existential live sequence charts revisited. ICSE 2008: 41-50 |
| c47 | | Howard 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 |
| c46 | | Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel: MTSA: The Modal Transition System Analyser. ASE 2008: 475-476 |
| c45 | | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 |
| c44 | | Dario Fischbein, Sebastián Uchitel: On correct and complete strong merging of partial behaviour models. SIGSOFT FSE 2008: 297-307 |
| 2007 | ||
| c43 | | Nicolá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 |
| c42 | | Sebastián Uchitel, Greg Brunet, Marsha Chechik: Behaviour Model Synthesis from Properties and Scenarios. ICSE 2007: 34-43 |
| c41 | | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350 |
| c40 | | Howard 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 |
| p1 | | Howard 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 |
| c39 | | Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer: Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59 |
| e1 | | 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 |
| 2006 | ||
| j7 | | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006) |
| c38 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149 |
| c37 | | Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel: Partial Behavioural Models for Requirements and Early Design. MMOSS 2006 |
| c36 | | Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Modes for Software Architectures. EWSA 2006: 113-126 |
| c35 | | Greg Brunet, Marsha Chechik, Sebastián Uchitel: Properties of Behavioural Model Merging. FM 2006: 98-114 |
| c34 | | Howard 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 |
| c33 | | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78 |
| c32 | | Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman: A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48 |
| c31 | | Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Model Extraction Using Context Information. MoDELS 2006: 380-394 |
| c30 | | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36 |
| 2005 | ||
| j6 | | Genaí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) |
| j5 | | Sebastiá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) |
| c29 | | Howard 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 |
| c28 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99 |
| c27 | | Genaí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 |
| c26 | | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391 |
| c25 | | Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675 |
| c24 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102 |
| c23 | | |
| c22 | | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79 |
| c21 | | Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel: Reliability Prediction in Model-Driven Development. MoDELS 2005: 339-354 |
| 2004 | ||
| j4 | | Sebastiá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) |
| c20 | | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143 |
| c19 | | Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel: Controller synthesis: from modelling to enactment. ICSE 2004: 1347-1350 |
| c18 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741 |
| c17 | | Sebastiá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 |
| c16 | | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42 |
| c15 | | |
| 2003 | ||
| j3 | | Ingolf 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) |
| j2 | | Sebastián Uchitel, Jeff Kramer, Jeff Magee: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003) |
| c14 | | Robert 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 |
| c13 | | Alexander 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 |
| c12 | | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163 |
| c11 | | Jeff Kramer, Jeff Magee, Sebastián Uchitel: Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51 |
| c10 | | Sebastián Uchitel, Jeff Kramer, Jeff Magee: Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27 |
| c9 | | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601 |
| c8 | | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Visual methods for web application design. HCC 2003: 242-244 |
| 2002 | ||
| j1 | | Sebastián Uchitel, Jeff Kramer, Jeff Magee: Implied Scenario Detection in the Presence of Behaviour Constraints. Electr. Notes Theor. Comput. Sci. 65(7): 65-84 (2002) |
| c7 | | Sebastián Uchitel, Tarja Systä, Albert Zündorf: Scenarios and state machines: models, algorithms, and tools. ICSE 2002: 659-660 |
| c6 | | Sebastián Uchitel, Jeff Kramer, Jeff Magee: Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118 |
| 2001 | ||
| c5 | | Paola Inverardi, Sebastián Uchitel: Proving Deadlock Freedom in Component-Based Programming. FASE 2001: 60-75 |
| c4 | | Sebastián Uchitel, Jeff Kramer: A Workbench for Synthesising Behaviour Models from Scenarios. ICSE 2001: 188-197 |
| c3 | | Sebastián Uchitel, Jeff Kramer, Jeff Magee: Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82 |
| 2000 | ||
| c2 | | Sebastián Uchitel, Daniel Yankelevich: Enhancing Architectural Mismatch Detection with Assumptions. ECBS 2000: 138- |
| 1999 | ||
| c1 | | Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich: Towards a Periodic Table of Connectors. COORDINATION 1999: 418 |
Data released under the ODC-BY 1.0 license — See also our legal information page