Sebastin Uchitel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
66
Venues
22
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
66 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions. | Juan Felipe Perdomo, Vctor A. Braberman, Sebastin Uchitel, Sebastin Zudaire |
| 2025 | CAV | Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. | Hernn Gagliardi, Vctor A. Braberman, Sebastin Uchitel |
| 2025 | ICSE | Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts. | Francisco Cirelli, Dalal Alrajeh, Sebastin Uchitel |
| 2025 | MODELS | Modal Abstractions for Smart Contract Validation. | Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel |
| 2023 | SEAMS | Adapting Specifications for Reactive Controllers. | Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastin Uchitel |
| 2022 | ISoLA | Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. | Felipe Gorostiaga, Sebastin Zudaire, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2022 | MODELS | Predicate abstractions for smart contract validation. | Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastin Uchitel |
| 2021 | ICRA | Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. | Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2020 | ICRA | Iterator-Based Temporal Logic Task Planning. | Sebastin A. Zudaire, Martn Garrett, Sebastin Uchitel |
| 2020 | WSC | Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. | Ezequiel Pecker-Marcosig, Sebastin Zudaire, Martn Garrett, Sebastin Uchitel, Rodrigo D. Castro |
| 2019 | BPM | Dynamic Reconfiguration of Business Processes. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Jeff Kramer, Sebastin Uchitel |
| 2019 | ICSE | Simulator-based diff-time performance testing. | Ivan Postolski, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2016 | ATVA | Observational Refinement and Merge for Disjunctive MTSs. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2016 | ICSE | Risk-driven revision of requirements models. | Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2016 | ICSE | Logic-based learning in software engineering. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2016 | ICSE | Reusable self-adaptation through bidirectional programming. | Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastin Uchitel, Pierre-Yves Schobbens |
| 2016 | ICSE | Assured and correct dynamic update of controllers. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastin Uchitel |
| 2016 | ICSE | Runtime controller synthesis for self-adaptation: be discrete! | Sebastin Uchitel, Vctor A. Braberman, Nicols D'Ippolito |
| 2014 | FM | Revisiting Compatibility of Input-Output Modal Transition Systems. | Ivo Krka, Nicols D'Ippolito, Nenad Medvidovic, Sebastin Uchitel |
| 2014 | ICSE | Automated goal operationalisation based on interpolation and SAT solving. | Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastin Uchitel |
| 2014 | ICSE | Hope for the best, prepare for the worst: multi-tier control for adaptive systems. | Nicols D'Ippolito, Vctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastin Uchitel |
| 2013 | CONCUR | Merging Partial Behaviour Models with Different Vocabularies. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2013 | ICSE | Controller synthesis: from modelling to enactment. | Vctor A. Braberman, Nicols D'Ippolito, Nir Piterman, Daniel Sykes, Sebastin Uchitel |
| 2013 | ICSE | Automated reliability estimation over partial systematic explorations. | Esteban Pavese, Vctor A. Braberman, Sebastin Uchitel |
| 2013 | ICST | Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. | Hernan Czemerinski, Vctor A. Braberman, Sebastin Uchitel |
| 2012 | FASE | Learning from Vacuously Satisfiable Scenario-Based Specifications. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2012 | FM | The Modal Transition System Control Problem. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2012 | FM | Distribution of Modal Transition Systems. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman, Jeff Kramer |
| 2012 | ICSE | Generating obstacle conditions for requirements completeness. | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastin Uchitel |
| 2011 | ICLP | An Inductive Approach for Modal Transition System Refinement. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2011 | ILP | Integrating Model Checking and Inductive Logic Programming. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2011 | ICSE | Program abstractions for behaviour validation. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2011 | ICSE | Synthesis of live behaviour models for fallible domains. | Nicols D'Ippolito, Vctor A. Braberman, Nir Piterman, Sebastin Uchitel |
| 2011 | ICSE | Contractor.NET: inferring typestate properties to enrich code contracts. | Edgardo Zoppi, Vctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastin Uchitel |
| 2010 | ICSE | My model checker died!: how well did it do? | Esteban Pavese, Vctor A. Braberman, Sebastin Uchitel |
| 2009 | ICSE | Learning operational requirements from goal models. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2009 | ICSE | Validation of contracts using enabledness preserving finite state abstractions. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2009 | ICSOC | Engage: Engineering Service Modes with WS-Engineer and Dino. | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastin Uchitel |
| 2009 | ICTAC | A Sound Observational Semantics for Modal Transition Systems. | Dario Fischbein, Vctor A. Braberman, Sebastin Uchitel |
| 2008 | FASE | Deriving Non-zeno Behavior Models from Goal Models Using ILP. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel |
| 2008 | FASE | Towards Faithful Model Extraction Based on Contexts. | Lucio Mauro Duarte, Jeff Kramer, Sebastin Uchitel |
| 2008 | ICSE | Existential live sequence charts revisited. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman |
| 2008 | ICSOC | A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastin Uchitel |
| 2008 | MODELS | Leveraging Modes and UML2 for Service Brokering Specifications. | Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2007 | ICSE | Behaviour Model Synthesis from Properties and Scenarios. | Sebastin Uchitel, Greg Brunet, Marsha Chechik |
| 2007 | ICSOC | Towards Self-management in Service-Oriented Computing with Modes. | Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2006 | FM | Properties of Behavioural Model Merging. | Greg Brunet, Marsha Chechik, Sebastin Uchitel |
| 2006 | ILP | Extracting Requirements from Scenarios with ILP. | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastin Uchitel |
| 2006 | ICSE | LTSA-WS: a tool for model-based verification of web service compositions and choreography. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2006 | ISSTA | A foundation for behavioural conformance in software product line architectures. | Dario Fischbein, Sebastin Uchitel, Vctor A. Braberman |
| 2006 | MODELS | Model Extraction Using Context Information. | Lucio Mauro Duarte, Jeff Kramer, Sebastin Uchitel |
| 2005 | FASE | Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. | Genana Nunes Rodrigues, David S. Rosenblum, Sebastin Uchitel |
| 2005 | ICSE | Fluent-based web animation: exploring goals for requirements validation. | Robert Chatley, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2005 | ICSE | Monitoring and control in scenario-based requirements analysis. | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2005 | ICSE | Sensitivity analysis for a scenario-based reliability prediction model. | Genana Nunes Rodrigues, David S. Rosenblum, Sebastin Uchitel |
| 2005 | ICWS | Tool Support for Model-Based Engineering of Web Service Compositions. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2004 | FASE | Predictable Dynamic Plugin Systems. | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2004 | ICWS | Compatibility Verification for Web Service Choreography. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2004 | RE | Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. | Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
| 2003 | ICSE | Model-based Simulation of Web Applications for Usability Assessment. | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2003 | ICSE | Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. | Alexander Egyed, Martin Glinz, Ingolf Krger, Tarja Syst, Sebastin Uchitel, Albert Zndorf |
| 2003 | TACAS | LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. | Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
| 2002 | ICSE | Scenarios and state machines: models, algorithms, and tools. | Sebastin Uchitel, Tarja Syst, Albert Zndorf |
| 2001 | FASE | Proving Deadlock Freedom in Component-Based Programming. | Paola Inverardi, Sebastin Uchitel |
| 2001 | ICSE | A Workbench for Synthesising Behaviour Models from Scenarios. | Sebastin Uchitel, Jeff Kramer |
| 1999 | Coordination | Towards a Periodic Table of Connectors. | Dan Hirsch, Sebastin Uchitel, Daniel Yankelevich |