Sebastián Uchitel

180 papers A* 28A 12B 15C 3Misc 1Journal 58Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
SE Journals in 2036: Looking Back at the Future We Need to Have.
CoRR
Tim Menzies, Paris Avgeriou, Robert Feldt, Mauro Pezzè, Abhik Roychoudhury, Miroslaw Staron, Sebastián Uchitel, Thomas Zimmermann
2025 J jnl
50 Years of Transactions on Software Engineering.
IEEE Trans. Software Eng.
Sebastián Uchitel
2025 J jnl
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning.
CoRR
Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh, Francesco Belardinelli, Sebastián Uchitel
2025 A conf
Modal Abstractions for Smart Contract Validation.
MODELS
Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel
2025 J jnl
Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023).
Sci. Comput. Program.
Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel
2025 J jnl
Relevance of Log Mining and Analytics Papers to IEEE Transactions on Software Engineering.
IEEE Trans. Software Eng.
Massimiliano Di Penta, Domenico Bianculli, Michael R. Lyu, Sebastián Uchitel, Andy Zaidman
2025 J jnl
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control.
CoRR
Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel
2025 — conf
Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control.
CAV (4)
Hernán Gagliardi, Víctor A. Braberman, Sebastián Uchitel
2025 J jnl
State of the Journal.
IEEE Trans. Software Eng.
Sebastián Uchitel
2025 A* conf
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts.
ICSE
Francisco Cirelli, Dalal Alrajeh, Sebastián Uchitel
2024 J jnl
Abstraction-Aware Inference of Metamorphic Relations.
Proc. ACM Softw. Eng.
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
2024 J jnl
Distinguished Reviewers 2023.
IEEE Trans. Software Eng.
Sebastián Uchitel
2024 J jnl
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024 — conf
Verification of Programs with Common Fragments.
SIGSOFT FSE Companion
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2024 J jnl
Welcome.
Commun. ACM
Fabio Kon, Barbara Poblete, Sebastián Uchitel
2023 A conf
Adapting Specifications for Reactive Controllers.
SEAMS
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
2023 J jnl
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations.
Robotics Auton. Syst.
Ezequiel Pecker-Marcosig, Sebastián Zudaire, Rodrigo D. Castro, Sebastián Uchitel
2023 A* conf
Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach.
ICAPS
Tomás Delgado, Marco Sánchez Sorondo, Víctor A. Braberman, Sebastián Uchitel
2023 B ed.
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
FASE
Leen Lambers, Sebastián Uchitel
2023 J jnl
On-the-fly informed search of non-blocking directed controllers.
Autom.
Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2022 — conf
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
ISoLA (1)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2022 J jnl
Assured automatic dynamic reconfiguration of business processes.
Inf. Syst.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2022 J jnl
Control and Discovery of Environment Behaviour.
IEEE Trans. Software Eng.
Maureen Keegan, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2022 J jnl
Dynamic Slicing by On-demand Re-execution.
CoRR
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2022 J jnl
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model.
CoRR
Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel
2022 A conf
Predicate abstractions for smart contract validation.
MoDELS
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
2022 J jnl
Scaling Directed Controller Synthesis via Reinforcement Learning.
CoRR
Tomás Delgado, Víctor A. Braberman, Sebastián Uchitel
2021 A* conf
Adaptation
ASE
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
2021 A* conf
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
ICRA
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2021 J jnl
Assured Mission Adaptation of UAVs.
CoRR
Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel
2021 J jnl
Assured Mission Adaptation of UAVs.
ACM Trans. Auton. Adapt. Syst.
Sebastián A. Zudaire, Leandro Nahabedian, Sebastián Uchitel
2021 J jnl
Enabledness-based Testing of Object Protocols.
ACM Trans. Softw. Eng. Methodol.
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
2021 C conf
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
ACC
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020 J jnl
Compositional Supervisory Control via Reactive Synthesis and Automated Planning.
IEEE Trans. Autom. Control.
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
2020 J jnl
Dynamic Update of Discrete Event Controllers.
IEEE Trans. Software Eng.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2020 A* conf
Iterator-Based Temporal Logic Task Planning.
ICRA
Sebastián A. Zudaire, Martín Garrett, Sebastián Uchitel
2020 J jnl
Iterator-Based Temporal Logic Task Planning.
CoRR
Sebastián Zudaire, Martín Garrett, Sebastián Uchitel
2020 J jnl
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
CoRR
Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2020 Misc conf
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems.
WSC
Ezequiel Pecker-Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo D. Castro
2019 A conf
Dynamic Reconfiguration of Business Processes.
BPM
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2019 — conf
Minimising Makespan of Discrete Controllers: A Qualitative Approach.
CDC
Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
2019 — conf
Simulator-based diff-time performance testing.
ICSE (NIER)
Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2018 — conf
Testing and validating end user programmed calculated fields.
ESEC/SIGSOFT FSE
Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez
2017 J jnl
Interaction Models and Automated Control under Partial Observable Environments.
IEEE Trans. Software Eng.
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel
2017 A* conf
Model checker execution reports.
ASE
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2017 A* ed.
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
ICSE
Sebastián Uchitel, Alessandro Orso, Martin P. Robillard
2017 — ed.
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume
ICSE (Companion Volume)
Sebastián Uchitel, Alessandro Orso, Martin P. Robillard
2017 — conf
Runtime Controller Synthesis for Self-Adaptation: Discretion Required.
ISEC
Sebastián Uchitel
2017 J jnl
Using contexts to extract models from code.
Softw. Syst. Model.
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2017 J jnl
Verification Coverage.
CoRR
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2016 — conf
2½-player generalized reactivity (1) games.
CDC
Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016 — conf
Assured and correct dynamic update of controllers.
SEAMS@ICSE
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2016 J jnl
Behaviour abstraction adequacy criteria for API call protocol testing.
Softw. Test. Verification Reliab.
Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
2016 — conf
Business process adaptation using discrete event controller synthesis.
ForMABS@ASE
Sebastián Uchitel
2016 — conf
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
CDC
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2016 J jnl
Less is More: Estimating Probabilistic Rewards over Partial System Explorations.
ACM Trans. Softw. Eng. Methodol.
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2016 — conf
Logic-based learning in software engineering.
ICSE (Companion Volume)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2016 J jnl
Model Checker Execution Reports.
CoRR
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2016 B conf
Observational Refinement and Merge for Disjunctive MTSs.
ATVA
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
2016 J jnl
Probabilistic Interface Automata.
IEEE Trans. Software Eng.
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2016 — conf
Reusable self-adaptation through bidirectional programming.
SEAMS@ICSE
Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
2016 A* conf
Risk-driven revision of requirements models.
ICSE
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2016 — conf
Runtime controller synthesis for self-adaptation: be discrete!
SEAMS@ICSE
Sebastián Uchitel, Víctor A. Braberman, Nicolás D'Ippolito
2016 J jnl
Technical Report: Directed Controller Synthesis of Discrete Event Systems.
CoRR
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel
2015 J jnl
Automated support for diagnosis and repair.
Commun. ACM
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015 J jnl
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
CoRR
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 — conf
MORPH: a reference architecture for configuration and behaviour self-adaptation.
CTSE@SIGSOFT FSE
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 J jnl
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017.
ACM SIGSOFT Softw. Eng. Notes
Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel
2015 — conf
Robust degradation and enhancement of robot mission behaviour in unpredictable environments.
CTSE@SIGSOFT FSE
Nicolás D'Ippolito, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
2014 A* conf
Automated goal operationalisation based on interpolation and SAT solving.
ICSE
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
2014 — conf
Controllability in Partial and Uncertain Environments.
ACSD
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2014 A* conf
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
ICSE
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
2014 B conf
Revisiting Compatibility of Input-Output Modal Transition Systems.
FM
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel
2013 — conf
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Software Engineering for Self-Adaptive Systems
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2013 A* conf
Automated reliability estimation over partial systematic explorations.
ICSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2013 A conf
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria.
ICST
Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
2013 A* conf
Controller synthesis: from modelling to enactment.
ICSE
Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel
2013 J jnl
Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2013 J jnl
Enabledness-based program abstractions for behavior validation.
ACM Trans. Softw. Eng. Methodol.
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2013 B conf
Merging Partial Behaviour Models with Different Vocabularies.
CONCUR
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
2013 J jnl
Reasoning about Triggered Scenarios in Logic Programming.
Theory Pract. Log. Program.
Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
2013 J jnl
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev.
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
2013 J jnl
Synthesizing Modal Transition Systems from Triggered Scenarios.
IEEE Trans. Software Eng.
German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer
2013 J jnl
Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol.
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012 — conf
Abstractions for Validation in Action.
SFM
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012 J jnl
Automated Abstractions for Contract Validation.
IEEE Trans. Software Eng.
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2012 B conf
Distribution of Modal Transition Systems.
FM
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
2012 A* conf
Generating obstacle conditions for requirements completeness.
ICSE
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
2012 B conf
Learning from Vacuously Satisfiable Scenario-Based Specifications.
FASE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2012 B conf
The Modal Transition System Control Problem.
FM
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2012 J jnl
Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol.
Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
2011 — conf
An Inductive Approach for Modal Transition System Refinement.
ICLP (Technical Communications)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2011 — conf
CSSL: a logic for specifying conditional scenarios.
SIGSOFT FSE
Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel
2011 — conf
Contractor.NET: inferring typestate properties to enrich code contracts.
TOPI@ICSE
Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel
2011 J jnl
Exploring inconsistencies between modal transition systems.
Softw. Syst. Model.
Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
2011 B conf
Integrating Model Checking and Inductive Logic Programming.
ILP
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2011 A* conf
Program abstractions for behaviour validation.
ICSE
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2011 — ch.
Runtime Support for Dynamic and Adaptive Service Composition.
Results of the SENSORIA Project
Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel
2011 — ch.
Specification and Analysis of Dynamically-Reconfigurable Service Architectures.
Results of the SENSORIA Project
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2011 A* conf
Synthesis of live behaviour models for fallible domains.
ICSE
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2010 J jnl
An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Serv. Comput.
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2010 J jnl
Deriving non-Zeno behaviour models from goal models using ILP.
Formal Aspects Comput.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2010 — conf
My model checker died!: how well did it do?
QUOVADIS@ICSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2010 — conf
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.
CIbSE
Sebastián Uchitel
2010 — ed.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
ICSE (1)
Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
2010 — ed.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
ICSE (2)
Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
2010 — conf
Synthesis of live behaviour models.
SIGSOFT FSE
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
2009 C conf
A Sound Observational Semantics for Modal Transition Systems.
ICTAC
Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel
2009 — conf
Engage: Engineering Service Modes with WS-Engineer and Dino.
ICSOC/ServiceWave
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2009 J jnl
Guest editorial.
J. Syst. Softw.
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2009 A* conf
Learning operational requirements from goal models.
ICSE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2009 — conf
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.
SBMF
Sebastián Uchitel
2009 — conf
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.
ESEC/SIGSOFT FSE
Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
2009 J jnl
Synthesis of Partial Behavior Models from Properties and Scenarios.
IEEE Trans. Software Eng.
Sebastián Uchitel, Greg Brunet, Marsha Chechik
2009 — conf
Towards accurate probabilistic models using state refinement.
ESEC/SIGSOFT FSE
Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça
2009 J jnl
Using abduction and induction for operational requirements elaboration.
J. Appl. Log.
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2009 A* conf
Validation of contracts using enabledness preserving finite state abstractions.
ICSE
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
2008 A conf
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.
ICSOC
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2008 B conf
Deriving Non-zeno Behavior Models from Goal Models Using ILP.
FASE
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
2008 J jnl
Deriving event-based transition systems from goal-oriented requirements models.
Autom. Softw. Eng.
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2008 A* conf
Existential live sequence charts revisited.
ICSE
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman
2008 J jnl
Guest Editors' Introduction.
Autom. Softw. Eng.
Sebastián Uchitel, Steve M. Easterbrook
2008 — conf
Leveraging Modes and UML2 for Service Brokering Specifications.
MDWE@MoDELS
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2008 A* conf
MTSA: The Modal Transition System Analyser.
ASE
Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
2008 — conf
On correct and complete strong merging of partial behaviour models.
SIGSOFT FSE
Dario Fischbein, Sebastián Uchitel
2008 B conf
Towards Faithful Model Extraction Based on Contexts.
FASE
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2008 — conf
Towards compositional synthesis of evolving systems.
SIGSOFT FSE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
2007 A* conf
Behaviour Model Synthesis from Properties and Scenarios.
ICSE
Sebastián Uchitel, Greg Brunet, Marsha Chechik
2007 — conf
Detecting Implied Scenarios from Execution Traces.
WCRE
Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer
2007 — conf
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.
ETX
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel
2007 — conf
Model checking service compositions under resource constraints.
ESEC/SIGSOFT FSE
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
2007 — ed.
Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007
WOSP
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2007 — conf
Towards Self-management in Service-Oriented Computing with Modes.
ICSOC Workshops
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2007 — ch.
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Test and Analysis of Web Services
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 — conf
A foundation for behavioural conformance in software product line architectures.
ROSATEA
Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman
2006 B conf
Extracting Requirements from Scenarios with ILP.
ILP
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
2006 J jnl
Goal and scenario validation: a fluent combination.
Requir. Eng.
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2006 — conf
Inferring operational requirements from scenarios and goal models using inductive learning.
SCESM
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
2006 A* conf
LTSA-WS: a tool for model-based verification of web service compositions and choreography.
ICSE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 A conf
Model Extraction Using Context Information.
MoDELS
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2006 — conf
Model-Based Analysis of Obligations in Web Service Choreography.
AICT/ICIW
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 — conf
Modes for Software Architectures.
EWSA
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2006 — conf
Partial Behavioural Models for Requirements and Early Design.
MMOSS
Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel
2006 B conf
Properties of Behavioural Model Merging.
FM
Greg Brunet, Marsha Chechik, Sebastián Uchitel
2005 — conf
Fluent temporal logic for discrete-time event-based models.
ESEC/SIGSOFT FSE
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005 A* conf
Fluent-based web animation: exploring goals for requirements validation.
ICSE
Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2005 J jnl
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng.
Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
2005 A* conf
Introduction to doctoral symposium.
ASE
Steve M. Easterbrook, Sebastián Uchitel
2005 — conf
Leveraging Eclipse for integrated model-based engineering of web service compositions.
eTX
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 A* conf
Monitoring and control in scenario-based requirements analysis.
ICSE
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005 A conf
Reliability Prediction in Model-Driven Development.
MoDELS
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
2005 — conf
Sensitivity analysis for a scenario-based reliability prediction model.
WADS@ICSE
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
2005 J jnl
Sensitivity analysis for a scenario-based reliability prediction model.
ACM SIGSOFT Softw. Eng. Notes
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
2005 A conf
Tool Support for Model-Based Engineering of Web Service Compositions.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 B conf
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.
FASE
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
2005 — conf
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
IEEE SCC
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
2004 A conf
Compatibility Verification for Web Service Choreography.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2004 A conf
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.
RE
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2004 J jnl
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.
ACM Trans. Softw. Eng. Methodol.
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2004 — conf
Merging partial behavioural models.
SIGSOFT FSE
Sebastián Uchitel, Marsha Chechik
2004 B conf
Predictable Dynamic Plugin Systems.
FASE
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2004 — conf
System architecture: the context for scenario-based model synthesis.
SIGSOFT FSE
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003 J jnl
A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Softw. Eng. Notes
Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf
2003 — conf
Behaviour model elaboration using partial labelled transition systems.
ESEC / SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003 — —
Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios.
Sebastián Uchitel
2003 A conf
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
TACAS
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003 — conf
Model-based Simulation of Web Applications for Usability Assessment.
ICSE Workshop on SE-HCI
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003 A* conf
Model-based Verification of Web Service Compositions.
ASE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2003 A* conf
Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.
ICSE
Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf
2003 — conf
Software Architecture Modeling & Analysis: A Rigorous Approach.
SFM
Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003 J jnl
Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng.
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003 — conf
Visual methods for web application design.
HCC
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2002 — conf
Implied Scenario Detection in the Presence of Behaviour Constraints.
VISS@ETAPS
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002 — conf
Negative scenarios for implied scenario elicitation.
SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002 A* conf
Scenarios and state machines: models, algorithms, and tools.
ICSE
Sebastián Uchitel, Tarja Systä, Albert Zündorf
2001 A* conf
A Workbench for Synthesising Behaviour Models from Scenarios.
ICSE
Sebastián Uchitel, Jeff Kramer
2001 — conf
Detecting implied scenarios in message sequence chart specifications.
ESEC / SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2001 B conf
Proving Deadlock Freedom in Component-Based Programming.
FASE
Paola Inverardi, Sebastián Uchitel
2000 — conf
Enhancing Architectural Mismatch Detection with Assumptions.
ECBS
Sebastián Uchitel, Daniel Yankelevich
1999 C conf
Towards a Periodic Table of Connectors.
COORDINATION
Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich