![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sebastián Uchitel
Person information
- affiliation: Universidad de Buenos Aires, Argentina
- affiliation: Imperial College of London, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j40]Fabio Kon, Barbara Poblete, Sebastián Uchitel:
Welcome. Commun. ACM 67(8): 36-37 (2024) - [j39]Agustín Nolasco
, Facundo Molina
, Renzo Degiovanni
, Alessandra Gorla
, Diego Garbervetsky
, Mike Papadakis
, Sebastián Uchitel
, Nazareno Aguirre
, Marcelo F. Frias
:
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1(FSE): 450-472 (2024) - [j38]Sebastián Uchitel
:
Distinguished Reviewers 2023. IEEE Trans. Software Eng. 50(3): 359 (2024) - [c108]Ivan Postolski
, Víctor A. Braberman
, Diego Garbervetsky
, Sebastián Uchitel
:
Verification of Programs with Common Fragments. SIGSOFT FSE Companion 2024: 487-491 - 2023
- [j37]Daniel Ciolek, Matias Duran
, Florencia Zanollo, Nicolas Pazos, Julián Braier, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel:
On-the-fly informed search of non-blocking directed controllers. Autom. 147: 110731 (2023) - [j36]Ezequiel Pecker Marcosig
, Sebastián Zudaire, Rodrigo D. Castro, Sebastián Uchitel:
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations. Robotics Auton. Syst. 164: 104404 (2023) - [c107]Tomás Delgado, Marco Sánchez Sorondo, Víctor A. Braberman, Sebastián Uchitel:
Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. ICAPS 2023: 569-577 - [c106]Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel:
Adapting Specifications for Reactive Controllers. SEAMS 2023: 1-12 - [e6]Leen Lambers
, Sebastián Uchitel
:
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. Lecture Notes in Computer Science 13991, Springer 2023, ISBN 978-3-031-30825-3 [contents] - 2022
- [j35]Leandro Nahabedian
, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104: 101850 (2022) - [j34]Maureen Keegan
, Víctor A. Braberman, Nicolás D'Ippolito
, Nir Piterman, Sebastián Uchitel
:
Control and Discovery of Environment Behaviour. IEEE Trans. Software Eng. 48(6): 1965-1978 (2022) - [c105]Felipe Gorostiaga
, Sebastián Zudaire, César Sánchez
, Gerardo Schneider
, Sebastián Uchitel
:
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) 2022: 397-414 - [c104]Javier Godoy
, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel:
Predicate abstractions for smart contract validation. MoDELS 2022: 289-299 - [i11]Tomás Delgado, Víctor A. Braberman, Sebastián Uchitel:
Scaling Directed Controller Synthesis via Reinforcement Learning. CoRR abs/2210.05393 (2022) - [i10]Alexis Soifer, Diego Garbervetsky, Víctor A. Braberman, Sebastián Uchitel:
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model. CoRR abs/2211.04560 (2022) - [i9]Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Dynamic Slicing by On-demand Re-execution. CoRR abs/2211.04683 (2022) - 2021
- [j33]Sebastián A. Zudaire, Leandro Nahabedian
, Sebastián Uchitel:
Assured Mission Adaptation of UAVs. ACM Trans. Auton. Adapt. Syst. 16(3-4): 1-27 (2021) - [j32]Javier Godoy
, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel:
Enabledness-based Testing of Object Protocols. ACM Trans. Softw. Eng. Methodol. 30(2): 12:1-12:36 (2021) - [c103]Yehia Abd Alrahman
, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. ACC 2021: 4892-4899 - [c102]Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA 2021: 6824-6830 - [c101]Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel:
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems. ASE 2021: 1347-1352 - [i8]Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel:
Assured Mission Adaptation of UAVs. CoRR abs/2107.10173 (2021) - 2020
- [j31]Daniel Alfredo Ciolek
, Víctor A. Braberman
, Nicolás D'Ippolito
, Sebastian Sardiña
, Sebastián Uchitel
:
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65(8): 3502-3516 (2020) - [j30]Leandro Nahabedian
, Víctor A. Braberman
, Nicolás D'Ippolito
, Shinichi Honiden
, Jeff Kramer
, Kenji Tei
, Sebastián Uchitel:
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46(11): 1220-1240 (2020) - [c100]Sebastián A. Zudaire, Martín Garrett, Sebastián Uchitel:
Iterator-Based Temporal Logic Task Planning. ICRA 2020: 11472-11478 - [c99]Ezequiel Pecker Marcosig
, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo D. Castro:
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. WSC 2020: 1051-1062 - [i7]Sebastián Zudaire, Martín Garrett, Sebastián Uchitel:
Iterator-Based Temporal Logic Task Planning. CoRR abs/2001.07678 (2020) - [i6]Yehia Abd Alrahman, Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Sebastián Uchitel:
Synthesis of Run-To-Completion Controllers for Discrete Event Systems. CoRR abs/2009.05554 (2020)
2010 – 2019
- 2019
- [c98]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Dynamic Reconfiguration of Business Processes. BPM 2019: 35-51 - [c97]Ezequiel Castellano, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei:
Minimising Makespan of Discrete Controllers: A Qualitative Approach. CDC 2019: 1068-1075 - [c96]Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Simulator-based diff-time performance testing. ICSE (NIER) 2019: 81-84 - 2018
- [c95]Víctor A. Braberman, Diego Garbervetsky, Javier Godoy
, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez
:
Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE 2018: 827-832 - 2017
- [j29]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
:
Using contexts to extract models from code. Softw. Syst. Model. 16(2): 523-557 (2017) - [j28]Daniel Alfredo Ciolek
, Víctor A. Braberman, Nicolás D'Ippolito
, Nir Piterman
, Sebastián Uchitel
:
Interaction Models and Automated Control under Partial Observable Environments. IEEE Trans. Software Eng. 43(1): 19-33 (2017) - [c94]Sebastián Uchitel:
Runtime Controller Synthesis for Self-Adaptation: Discretion Required. ISEC 2017: 1 - [c93]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel:
Model checker execution reports. ASE 2017: 200-205 - [e5]Sebastián Uchitel, Alessandro Orso, Martin P. Robillard:
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. IEEE / ACM 2017, ISBN 978-1-5386-3868-2 [contents] - [e4]Sebastián Uchitel, Alessandro Orso, Martin P. Robillard:
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. IEEE Computer Society 2017, ISBN 978-1-5386-1589-8 [contents] - [i5]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Verification Coverage. CoRR abs/1706.03796 (2017) - 2016
- [j27]Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
:
Behaviour abstraction adequacy criteria for API call protocol testing. Softw. Test. Verification Reliab. 26(3): 211-244 (2016) - [j26]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
:
Less is More: Estimating Probabilistic Rewards over Partial System Explorations. ACM Trans. Softw. Eng. Methodol. 25(2): 16:1-16:47 (2016) - [j25]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
:
Probabilistic Interface Automata. IEEE Trans. Software Eng. 42(9): 843-865 (2016) - [c92]Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
:
Observational Refinement and Merge for Disjunctive MTSs. ATVA 2016: 287-303 - [c91]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito
, Sebastián Uchitel
:
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. CDC 2016: 4764-4769 - [c90]Natalia Rodríguez, Víctor A. Braberman, Nicolás D'Ippolito
, Sebastián Uchitel
:
2½-player generalized reactivity (1) games. CDC 2016: 6996-7001 - [c89]Sebastián Uchitel
, Víctor A. Braberman, Nicolás D'Ippolito
:
Runtime controller synthesis for self-adaptation: be discrete! SEAMS@ICSE 2016: 1-3 - [c88]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
:
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c87]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito
, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
:
Assured and correct dynamic update of controllers. SEAMS@ICSE 2016: 96-107 - [c86]Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Risk-driven revision of requirements models. ICSE 2016: 855-865 - [c85]Dalal Alrajeh, Alessandra Russo
, Sebastián Uchitel
, Jeff Kramer:
Logic-based learning in software engineering. ICSE (Companion Volume) 2016: 892-893 - [c84]Sebastián Uchitel:
Business process adaptation using discrete event controller synthesis. ForMABS@ASE 2016: 3 - [i4]Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito
, Sebastián Uchitel:
Technical Report: Directed Controller Synthesis of Discrete Event Systems. CoRR abs/1605.09772 (2016) - [i3]Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Model Checker Execution Reports. CoRR abs/1607.06857 (2016) - 2015
- [j24]Dalal Alrajeh, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Automated support for diagnosis and repair. Commun. ACM 58(2): 65-72 (2015) - [j23]Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro
, Sebastián Uchitel:
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. ACM SIGSOFT Softw. Eng. Notes 40(3): 38 (2015) - [c83]Víctor A. Braberman, Nicolás D'Ippolito
, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
:
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE 2015: 9-16 - [c82]Nicolás D'Ippolito
, Víctor A. Braberman, Daniel Sykes, Sebastián Uchitel
:
Robust degradation and enhancement of robot mission behaviour in unpredictable environments. CTSE@SIGSOFT FSE 2015: 26-33 - [i2]Víctor A. Braberman, Nicolás D'Ippolito
, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR abs/1504.08339 (2015) - 2014
- [c81]Nicolás D'Ippolito
, Víctor A. Braberman, Nir Piterman
, Sebastián Uchitel
:
Controllability in Partial and Uncertain Environments. ACSD 2014: 52-61 - [c80]Ivo Krka, Nicolás D'Ippolito
, Nenad Medvidovic, Sebastián Uchitel
:
Revisiting Compatibility of Input-Output Modal Transition Systems. FM 2014: 367-381 - [c79]Renzo Degiovanni
, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
:
Automated goal operationalisation based on interpolation and SAT solving. ICSE 2014: 129-139 - [c78]Nicolás D'Ippolito
, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
:
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE 2014: 688-699 - 2013
- [j22]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:
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4): 279-293 (2013) - [j21]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:1-9:36 (2013) - [j20]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel
:
Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22(3): 25:1-25:46 (2013) - [j19]Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel:
Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (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) - [j17]German E. Sibay, Víctor A. Braberman, Sebastián Uchitel
, Jeff Kramer:
Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. 39(7): 975-1001 (2013) - [c77]Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
:
Merging Partial Behaviour Models with Different Vocabularies. CONCUR 2013: 91-105 - [c76]Víctor A. Braberman, Nicolás D'Ippolito
, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems 2013: 377-408 - [c75]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
:
Automated reliability estimation over partial systematic explorations. ICSE 2013: 602-611 - [c74]Víctor A. Braberman, Nicolás D'Ippolito
, Nir Piterman
, Daniel Sykes, Sebastián Uchitel:
Controller synthesis: from modelling to enactment. ICSE 2013: 1347-1350 - [c73]Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel
:
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. ICST 2013: 222-231 - 2012
- [j16]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:1-9:47 (2012) - [j15]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) - [c72]Dalal Alrajeh, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393 - [c71]Nicolás D'Ippolito
, Víctor A. Braberman, Nir Piterman
, Sebastián Uchitel
:
The Modal Transition System Control Problem. FM 2012: 155-170 - [c70]German E. Sibay, Sebastián Uchitel
, Víctor A. Braberman, Jeff Kramer:
Distribution of Modal Transition Systems. FM 2012: 403-417 - [c69]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo
, Sebastián Uchitel
:
Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715 - [c68]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel
:
Abstractions for Validation in Action. SFM 2012: 192-218 - 2011
- [j14]Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
:
Exploring inconsistencies between modal transition systems. Softw. Syst. Model. 10(1): 117-142 (2011) - [c67]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116 - [c66]Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky
, Sebastián Uchitel
:
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE 2011: 44-47 - [c65]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 - [c64]Guido de Caso, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel
:
Program abstractions for behaviour validation. ICSE 2011: 381-390 - [c63]Dalal Alrajeh, Alessandra Russo
, Sebastián Uchitel
, Jeff Kramer:
Integrating Model Checking and Inductive Logic Programming. ILP 2011: 45-60 - [c62]Shoham Ben-David, Marsha Chechik, Arie Gurfinkel
, Sebastián Uchitel
:
CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47 - [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 - 2010
- [j13]Dalal Alrajeh, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. 22(3-4): 217-241 (2010) - [j12]Howard Foster, Sebastián Uchitel
, Jeff Magee, Jeff Kramer:
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3(2): 131-144 (2010) - [c61]Sebastián Uchitel:
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. CIbSE 2010: 3-4 - [c60]Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
:
My model checker died!: how well did it do? QUOVADIS@ICSE 2010: 33-40 - [c59]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:
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 [contents] - [e2]Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel:
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 [contents]
2000 – 2009
- 2009
- [j11]Dalal Alrajeh, Oliver Ray, Alessandra Russo
, Sebastián Uchitel
:
Using abduction and induction for operational requirements elaboration. J. Appl. Log. 7(3): 275-288 (2009) - [j10]Vittorio Cortellessa, Sebastián Uchitel
, Daniel Yankelevich:
Guest editorial. J. Syst. Softw. 82(1): 1-2 (2009) - [j9]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) - [c58]Dalal Alrajeh, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
:
Learning operational requirements from goal models. ICSE 2009: 265-275 - [c57]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 - [c56]Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
:
Engage: Engineering Service Modes with WS-Engineer and Dino. ICSOC/ServiceWave 2009: 641-642 - [c55]Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel
:
A Sound Observational Semantics for Modal Transition Systems. ICTAC 2009: 215-230 - [c54]Sebastián Uchitel
:
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. SBMF 2009: 17-22 - [c53]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 - [c52]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
- [j8]Sebastián Uchitel
, Steve M. Easterbrook
:
Guest Editors' Introduction. Autom. Softw. Eng. 15(1): 1-2 (2008) - [j7]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) - [c51]Dalal Alrajeh, Alessandra Russo
, Sebastián Uchitel
:
Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15 - [c50]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
:
Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115 - [c49]German E. Sibay, Sebastián Uchitel
, Víctor A. Braberman:
Existential live sequence charts revisited. ICSE 2008: 41-50 - [c48]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 - [c47]Nicolás D'Ippolito
, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
:
MTSA: The Modal Transition System Analyser. ASE 2008: 475-476 - [c46]Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS 2008 - [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 - [c39]Felipe Cantal de Sousa, Nabor C. Mendonça
, Sebastián Uchitel
, Jeff Kramer:
Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59 - [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 - [e1]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, ISBN 1-59593-297-6 [contents] - 2006
- [j6]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]Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Modes for Software Architectures. EWSA 2006: 113-126 - [c36]Greg Brunet, Marsha Chechik, Sebastián Uchitel:
Properties of Behavioural Model Merging. FM 2006: 98-114 - [c35]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 - [c34]Dalal Alrajeh, Oliver Ray, Alessandra Russo
, Sebastián Uchitel:
Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78 - [c33]Dario Fischbein, Sebastián Uchitel
, Víctor A. Braberman:
A foundation for behavioural conformance in software product line architectures. ROSATEA 2006: 39-48 - [c32]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Model Extraction Using Context Information. MoDELS 2006: 380-394 - [c31]Dalal Alrajeh, Alessandra Russo
, Sebastián Uchitel
:
Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36 - [i1]Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel:
Partial Behavioural Models for Requirements and Early Design. MMOSS 2006 - 2005
- [j5]Genaína Nunes Rodrigues
, David S. Rosenblum, Sebastián Uchitel
:
Sensitivity analysis for a scenario-based reliability prediction model. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j4]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) - [c30]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 - [c29]Howard Foster, Sebastián Uchitel
, Jeff Magee, Jeff Kramer:
Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX 2005: 95-99 - [c28]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 - [c27]Genaína Nunes Rodrigues
, David S. Rosenblum, Sebastián Uchitel:
Sensitivity analysis for a scenario-based reliability prediction model. WADS@ICSE 2005: 7:1-7:5 - [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]Steve M. Easterbrook, Sebastián Uchitel
:
Introduction to doctoral symposium. ASE 2005: 435 - [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
- [j3]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]Howard Foster, Sebastián Uchitel
, Jeff Magee, Jeff Kramer:
Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741 - [c18]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 - [c17]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42 - [c16]Sebastián Uchitel, Marsha Chechik:
Merging partial behavioural models. SIGSOFT FSE 2004: 43-52 - 2003
- [b1]Sebastián Uchitel:
Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios. Imperial College London, UK, 2003 - [j2]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 Softw. Eng. Notes 28(6): 9 (2003) - [j1]Sebastián Uchitel
, Jeff Kramer, Jeff Magee:
Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003) - [c15]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 - [c14]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 - [c13]Howard Foster, Sebastián Uchitel
, Jeff Magee, Jeff Kramer:
Model-based Verification of Web Service Compositions. ASE 2003: 152-163 - [c12]Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51 - [c11]Sebastián Uchitel
, Jeff Kramer, Jeff Magee:
Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27 - [c10]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601 - [c9]Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
:
Visual methods for web application design. HCC 2003: 242-244 - 2002
- [c8]Sebastián Uchitel, Tarja Systä, Albert Zündorf:
Scenarios and state machines: models, algorithms, and tools. ICSE 2002: 659-660 - [c7]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118 - [c6]Sebastián Uchitel
, Jeff Kramer, Jeff Magee:
Implied Scenario Detection in the Presence of Behaviour Constraints. VISS@ETAPS 2002: 65-84 - 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-
1990 – 1999
- 1999
- [c1]Dan Hirsch, Sebastián Uchitel
, Daniel Yankelevich:
Towards a Periodic Table of Connectors. COORDINATION 1999: 418
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint