default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastián Uchitel
Person information
- affiliation: Universidad de Buenos Aires, Argentina
- affiliation: Imperial College of London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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]