Sebastián Uchitel

Orcid: 0000-0001-9352-1478

Affiliations:
  • Universidad de Buenos Aires, Argentina
  • Imperial College of London, UK


According to our database1, Sebastián Uchitel authored at least 152 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations.
Robotics Auton. Syst., June, 2023

On-the-fly informed search of non-blocking directed controllers.
Autom., 2023

Adapting Specifications for Reactive Controllers.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Control and Discovery of Environment Behaviour.
IEEE Trans. Software Eng., 2022

Assured automatic dynamic reconfiguration of business processes.
Inf. Syst., 2022

Dynamic Slicing by On-demand Re-execution.
CoRR, 2022

Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model.
CoRR, 2022

Scaling Directed Controller Synthesis via Reinforcement Learning.
CoRR, 2022

Predicate abstractions for smart contract validation.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021
Assured Mission Adaptation of UAVs.
ACM Trans. Auton. Adapt. Syst., December, 2021

Enabledness-based Testing of Object Protocols.
ACM Trans. Softw. Eng. Methodol., 2021

Adaptation<sup>2</sup>: Adapting Specification Learners in Assured Adaptive Systems.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Synthesis of Run-To-Completion Controllers for Discrete Event Systems.
Proceedings of the 2021 American Control Conference, 2021

2020
Dynamic Update of Discrete Event Controllers.
IEEE Trans. Software Eng., 2020

Compositional Supervisory Control via Reactive Synthesis and Automated Planning.
IEEE Trans. Autom. Control., 2020

Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems.
Proceedings of the Winter Simulation Conference, 2020

Iterator-Based Temporal Logic Task Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019
Simulator-based diff-time performance testing.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Minimising Makespan of Discrete Controllers: A Qualitative Approach.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Dynamic Reconfiguration of Business Processes.
Proceedings of the Business Process Management - 17th International Conference, 2019

2018
Testing and validating end user programmed calculated fields.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017
Interaction Models and Automated Control under Partial Observable Environments.
IEEE Trans. Software Eng., 2017

Using contexts to extract models from code.
Softw. Syst. Model., 2017

Verification Coverage.
CoRR, 2017

Model checker execution reports.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Runtime Controller Synthesis for Self-Adaptation: Discretion Required.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

2016
Probabilistic Interface Automata.
IEEE Trans. Software Eng., 2016

Less is More: Estimating Probabilistic Rewards over Partial System Explorations.
ACM Trans. Softw. Eng. Methodol., 2016

Behaviour abstraction adequacy criteria for API call protocol testing.
Softw. Test. Verification Reliab., 2016

Technical Report: Directed Controller Synthesis of Discrete Event Systems.
CoRR, 2016

Business process adaptation using discrete event controller synthesis.
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, 2016

Runtime controller synthesis for self-adaptation: be discrete!
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Assured and correct dynamic update of controllers.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Reusable self-adaptation through bidirectional programming.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Logic-based learning in software engineering.
Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.
Proceedings of the 38th International Conference on Software Engineering, 2016

2½-player generalized reactivity (1) games.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Observational Refinement and Merge for Disjunctive MTSs.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017.
ACM SIGSOFT Softw. Eng. Notes, 2015

Automated support for diagnosis and repair.
Commun. ACM, 2015

Robust degradation and enhancement of robot mission behaviour in unpredictable environments.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

MORPH: a reference architecture for configuration and behaviour self-adaptation.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

2014
Automated goal operationalisation based on interpolation and SAT solving.
Proceedings of the 36th International Conference on Software Engineering, 2014

Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

Revisiting Compatibility of Input-Output Modal Transition Systems.
Proceedings of the FM 2014: Formal Methods, 2014

Controllability in Partial and Uncertain Environments.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Synthesizing Modal Transition Systems from Triggered Scenarios.
IEEE Trans. Software Eng., 2013

Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng., 2013

Reasoning about Triggered Scenarios in Logic Programming.
Theory Pract. Log. Program., 2013

Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol., 2013

Enabledness-based program abstractions for behavior validation.
ACM Trans. Softw. Eng. Methodol., 2013

Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev., 2013

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automated reliability estimation over partial systematic explorations.
Proceedings of the 35th International Conference on Software Engineering, 2013

Controller synthesis: from modelling to enactment.
Proceedings of the 35th International Conference on Software Engineering, 2013

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Merging Partial Behaviour Models with Different Vocabularies.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Automated Abstractions for Contract Validation.
IEEE Trans. Software Eng., 2012

Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol., 2012

Abstractions for Validation in Action.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Generating obstacle conditions for requirements completeness.
Proceedings of the 34th International Conference on Software Engineering, 2012

Distribution of Modal Transition Systems.
Proceedings of the FM 2012: Formal Methods, 2012

The Modal Transition System Control Problem.
Proceedings of the FM 2012: Formal Methods, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Exploring inconsistencies between modal transition systems.
Softw. Syst. Model., 2011

CSSL: a logic for specifying conditional scenarios.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Integrating Model Checking and Inductive Logic Programming.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Contractor.NET: inferring typestate properties to enrich code contracts.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Synthesis of live behaviour models for fallible domains.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Program abstractions for behaviour validation.
Proceedings of the 33rd International Conference on Software Engineering, 2011

An Inductive Approach for Modal Transition System Refinement.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Runtime Support for Dynamic and Adaptive Service Composition.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Specification and Analysis of Dynamically-Reconfigurable Service Architectures.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Serv. Comput., 2010

Deriving non-Zeno behaviour models from goal models using ILP.
Formal Aspects Comput., 2010

Synthesis of live behaviour models.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009
Synthesis of Partial Behavior Models from Properties and Scenarios.
IEEE Trans. Software Eng., 2009

Guest editorial.
J. Syst. Softw., 2009

Using abduction and induction for operational requirements elaboration.
J. Appl. Log., 2009

Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Towards accurate probabilistic models using state refinement.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Sound Observational Semantics for Modal Transition Systems.
Proceedings of the Theoretical Aspects of Computing, 2009

Engage: Engineering Service Modes with WS-Engineer and Dino.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Validation of contracts using enabledness preserving finite state abstractions.
Proceedings of the 31st International Conference on Software Engineering, 2009

Learning operational requirements from goal models.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Guest Editors' Introduction.
Autom. Softw. Eng., 2008

Deriving event-based transition systems from goal-oriented requirements models.
Autom. Softw. Eng., 2008

Towards compositional synthesis of evolving systems.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

On correct and complete strong merging of partial behaviour models.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Leveraging Modes and UML2 for Service Brokering Specifications.
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

MTSA: The Modal Transition System Analyser.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.
Proceedings of the Service-Oriented Computing, 2008

Existential live sequence charts revisited.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Towards Faithful Model Extraction Based on Contexts.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Deriving Non-zeno Behavior Models from Goal Models Using ILP.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Detecting Implied Scenarios from Execution Traces.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Proceedings of the Test and Analysis of Web Services, 2007

Model checking service compositions under resource constraints.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Towards Self-management in Service-Oriented Computing with Modes.
Proceedings of the Service-Oriented Computing, 2007

Behaviour Model Synthesis from Properties and Scenarios.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006
Goal and scenario validation: a fluent combination.
Requir. Eng., 2006

Inferring operational requirements from scenarios and goal models using inductive learning.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Model Extraction Using Context Information.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

A foundation for behavioural conformance in software product line architectures.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Extracting Requirements from Scenarios with ILP.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Properties of Behavioural Model Merging.
Proceedings of the FM 2006: Formal Methods, 2006

Modes for Software Architectures.
Proceedings of the Software Architecture, Third European Workshop, 2006

Partial Behavioural Models for Requirements and Early Design.
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Model-Based Analysis of Obligations in Web Service Choreography.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng., 2005

Sensitivity analysis for a scenario-based reliability prediction model.
ACM SIGSOFT Softw. Eng. Notes, 2005

Reliability Prediction in Model-Driven Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Fluent temporal logic for discrete-time event-based models.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Introduction to doctoral symposium.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Tool Support for Model-Based Engineering of Web Service Compositions.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Monitoring and control in scenario-based requirements analysis.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Fluent-based web animation: exploring goals for requirements validation.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.
ACM Trans. Softw. Eng. Methodol., 2004

System architecture: the context for scenario-based model synthesis.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Merging partial behavioural models.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Compatibility Verification for Web Service Choreography.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Predictable Dynamic Plugin Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003
Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios.
PhD thesis, 2003

Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng., 2003

A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Softw. Eng. Notes, 2003

Visual methods for web application design.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Behaviour model elaboration using partial labelled transition systems.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Software Architecture Modeling & Analysis: A Rigorous Approach.
Proceedings of the Formal Methods for Software Architectures, 2003

Model-based Verification of Web Service Compositions.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.
Proceedings of the 25th International Conference on Software Engineering, 2003

Model-based Simulation of Web Applications for Usability Assessment.
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

2002
Implied Scenario Detection in the Presence of Behaviour Constraints.
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

Negative scenarios for implied scenario elicitation.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Scenarios and state machines: models, algorithms, and tools.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Detecting implied scenarios in message sequence chart specifications.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

A Workbench for Synthesising Behaviour Models from Scenarios.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Proving Deadlock Freedom in Component-Based Programming.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Enhancing Architectural Mismatch Detection with Assumptions.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
Towards a Periodic Table of Connectors.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999


  Loading...