Uchitel's publications at DC

Publications in 2015
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning" , ACM Journal of Educational Resources in Computing - 2015

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing (en prensa)" , SOFTWARE TESTING, VERIFICATION & RELIABILITY - 2015
 
Publications in 2014
1- Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel , "Automated goal operationalisation based on interpolation and sat solving" , ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering, page 129--139 - may 2014 Automated Goal Operationalisation.pdf

2- Nicolas D´Ippolito, Nir Piterman, Sebastian Uchitel , "Controllability in Partial and Uncertain Environments" , 2014 14th International Conference on Application of Concurrency to System Design - 2014 07016328 (1).pdf

3- Nicolas D´Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel , "Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" , ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, page 688--699 - 2014 hope for the best.pdf

4- Nenad Medvidovic, Ivo Krka, Nicolas D´Ippolito, Sebastian Uchitel , "Revisiting compatibility of input-output modal transition systems" , FM 2014 - Formal Methods, Lecture Notes in Computer Science, Volume accepted - 2014 Revisiting Compatibility of Input-Output.pdf
 
Publications in 2013
1- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Automated Reliability Estimation over Partial Systematic Exprorations" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 602--611 - 2013 Automated Reliability Estimation over Partial-icse2013.pdf

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" , 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013), page 222-231 - 2013 Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf

3- Víctor Braberman, Nicolas D´Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel , "Controller Synthesis: From Modelling to Enactment" , ICSE 13 Proceedings of the 2013 International Conference on Software Engineering, page 1347-1350 - 2013 Controller Synthesis From Modelling to Enactment.pdf

4- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Elaborating requirements using model checking and inductive learning" , IEEE Transactions on Software Engineering, Volume 39, Number 3, page 361-383 - 2013 Elaborating Requirements using Model.pdf

5- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Enabledness-based Program Abstractions for Behaviour Validation" , ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013 Enabledness-based Program Abstractions for Behaviour Validation.pdf

6- Shoham Ben David, Marsha Chechik, Sebastian Uchitel , "Merging Partial Behaviour Models with Different Vocabularies" , CONCUR 2013 – Concurrency Theory, Volume 8052, page 91-105 - aug 2013 Merging Partial Behaviour Models with Different Vocabularies.pdf

7- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf

8- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Synthesising Modal Transition Systems from Triggered Scenarios" , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Volume 39, Number 7, page 975--1001 - jul 2013 Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf

9- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”" , CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013 Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf
 
Publications in 2012
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Abstractions for Validation in Action" , Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012 abstractions_for_validation_in_action.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation" , Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012 05639021.pdf

3- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Distribution of Modal Transition Systems" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 403--417 - 2012 paperFM2012WithRelatedWork.pdf

4- Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastian Uchitel , "Generating obstacle conditions for requirements completeness" , 34th International Conference on Software Engineering, ICSE 2012, page 705--715 - 2012 Generating obstacle conditions for requirements completeness.pdf

5- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Learning from Vacuously Satisfiable Scenario-Based Specifications" , Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, page 377--393 - 2012 Learning_from_vacuously.pdf

6- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "The Modal Transition System Control Problem" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012 paper.pdf

7- Dario Fischbein, Greg Brunet, Nicolas D´Ippolito, Marsha Chechik, Sebastian Uchitel , "Weak Alphabet Merging of Partial Behaviour Models" , ACM Transactions on Software Engineering and Methodology, Volume 21, Number 2, page 1-49 - 2012 Weak Alphabet Merging of Partial Behavior Models_Final.pdf
 
Publications in 2011
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "An Inductive Approach for Modal Transition System Refinement" , Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, page 106--116 - 2011 An inductive approach for modal transition system refinement.pdf

2- Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel , "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-contractor.pdf

3- Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel , "CSSL: a logic for specifying conditional scenarios" , 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering, page 37--47 - 2011 cssl - a logic for specifying conditional scenarios.pdf

4- Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel , "Exploring Inconsistencies between Modal Transition Systems" , Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011 Exploring_Inconsistencies.pdf

5- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Program Abstractions for Behaviour Validation " , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 381--390 - 2011 paper-icse-2011.pdf

6- Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastian Uchitel , "Runtime Support for Dynamic and Adaptive Service Composition" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 585--603 - 2011

7- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Specification and Analysis of Dynamically-Reconfigurable Service Architectures" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 428--446 - 2011

8- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "Synthesis of live behaviour models for fallible domains" , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 211--220 - 2011 synthesis of live behaviour models for fallible domains.pdf
 
Publications in 2010
1- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "An Integrated Workbench for Model-Based Engineering of Service Compositions" , IEEE Transactions on Services Computing - 2010 an integrated workbench.pdf

2- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Deriving Non-Zeno Behavior Models from Goal Models using ILP" , Formal Aspects of Computing, Volume 22, Number 3, page 217-241 - 2010 deriving_non_zeno.pdf

3- Sebastian Uchitel, Jorge Boria, Víctor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michellis, Angel Perez Puletti, Daniel Yankelevich , "Libro Blanco de la Prospectiva TIC 2020" , Ingeniería de Software ,Ministerio de Ciencia Tecnología e Innovación, Argentina, page 181-199 - 2010 Cap_Libro_Prospectiva_TIC_2020.pdf

4- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "My Model Checker Died! How Well Did It Do?" , QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010) - 2010 bpu_quovadis-2010.pdf

5- Nicolas D´Ippolito, Víctor Braberman, Sebastian Uchitel, Nir Piterman , "Synthesis of Live Behaviour Models" , ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering - oct 2010 synthesis of live behaviour models.pdf
 
Publications in 2009
1- Dario Fischbein, Víctor Braberman, Sebastian Uchitel , "A Sound Observational Semantics for Modal Transition Systems" , International Colloquium on Theoretical Aspects of Computing - 2009 ICTAC09_-_Fischbein_-_Braberman_-_Uchitel_-_CRC.pdf

2- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Engage: Engineering Service Modes with WS-Engineer and Dino" , International Conference on Service-Oriented Computing – ICSOC / Service Wave - 2009 hf-icsoc09demo_Engage.pdf

3- Vittorio Cortellessa, Sebastian Uchitel, Daniel Yankelevich , "Guest Editorial" , Journal of Systems and Software - 2009 guest_editorial.pdf

4- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer , "Learning Operational Requirements from Declarative Goal Models" , International Conference on Software Engineering - 2009