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

3- Fernando Asteasuain, Víctor Braberman , "Specification Patterns: Formal and Easy" , IJSEKE, Volume 25, Number 4, page 669-700 - april 2015

4- German Regis, Renzo Degiovanni, Nicolas D´Ippolito, Nazareno Aguirre , "Specifying Event-Based Systems with a Counting Fluent Temporal Logic" , ICSE 2015, Proceedings of the 37th International Conference on Software Engineering - 2015 CountingFluents.pdf

5- Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias , "Tacoflow: optimizing SAT program verification using dataflow analysis" , Software & Systems Modeling (SOSYM), Volume 14, Number 1, page 45--63 - 2015 tacoflow-sosym.pdf
 
Publications in 2014
1- Sebastián Sznur, Juan Martín Brun, María Belén Ruffa, Máximo Martínez, Fernando Schapachnik , "Análisis de consistencia de la legislación de defensa al consumidor mediante métodos formales" , III Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática - apr 2014

2- 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

3- Roberto Bruni, Hernán Melgratti, Ugo Montanari , "Behaviour, interaction and dynamics" , In Shusaku Iida, José Meseguer, and Kazuhiro Ogata, Volume 8372, page 382-401 - 2014

4- 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

5- Diego Garbervetsky, Kim Sunghun , "Developing tools as plug-ins: TOPI 2012 special issue" , Software: Practice and Experience - 2014

6- Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik , "Engaging High School Students Using Chatbots" , 19 Annual Conference on Innovation and Technology in Computer Science Education - jun 2014 Engaging High School Students using Chatbots.pdf

7- Roberto Bruni, Hernán Melgratti, Ugo Montanari , "From hierarchical BIP to Petri Calculus" , Lecture Notes in Computer Science, Volume 8415, page 54-68 - 2014

8- 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

9- Laura Bocchi, Hernán Melgratti , "On the behaviour of general-purpose applications on cloud storages" , Service Oriented Computing and Applications - 2014

10- Laura Bocchi, Hernán Melgratti, Emilio Tuosto , "Resolving non-determinism in choreographies" , Lecture Notes in Computer Science, Volume 8410, page 493-512 - 2014

11- Laura Bocchi, Hernán Melgratti, Emilio Tuosto , "Resolving Non-determinism in Choreographies (long version)" , Technical Report , Universidad de Buenos Aires - 2014 longmain.pdf

12- 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

13- Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine , "Summary-based inference of quantitative bounds of live heap objects" , Science of Computer Programming (SCP), Volume 92(A), page 56--84 - 2014 SCP-Garbervetsky-final.pdf
 
Publications in 2013
1- Michael Barnett, Martin Nordio, Judith Bishop, Karin Breitman, Diego Garbervetsky , "3rd international workshop on developing tools as plug-ins (TOPI 2013)" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 1555 - 2013 TOPI 2013.pdf

2- 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