2022

  1. Fernando Schapachnik, María Belén Bonello, María Cecilia Martínez, Vanina Klinkovich, Natalia Iocca. "Ciencias de la Computación en la escuela. Guía para enseñar mucho más que a programar" , (2022).
  2. Iván Arcuschin, Juan Pablo Galeotti, Diego Garbervetsky. "An Empirical Study on How Sapienz Achieves Coverage and Crash Detection" Journal of Software: Evolution and Process , (2022).
  3. Iván Arcuschin, Juan Pablo Galeotti, Diego Garbervetsky. "An Empirical Study on How Sapienz Achieves Coverage and Crash Detection" Journal of Software Evolution and Process , (2022).
  4. Andrea Arcuri, Juan P. Galeotti. "Enhancing Search-based Testing with Testability Transformations for Existing APIs" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 31, no. 1 (2022): 1-34.
  5. Fernando Schapachnik, Diego Garbervetsky, Sebastián Uchitel. "La revolución de la computación móvil, desaprovechada", in: Manuel Alberto Solanet None Pandemia: Los múltiples desafíos que el presente le plantea al porvenir Volume 1, no. 1 (2022): 155-158.
  6. Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé. "Integrating deduction and model finding in a language independent setting", in: Nazareno M. Aguirre, Valentín Cassano, Pablo Castro, Ramiro Demasi None Mathematical Foundations of Software Engineering - Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement Volume 45, (2022): 22-59.
  7. María Julia Hermida, Andrea Paula Goldín, Agustín Pérez Santángelo, Sebastián Lipina, Fernando Schapachnik. "Effects of teaching programming on executive functions in children from low socioeconomic status" 3rd Congress of the Federation of Latin American and Caribbean Neuroscience Societies (FALAN) , (2022).
  8. Ivan Arcuschin, Christian Ciccaroni, Juan Pablo Galeotti, Jose Miguel Rojas. "On the feasibility and challenges of synthesizing executable Espresso tests" Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test , (2022).
  9. Saikat Dutka, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer. "InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript" Proceedings of the 44th International Conference on Software Engineering (ICSE 2022) , (2022).

2021

  1. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias, Thomas S.E. Maibaum. "On the construction of explosive relation algebras", in: Edward Hermann Haeusler, Luis Carlos Pinheiro Dias Pereira, Jorge Petrucio Viana None A Question is More Illuminating than an Answer - A Festschrift for Paolo A. S. Veloso Volume 44, (2021): 202-236.
  2. ANDREA ARCURI, JUAN PABLO GALEOTTI, Bogdan Marculescu, Man Zhang. "EvoMaster: A Search-Based System Test Generation Tool" Journal Of Open Source Software Volume 6, no. 57 (2021): 2153-2156.
  3. Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel. "Enabledness-Based Testing of Object Protocols" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 30, no. 2 (2021).
  4. Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel. "Enabledness-based Testing of Object Protocols" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 30, no. 2 (2021).
  5. María Belén Bonello, Fernando Schapachnik. "Diez preguntas frecuentes (y urgentes) sobre pensamiento computacional" Virtualidad, Educación y Ciencia Volume 11, no. 20 (2021): 156-167.
  6. Hernán Czemerinski, Fernando Schapachnik, María Belén Bonello. "¿De qué hablamos cuando hablamos de incluir Pensamiento Computacional en la Escuela?" CARTOGRAFÍAS DEL SUR REVISTA DE CIENCIAS ARTES Y TECNOLOGIA , no. 13 (2021).
  7. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik, Gerardo Schneider. "On the Interpretation and Monitoring of Timed Deontic Logics" Runtime Verification - 21st International Conference , (2021).
  8. Ignacio Manuel Lebrero Rial, Juan Pablo Galeotti. "EvoSuiteDSE at the SBST 2021 Tool Competition" Proceedings of the 14th Intl. Workshop on Search-Based Software Testing , (2021).

2020

  1. ANDREA ARCURI, JUAN PABLO GALEOTTI. "Handling SQL Databases in Automated System Test Generation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 29, no. 4 (2020): 1-31.
  2. Daniel Ciolek, Victor Braberman, Nicolas DIppolito, Sebastian Sardiña, S. Uchitel. "Compositional Supervisory Control via Reactive Synthesis and Automated Planning" IEEE TRANSACTIONS ON AUTOMATIC CONTROL , (2020).
  3. JAVIER GODOY, JUAN PABLO GALEOTTI, DIEGO GARBERVETSKY, SEBASTIÁN UCHITEL. "Enabledness-based Testing of Object Protocols" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2020).
  4. Agustín Eloy Martinez Suñé, Carlos Gustavo Lopez Pombo. "Quality of Service Ranking by Quantifying Partial Compliance of Requirements" LECTURE NOTES IN COMPUTER SCIENCE Volume 2134, (2020): 181-189.
  5. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Bayesian network semantics for Petri nets" THEORETICAL COMPUTER SCIENCE Volume 807, (2020): 95-113.
  6. Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto. "A Choreography-Driven Approach to APIs: The OpenDXL Case Study" LECTURE NOTES IN COMPUTER SCIENCE Volume 1213, (2020): 107-124.
  7. Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski. "Reversible Occurrence Nets and Causal Reversible Prime Event Structures" LECTURE NOTES IN COMPUTER SCIENCE Volume 1222, (2020): 35-53.
  8. Hernán Melgratti, Claudio Antares Mezzina, And Irek Ulidowski. "Reversing place transition nets" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) Volume 16, no. 4 (2020): 1-28.
  9. Laura Bocchi, Hernán Melgratti, Emilio Tuosto. "On Resolving Non-determinism in Choreographies" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) Volume 16, no. 3 (2020): 1-69.
  10. Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino. "Implementation Correctness for Replicated Data Types, Categorically" LECTURE NOTES IN COMPUTER SCIENCE Volume 1254, (2020): 283-303.
  11. Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto. "Probabilistic analysis of binary sessions" Leibniz International Proceedings in Informatics, LIPIcs Volume 171, (2020): 141-1421.
  12. Ugo De'Liguoro, Hernan Melgratti, Emilio Tuosto. "Towards refinable choreographies" Electronic Proceedings in Theoretical Computer Science, EPTCS Volume 324, (2020): 61-77.
  13. Hernán Czemerinski, Fernando Schapachnik, Martín Guillermo Scasso, Daniela Cura, Verónica Alelí Marino. "A teacher training program in Argentina analysed by profiles" WiPSCE '20: Proceedings of the 15th Workshop on Primary and Secondary Computing Education , (2020).
  14. Ivan Arscuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky. "Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage" IEEE/ACM 1st International Conference on Automation of Software Test, , (2020).
  15. ANDREA ARCURI, JUAN PABLO GALEOTTI. "Testability Transformations For Existing APIs" Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 , (2020).
  16. Iván Arcuschin Moreno, Juan P. Galeotti, Diego Garbervetsky. "Algorithm or Representation? An empirical study on how SAPIENZ achieves coverage" Proceedings of 1st IEEE/ACM International Conference on Automation of Software Test , (2020).
  17. Sebastian Zudaire, Martin Garret, Sebastian Uchitel. "Iterator-Based Temporal Logic Task Planning" International Conference on Robotics and Automation (ICRA 2020) , (2020).

2019

  1. Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno M. Aguirre, Thomas S.E. Maibaum. "Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems" FUNDAMENTA INFORMATICAE Volume 166, no. 4 (2019): 297-347.
  2. Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski. "Reversing P/T nets" LECTURE NOTES IN COMPUTER SCIENCE Volume 1153, (2019): 19-36.
  3. Agustín Eloy Martinez Suñé, Carlos Gustavo Lopez Pombo. "Automatic Quality-of-Service Evaluation in Service-Oriented Computing" LECTURE NOTES IN COMPUTER SCIENCE Volume 1153, (2019): 221-236.
  4. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto. "Data-driven choreographies à la klaim" LECTURE NOTES IN COMPUTER SCIENCE Volume 1166, (2019): 170-190.
  5. DANIEL CIOLEK, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, UCHITEL SEBASTIAN, SARDIÑA SEBASTIAN. "Compositional Supervisory Control via Reactive Synthesis and Automated Planning" IEEE TRANSACTIONS ON AUTOMATIC CONTROL , (2019).
  6. Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse. "Fully Reflective Execution Environments: Virtual Machines for More Flexible Software" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 45, (2019): 858-876.
  7. Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel. "Dynamic Update of Discrete Event Controllers" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2019).
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Concurrency and Probability: Removing Confusion, Compositionally" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) , (2019).
  9. Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino. "A Categorical Account of Replicated Data Types" Leibniz International Proceedings in Informatics , (2019).
  10. Ezequiel Castellano, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, UCHITEL SEBASTIAN, Kenji Tei. "Minimising Makespan of Discrete Controllers: A Qualitative Approach" Proceedings of IEEE Conference on Decision and Control (CDC) , (2019).
  11. Ivan Postolski, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Simulator-based diff-time performance testing" Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results , (2019).
  12. L. Nahabedian, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, jeff kramer, UCHITEL SEBASTIAN. "Dynamic Reconfiguration of Business Processes" Proceedings of the International Conference on Business Process Management , (2019).
  13. Andrea Arcuri, JUAN PABLO GALEOTTI. "SQL Data Generation to Enhance Search-Based System Testing" Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2019 , (2019).
  14. Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, J. Kramer, S. Uchitel. "Dynamic Reconfiguration of Business Processes." Business Process Management BPM 2019 , (2019).
  15. Ivan Postolski, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Simulator-based diff-time performance testing" ICSE Nier Track 2019 , (2019).
  16. POSTOLSKI IVAN, BRABERMAN VICTOR, Diego Garbervetsky, UCHITEL SEBASTIAN. "Simulator-based diff-time performance testing" Proceedings of ACM/IEEE International Conference of Software Engineering , (2019).
  17. Victor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez. "Testing and validating end user programmed calculated fields" Foundations of Software Engineering (ESEC/FSE), Industrial Track , (2019).

2018

  1. Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, Shinichi Honiden, Kenji Tei, jeff kramer, UCHITEL SEBASTIAN. "Dynamic Update of Discrete Event Controllers" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2018): 1-1.
  2. Gustavo Del Dago, Fernando Schapachnik. "¿Existe la mejor computadora?" , (2018).
  3. Mariano Miguel Moscato, Carlos Gustavo Lopez Pombo, Cesar Muñoz, Marco Antonio Feliú. "Boosting the Reuse of Formal Specifications" LECTURE NOTES IN COMPUTER SCIENCE , (2018).
  4. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "(Heterogeneous) Structured Specifications in Logics Without Interpolation", in: Joanna Goliska-Pilarek, Michal Zawidzki None Ewa Orlowska on Relational Methods in Logic and Computer Science, (2018).
  5. Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari. "Event Structures for Petri nets with Persistence" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) , (2018).
  6. Fabio Gadducci, Hernán Melgratti, Christian Roldán. "On the semantics and implementation of replicated data types" SCIENCE OF COMPUTER PROGRAMMING , (2018).
  7. Juan Pablo Galeotti, Alessandra Gorla. "Proceedings of the 11th International Workshop on Search-Based Software Testing" , (2018). [link]
  8. Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse. "Fully Reflective Execution Environments: Virtual Machines for More Flexible Software" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2018).
  9. Herman Schinca, Daniela Villani. "Propuesta de planificación anual para Tecnologías de la Información, 4º año de la NES (TI4), CABA" , (2018). [link]
  10. Gustavo Del Dago, Fernando Schapachnik. "¿Somos todos iguales en Internet?" , (2018).
  11. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik. "On Observing Contracts: Deontic Contracts Meet Smart Contracts." Volume 313: Legal Knowledge and Information Systems , (2018).
  12. Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez. "Testing and Validating End User Programmed Calculated Fields" Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) , (2018).
  13. godoy javier, BRABERMAN VICTOR, Diego Garbervestky, UCHITEL SEBASTIAN. "Testing and Validating End User Programmed Calculated Fields" ACM Proceedings ESEC/FSE 2018 , (2018).
  14. Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez. "Testing and validating end user programmed calculated fields" 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering , (2018).
  15. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Concurrency and Probability: Removing Confusion, Compositionally." Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , (2018).
  16. Sina Shamshiri, Jose Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser. "How Do Automatically Generated Unit Tests Influence Software Maintenance?" Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification , (2018).

2017

  1. Fernando Asteasuain, BRABERMAN VICTOR. "Declaratively building behavior by means of scenario clauses" REQUIREMENTS ENGINEERING , (2017).
  2. Juan Pablo Galeotti, Justyna Petke. "Proceedings of the 10th International Workshop on Search-Based Software Testing" , (2017). [link]
  3. Hernán Melgratti, Luca Padovani. "Chaperone contracts for higher-order sessions" Proceedings of the ACM on Programming Languages Volume 1, no. ICFP (2017): 1-29.
  4. Fabio Gadducci, Hernán Melgratti, Christian Roldán. "A denotational view of replicated data types" LECTURE NOTES IN COMPUTER SCIENCE , (2017).
  5. Stefania Gnesi, Nico Plat, Hernán Melgratti. "Workshop on Formal Methods in Software Engineering (FormaliSE 2017)." , (2017).
  6. Hernán Melgratti, Luca Padovani. "An OCaml Implementation of Binary Sessions", in: Simon Gay, Antonio Ravara None Behavioural Types: from Theory to Tools, (2017): 243-263.
  7. DANIEL CIOLEK, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, PITERMAN NIR, UCHITEL SEBASTIAN. "Interaction Models and Automated Control under Partial Observable Environments" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 43, no. 1 (2017): 19-33.
  8. Daniel Ciolek, Victor Braberman, Nicolas DIppolito, Nir Piterman, Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 43, no. 1 (2017): 19-33.
  9. Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik. "A Tool for Introducing Computer Science with Automatic Formative Assessment" IEEE Transactions on Learning Technologies Volume PP, no. 1 (2017).
  10. Alberto; Teresa, Fernando Schapachnik, Herman Schinca, Daniela Villani. "Propuesta de planificación anual para Tecnologías de la Información, 3º año de la NES (TI3), CABA" , (2017). [link]
  11. Massimo Bartoletti, Maurice ter Beek, Hernán Melgratti, Luis Cruz-Filipe. "Proceedings of the Symposium on Applied Computing, SAC 2017, track SOAP" , (2017).
  12. Castaño Rodrigo, BRABERMAN VICTOR, Diego Garbervestky, UCHITEL SEBASTIAN. "Model checker execution reports" Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 , (2017).
  13. GERMAN REGIS, CESAR CORNEJO, SIMON GUTIERREZ BRIDA, MARIANO POLITANO, FERNADO RAVERTA, PABLO PONZIO, NAZARENO AGUIRRE, JUAN PABLO GALEOTTI, MARCELO FRIAS. "DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour" Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , (2017).
  14. Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits. "Toward full elasticity in distributed static analysis: the case of callgraph analysis" Proceeding ESEC/FSE 2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , (2017).
  15. Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi. "Static analysis for optimizing big data queries" Proceeding ESEC/FSE 2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , (2017).
  16. Sanzo; Alfredo, Fernando Schapachnik, Pablo Factorovich, Federico Sawady O'Connor. "Pilas Bloques: a Scenario-Based Children Learning Platform" Proceedings de 12th Latin-American Conference on Learning Technologies , (2017).
  17. Rodrigo Castaño, Diego Garbervetsky, Victor Braberman, Sebastian Uchitel. "Model checker execution reports" International Conference on Automated Software Engineering , (2017).
  18. Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Haydée Di Iorio, Luz Clara Bibiana, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos. "Performance Improvement on Legal Model Checking" 16th International Conference on Artificial Intelligence and Law , (2017).
  19. Guido Chari, Diego Garbervetsky, Stefan Marr. "A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability" Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems , (2017).
  20. Leandro Nahabedian. "Dynamic Update of Business Process Management" Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on , (2017).
  21. Fernando Paulovsky, Diego Garbervetsky, Esteban Pavese. "High-coverage testing of navigation models in Android applications" Proceedings of the 12th International Workshop on Automation of Software Testing , (2017).
  22. Nikolas Havrikov, Alessio Gambi, ANDREAS ZELLER, Andrea Arcuri, JUAN PABLO GALEOTTI. "Generating unit tests with structured system interactions" Proceedings of the 12th International Workshop on Automation of Software Testing , (2017).
  23. Guido Chari, Diego Garbervetsky, Stefan Marr. "Fully-reflective VMs for ruling software adaptation" ICSE-C '17 Proceedings of the 39th International Conference on Software Engineering Companion , (2017).

2016

  1. Daniel Ciolek, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  2. antonio fillieri, martina maggio , Konstantinos Angelopoulos, Nicolas D'Ippolito. "Control Strategies for Self-Adaptive Software Systems" ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS , (2016).
  3. Esteban Pavese, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Probabilistic Interface Automata" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  4. Esteban Pavese, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Less is More: Estimating Probabilistic Rewards over Partial System Explorations" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2016).
  5. Hernan Czemerinski, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing" SOFTWARE TESTING, VERIFICATION & RELIABILITY Volume 26, no. 3 (2016): 211-244.
  6. Guido Chari, Diego Garbervetsky, Stefan Marr. "Building efficient and highly run-time adaptable virtual machines" ACM SIGPLAN NOTICES Volume 52, no. 2 (2016): 60-71.
  7. Shaun Azzopardi, Gordon Pace, Gerardo Schneider, Fernando Schapachnik. "Contract Automata: An Operational View of Contracts Between Interactive Parties" Artificial Intelligence and Law , (2016).
  8. Fernando Schapachnik, María Belén Bonello. "Programar o ser programados, Argentina ya eligió", in: Fabricio Ballarini None Educando al Cerebro - libro 1, (2016): 47-51.
  9. Fernando Schapachnik. "Destripando Google", in: Facundo Álvarez Heduan, Juan Manuel Garrido, Pablo González None Anuario El Gato y La Caja 2016, (2016): 62-64.
  10. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Less is more: Estimating probabilistic rewards over partial system explorations" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2016).
  11. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Probabilistic Interface Automata" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  12. Daniel Ciolek, Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  13. Rocco de Nicola, Hernán Melgratti. "Multiparty Testing Preorders" LECTURE NOTES IN COMPUTER SCIENCE , (2016).
  14. Hernán Melgratti, Christian Roldán. "A Formal Analysis of the Global Sequence Protocol." LECTURE NOTES IN COMPUTER SCIENCE , (2016).
  15. Maurice ter Beek, Hernán Melgratti, Hugo Viera. "Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP)" , (2016).
  16. Nicolas D'Ippolito, Victor Braberman, Daniel Ciolek, Sebastian Uchitel. "Directed Controller Synthesis of Discrete Event Systems: Taming Composition with Heuristics" Proceedings of the 55th IEEE Conference on Decision and Control , (2016).
  17. DANIEL CIOLEK, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, UCHITEL SEBASTIAN. "Directed Controller Synthesis of discrete event systems: Taming composition with heuristics." Decision and Control (CDC), 2016 IEEE 55th Conference on , (2016).
  18. NATALIA RODRIGUEZ, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, UCHITEL SEBASTIAN. "2½-player generalized reactivity (1) games" Proceedings of CDC 2016 , (2016).
  19. Natalia Rodriguez, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "Stochastic Generalized Reactivity (1) Games" Proceedings of the 55th IEEE Conference on Decision and Control , (2016).
  20. Shoham Ben David, Marsha Chechik, Sebastian Uchitel. "Observational re- finement and merge for disjunctive mtss." 14th International Symposium on Automated Technology for Verification and Analysis , (2016).
  21. Javier Godoy, Hern´an Czemerinski. "JGenTest: Generador de Test automático para Java a través de ejecución concólica" EST 2016, 19º Concurso de Trabajos Estudiantiles , (2016).
  22. Natalia Rodriguez, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "2.5 Player Generalized Reactivity (1) Games" International Conference on Decision and Control , (2016).
  23. Daniel Ciolek, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "Directed Controller Synthesis of Discrete Event Systems: Taming Composition with Heuristics" International Conference on Decision and Control , (2016).
  24. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Jeff Kramer, Kenji Tei, Shinichi Honiden, Sebastian Uchitel. "Assured and correct dynamic update of controllers" 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  25. Urko Rueda, Rene Just, Juan Pablo Galeotti, Tanja Vos. "Unit testing tool competition: round four" Proceedings of the 9th International Workshop on Search-Based Software Testing , (2016).
  26. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel. "Assured and Correct Dynamic Update of Controllers - BEST PAPER AWARD" Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  27. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden. "Assured and correct dynamic update of controllers" Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  28. L. Nahabedian, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, S. Honiden, jeff kramer, k.Tei, UCHITEL SEBASTIAN. "Assured and Correct Dynamic Update of Controllers" ICSE Proceedings , (2016).
  29. Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhejiang Hu, Sebastian Uchitel, Pierre Yves-Schobbens. "Reusable self-adaptation through bidirectional pro- gramming." 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  30. Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Sebastian Uchitel. "Risk-driven revision of requirements models" Proceedings of the 38th International Conference on Software Engineering, , (2016).

2015

  1. Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behaviour abstrac- tion adequacy criteria for api call protocol testing" SOFTWARE TESTING, VERIFICATION & RELIABILITY , (2015).
  2. Ignacio Vissani, Carlos Gustavo Lopez Pombo, Ionut Tutu, José Luiz Fiadeiro. "A Full Operational Semantics for Asynchronous Relational Networks" LECTURE NOTES IN COMPUTER SCIENCE Volume 9463, (2015): 131-150.
  3. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten" LECTURE NOTES IN INFORMATICS Volume 239, (2015): 132-132.
  4. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 41, no. 10 (2015): 1019-1037.
  5. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "cJoin: Join with communicating transactions" MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Volume 25, no. 3 (2015).
  6. Fernando Asteasuain, Victor A. Braberman. "Specification patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING Volume 25, (2015): 669-700.
  7. Laura Bocchi, Hernán Melgratti. "On the behaviour of general-purpose applications on cloud storages" Service Oriented Computing and Applications Volume 9, no. 3 (2015): 213-227.
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Normal Form for Stateful Connectors." LECTURE NOTES IN COMPUTER SCIENCE , (2015).
  9. Valentín Cassano, Carlos Gustavo Lopez Pombo, Thomas S. E. Maibaum. "Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules" LECTURE NOTES IN COMPUTER SCIENCE Volume 9323, (2015): 6-21.
  10. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "TacoFlow: optimizing SAT program verification using dataflow analysis" SOFTWARE AND SYSTEMS MODELING , (2015): 1-19.
  11. Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse. "Towards fully reflective environments" Onward! 2015 - Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Part of SPLASH 2015 , (2015): 240-253.
  12. Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel. "Using contexts to extract behaviour models from code" SOFTWARE AND SYSTEMS MODELING , (2015).
  13. Pablo Castro, Nazareno M. Aguirre, Carlos Gustavo Lopez Pombo, Thomas S.E. Maibaum. "Categorical Foundations for Structured Specifications in Z" FORMAL ASPECTS OF COMPUTING Volume 25, no. 5 (2015): 831-865.
  14. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Fabian Frias. "TacoFlow: optimizing SAT program verification using dataflow analysis" SOFTWARE AND SYSTEMS MODELING Volume 14, no. 1 (2015): 45-63.
  15. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM Volume 58, (2015): 65-72.
  16. Gordon Pace, Gerardo Schneider, Fernando Schapachnik. "Conditional Permissions in Contracts" Anales de JURIX 2015 , (2015).
  17. Guido Chari, Diego Garbervetsky, Stefan Marr, Stephane Ducasse. "Towards fully reflective environments" Proceeding Onward! 2015 , (2015).
  18. Javier Godoy. "Big data en la cosecha del sector agropecuario de Buenos Aires" EST 2015, 18º Concurso de Trabajos Estudiantiles , (2015).
  19. Alejandro Hernandez, Juan Echague, Daniel Yankelevich, Guillermo Filia, Maximiliano Gomez, Crhistian Guede, Víctor Braberman, Diego Garbervetsky, Camilo Diaz, Julian Jamardo, Sebastián Uchitel. "Sobre la dinámica de un equipo de vinculación tecnológica" Anales de la Jornadas Argentinas de Informática , (2015).
  20. BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, Daniel Sykes, UCHITEL SEBASTIAN. "Robust Degradation and Enhancement of Robot Mission Behaviour in Unpredictable Environments" Proceedings of the 1st International Workshop on Control Theory for Software Engineering, , (2015).
  21. BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, jeff kramer, Daniel Sykes, UCHITEL SEBASTIAN. "MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation" Proceedings of the 1st International Workshop on Control Theory for Software Engineering , (2015).
  22. hernandez alejandro, ECHAGUE JUAN, Daniel Yankelevich, FILIA GUILLERMO, GOMEZ MAXIMILIANO, Guede Christian, BRABERMAN VICTOR, D. Garbervetsky, Jamardo Julian, Camilo Repka, UCHITEL SEBASTIAN. "Sobre la dinámica de un equipo de vinculación tecnológica" Anales JAIIO , (2015).
  23. Nicolas D'Ippolito, Victor Braberman, Daniel Sykes, Sebastian Uchitel. "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" Proceedings of the 1st Workshop on Control Theory for Software Engineering , (2015).
  24. Victor Braberman, Nicolas D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel. "MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation" Proceedings of the 1st Workshop on Control Theory for Software Engineering , (2015).
  25. Sebastián Sardiña, Nicolas D'Ippolito. "Towards Fully Observable Non-deterministic Planning as Assumption-based Automatic Synthesis" Proceeding of the International Joint Conference on Artificial Intelligence , (2015).
  26. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Generating TCP/UDP Network Data for Automated Unit Test Generation" Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering , (2015).
  27. Antonio Filieri, Martina Maggio , Konstantinos Angelopoulos, Nicolas D'Ippolito. "Software Engineering meets Control Theory" Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2015).
  28. Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, Nazareno Aguirre. "Specifying Event-Based Systems with a Counting Fluent Temporal Logic" Proceedings of the International Conference on Software Engineering , (2015).
  29. Kevin Salvesen, JUAN PABLO GALEOTTI, FLORIAN GROSS, GORDON FRASER, ANDREAS ZELLER. "Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing" Proceedings of the 8th International Workshop on Search-Based Software Testing , (2015).
  30. Ignacio Vissani, Carlos Gustavo Lopez Pombo, Emilio Tuosto. "Communicating machines as a dynamic binding mechanism of services." Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18th April 2015 , (2015).

2014

  1. Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno M. Aguirre, Thomas S. E. Maibaum. "A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting" LECTURE NOTES IN COMPUTER SCIENCE Volume 8687, (2014): 314-332.
  2. Laura Bocchi, Hernán Melgratti. "On the behaviour of general-purpose applications on cloud storages" Service Oriented Computing and Applications , (2014).
  3. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "From Hierarchical BIP to Petri Calculus" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  4. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamics" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  5. Laura Bocchi, Hernán Melgratti, Emilio Tuosto. "Resolving Non-determinism in Choreographies" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  6. Alexander Kampmann, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "JTACO: Test Execution for Faster Bounded Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 8570, (2014): 134-141.
  7. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 8855, (2014): 48-53.
  8. Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2014).
  9. Victor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2014).
  10. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM Volume 58, (2014): 65-72.
  11. MARCOS CHICOTE, DANIEL CIOLEK, JUAN PABLO GALEOTTI. "Practical JFSL verification using TACO" SOFTWARE: PRACTICE AND EXPERIENCE Volume 44, no. 3 (2014): 317-334.
  12. Fernando Asteasuain, Victor A. Braberman. "Speci cation patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , (2014).
  13. Mariano Miguel Moscato, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Dynamite: A Tool for the Verification of Alloy Models Based on PVS" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 23, (2014): 1-37.
  14. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik. "Contract Automata with Reparations" Anales de JURIX 2014 , (2014).
  15. Nikolas Havrikov, Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "XMLMate: evolutionary XML test generation" Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering , (2014).
  16. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automated unit test generation for classes with environment dependencies" Proceedings of the 2014 International Conference on Automated Software Engineering , (2014).
  17. Adrian Anacleto, Victor Braberman, Juan Echague, Guillermo Filia, Diego Garbervetsky, Maximiliano Gomez, Esteban Fernandez Rojo, Sebastián Uchitel. "Experiencias de I+D+I en productos avanzados para el analisis de software" 8va Jornadas de Vinculación Universidad - Industria, Jornadas Argentinas de Informática (JAIIO) , (2014).
  18. Hernan Czemerinski, Victor A. Braberman, Sebastián Uchitel. "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" 43 Jaiio Jornadas Argentinas de Informática , (2014).
  19. ANACLETO ADRIAN, BRABERMAN VICTOR, ECHAGUE JUAN, FILIA GUILLERMO, Diego Garbervestky, GOMEZ MAXIMILIANO, ROJO ESTEBAN, UCHITEL SEBASTIAN. "Experiencias de I+D+i en productos avanzados para el análisis de software" Anales JAIIO , (2014).
  20. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Loop Invariants by Mutation, Dynamic Validation, and Static Checking" Contributions of the 5th International Workshop on Invariant Generation (WING 2012) , (2014).
  21. Nicolas D'Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel. "Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems" Proceedings of the 2014 International Conference on Software Engineering , (2014).
  22. Nicolas D'Ippolito, Victor 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 , (2014).
  23. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Controllability in Partial and Uncertain Environments" 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014 , (2014).
  24. NICOLAS D´IPPOLITO, Victor 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" Proceedings of the 36th International Conference on Software Engineering , (2014).
  25. Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik. "Engaging High School Students Using Chatbots" Proceedings de la 19th Annual Conference on Innovation and Technology in Computer Science Education , (2014).
  26. Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel. "Automated Goal Operationalisation Based on Interpolation and SAT Solving" Proceedings of the 2014 International Conference on Software Engineering , (2014).
  27. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Controllability in Partial and Uncertain Environments" 2014 14th International Conference on Application of Concurrency to System Design , (2014).
  28. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" Lecture Notes in Computer Science , (2014).
  29. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidović, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" FM 2014: Formal Methods , (2014).
  30. Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Test generation across multiple layers" Proceedings of the 7th International Workshop on Search-Based Software Testing , (2014).
  31. JUAN PABLO GALEOTTI, GORDON FRASER, ANDREA ARCURI. "Extending a search-based test generator with adaptive dynamic symbolic execution" Proceedings of the 2014 International Symposium on Software Testing and Analysis , (2014).
  32. 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" Anales del III Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2014).
  33. DIPPOLITO R. NICOLAS, BRABERMAN VICTOR, PITERMAN NIR, UCHITEL SEBASTIAN. "Controllability in Partial and Uncertain Environments" 14th International Conference on Application of Concurrency to System Design , (2014).

2013

  1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2013).
  2. Sebastian Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor 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 - Research and Development Volume 28, (2013): 279-293.
  3. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Enabledness-based Program Abstractions for Behaviour Validation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 22, no. 25 (2013): 1-46.
  4. Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2013).
  5. Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik.. "Computational Models for Normative Multi-Agent Systems", in: Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leendert W. N. van der Torre None Normative Multi-Agent Systems, (2013): 71-92.
  6. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Elaborating requirements using model checking and inductive learning" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, no. 3 (2013): 361-383.
  7. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 22, no. 9 (2013): 1-36.
  8. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Enabledness-based Program Abstractions for Behaviour Validation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 22, no. 25 (2013): 1-46.
  9. German Sibay, Victor Braberman, Sebastian Uchitel, Jeff Kramer. "Synthesising Modal Transition Systems from Triggered Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, no. 7 (2013): 975-1001.
  10. Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Victor 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 - Research and Development Volume 28, (2013): 279-293.
  11. Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno M. Aguirre, Thomas S.E. Maibaum. "Satisfiability Calculi: the semantic counterpart of a proof calculus in general logics" LECTURE NOTES IN COMPUTER SCIENCE Volume 7841, (2013): 195-211.
  12. Manuel Gimenez, Mariano Miguel Moscato, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications" Electronic Proceedings in Theoretical Computer Science Volume 139, (2013): 65-70.
  13. Juan Pablo Galeotti, Nicolas Rosner, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, (2013): 1283-1307.
  14. Nicolas Rosner, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre, Ali Jaoua, Ali Mili, Marcelo Fabián Frias. "Parallel Bounded Verification of Alloy Models by TranScoping" LECTURE NOTES IN COMPUTER SCIENCE , (2013).
  15. Roberto Bruni, Hernán Melgratti, Ugo Montanari, Pawel Soboscinski. "Connector algebras for C/E and P/T nets' interactions" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) Volume 9, (2013): 1-65.
  16. Laura Bocchi, Hernán Melgratti. "On the Behaviour of General-Purpose Applications on Cloud Storages" LECTURE NOTES IN COMPUTER SCIENCE , (2013).
  17. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamicity" LECTURE NOTES IN COMPUTER SCIENCE , (2013).
  18. Pedro D'Argenio, Hernán Melgratti. "CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013" , (2013). [link]
  19. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, no. 9 (2013): 1283-1307.
  20. Victor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2013).
  21. DIPPOLITO R. NICOLAS, BRABERMAN VICTOR, PITERMAN NIR, UCHITEL SEBASTIAN. "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 22, no. 9 (2013): 1-36.
  22. Guido de Caso, Victor Braberman, D. Garbervetsky, Sebastián Uchitel. "Enabledness-based Program Abstractions for Behaviour Validation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 22, no. 25 (2013): 1-46.
  23. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Synthesising Modal Transition Systems from Triggered Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 39, no. 7 (2013): 975-1001.
  24. Sebastian Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor 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 - Research and Development Volume 28, (2013): 279-293.
  25. Victor A. Braberman, Laurent Fribourg. "Formal Modeling and Analysis of Timed Systems" , (2013). [link]
  26. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Integrated Program Verification Tools in Education" SOFTWARE: PRACTICE AND EXPERIENCE Volume 43, no. 1 (2013): 403-418.
  27. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido de Caso, Nicolas DIppolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sybay. "Supporting incremental behaviour model elaboration" Computer Science - Research and Development Volume 28, no. 4 (2013): 279-293.
  28. JUAN PABLO GALEOTTI, Gordon Fraser, Andrea Arcuri. "Improving search-based test suite generation with dynamic symbolic execution" Proceedings of the 24th International Symposium on Software Reliability Engineering , (2013).
  29. Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi. "On Verifying Resource Contracts using Code Contracts" Proceedings First Latin American Workshop on Formal Methods, LAFM 2014 , (2013).
  30. PABLO BENDERSKY, JUAN PABLO GALEOTTI, Diego Garbervetsky. "The DynAlloy Visualizer" Electronic Proceedings in Theoretical Computer Science , (2013).
  31. RODRIGO CASTAÑO, JUAN PABLO GALEOTTI, Diego Garbervetsky, JONATHAN TAPICER, EDGARDO ZOPPI. "On Verifying Resource Contracts using Code Contracts" Electronic Proceedings in Theoretical Computer Science , (2013).
  32. Shoham Ben David, Marsha Chechik, Sebastian Uchitel. "Merging Partial Behaviour Models with Different Vocabularies" CONCUR 2013 – Concurrency Theory (Lecture Notes in Computer Science) , (2013).
  33. Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky. "The DynAlloy Visualizer" Proceedings First Latin American Workshop on Formal Methods, LAFM 2014 , (2013).
  34. NICOLAS ROSNER, JUAN PABLO GALEOTTI, SANTIAGO BERMUDEZ, GUIDO MARUCCI BLAS, SANTIAGO PEREZ DE ROSSO, LUCAS PIZZAGALLI, LUCIANO ZEMIN, MARCELO FRIAS. "Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds" Proceedings of the 2012 International Symposium on Software Testing and Analysis , (2013).
  35. Gordon Pace, Fernando Schapachnik. "Synthesising Implicit Contracts" Proceedings de la 14th International Conference on AI and Law , (2013).
  36. Victor 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 , (2013).
  37. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" ICSE 2013 Proceedings , (2013).
  38. Victor Braberman, NICOLAS D´IPPOLITO, NIR PITERMAN, Daniel Sykes, Sebastián Uchitel. "Controller synthesis: from modelling to enactment" ICSE '13 Proceedings of the 2013 International Conference on Software Engineering , (2013).
  39. Esteban Pavese, Victor A. Braberman, Sebastián Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" ICSE 2013 Proceedings , (2013).
  40. Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel. "Controller synthesis: from modelling to enactment" Proceeding ICSE '13 Proceedings of the 2013 International Conference on Software Engineering , (2013).
  41. Michael Barnett, Martin Nordio, Judith Bishop, Karin K. Breitman, Diego Garbervetsky. "3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)" ICSE '13 Proceedings of the 2013 International Conference on Software Engineering , (2013).
  42. Hernan Czemerinski, Victor A. Braberman, Sebastián Uchitel. "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013) , (2013).
  43. PABLO ABAD, NAZARENO AGUIRRE, VALERIA BENGOLEA, DANIEL CIOLEK, MARCELO FRIAS, JUAN PABLO GALEOTTI, TOM MAIBAUM, MARIANO MOSCATO, NICOLAS ROSNER, IGNACIO VISSANI. "Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving" ICST'13: Proceedings of the 6th International Conference on Software Testing, Verification and Validation , (2013).
  44. Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013) , (2013).

2012

  1. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Connector Algebras, Petri Nets, and BIP" LECTURE NOTES IN COMPUTER SCIENCE Volume 7162, (2012): 19-38.
  2. Pablo Castro, Nazareno M. Aguirre, Carlos Gustavo Lopez Pombo, Thomas S.E. Maibaum. "A Categorical Approach to Structuring and Promoting Z Specifications" LECTURE NOTES IN COMPUTER SCIENCE Volume 7684, (2012).
  3. M. Teresa Higuera-Toledano, Sergio Yovine, Diego Garbervetsky. "Region-based Memory Management: An Evaluation of its Support in RTSJ" None Distributed, Embedded and Real-Time Java Systems, (2012): 101-127.
  4. Hernán Melgratti, Christian Roldán. "On correlation sets and correlation exceptions in ActiveBPEL" LECTURE NOTES IN COMPUTER SCIENCE Volume 7173, (2012): 212-226.
  5. 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, (2012): 9-58.
  6. Guido de Caso, Victor A. Braberman, Diego Garbervestky, Sebastián Uchitel. "Automated Abstractions for Contract Validation" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 38, no. 1 (2012): 141-162.
  7. Dario Fischbein, Greg Brunet, Nicolas D'Ippolito, Marsha Chechik, Sebastian Uchitel. "Weak Alphabet Merging of Partial Behaviour" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 21, no. 2 (2012): 1-49.
  8. Guido de Caso, Diego Garbervetsky, Victor Braberman, Sebastian Uchitel. "Automated Abstractions for Contract Validation" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 38, no. 1 (2012): 141-162.
  9. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Abstractions for Validation in Action" None FORMAL METHODS FOR MODEL-DRIVEN ENGINEERING - LNCS Volume 7320, (2012): 192-218.
  10. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Survey on Basic Connectors and Buffers" LECTURE NOTES IN COMPUTER SCIENCE Volume 7542, (2012): 49-68.
  11. Victor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel. "Abstractions for Validation in Action", in: Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio None Formal Methods for Model-Driven Engineering Volume 7320, (2012): 192-218.
  12. Victor A. Braberman, Miguel Felder. "Carlo, Software Engineering, and Latin America", in: Mehdi Jazayeri , Domenico Bianculli, Mauro Pezzè None Matinée with Carlo Ghezzi: from Programming Languages to Software Engineering, (2012): 167-196.
  13. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" LECTURE NOTES IN COMPUTER SCIENCE Volume 7436, (2012): 155-170.
  14. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Automated Abstractions for Contract Validation" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 38, no. 1 (2012): 141-162.
  15. Diego Garbervetsky, Sunghum Kim. "Report from 2nd International Workshop on Developing Tools as Plug-ins (TOPI 2012)" ACM SOFTWARE ENGINEERING NOTES Volume 37, no. 1 (2012): 24-27.
  16. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor Braberman, Marsha Chechik , Guido de Caso, Nicolas DIppolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sybay. "Computer Science - Research and Development" Computer Science - Research and Development , (2012): 1-15.
  17. Diego Garbervetsky, Sunghum Kim. "Proceedings of the Second International Workshop on Developing Tools as Plug-Ins (TOPI)" , (2012). [link]
  18. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Abstractions for Validation in Action" None Formal Methods for Model-Driven Engineering Volume 7320, (2012): 192-218.
  19. Gordon Pace, Fernando Schapachnik. "Types of Rights in Two-Party Systems: A Formal Analysis" Proceedings de las 25th International Conference on Legal Knowledge and Information Systems , (2012).
  20. Luciana Benotti, María Emilia Echeveste, Fernando Schapachnik. "Una herramienta innovadora para acercar a los jóvenes a carreras en tecnología de la información y la comunicación" Proceedings of the IV Jornadas RedVITEC ?Relación Universidad- Entorno Socioproductivo-Estado. La cooperación interinstitucional para afrontar los desafíos del desarrollo? , (2012).
  21. Nicolas D'Ippolito. "Synthesis of event-based controllers: A software engineering challenge" ICSE , (2012).
  22. Gordon Pace, Fernando Schapachnik. "Contracts for Interacting Two-Party Systems" Electronic Proceedings in Theoretical Computer Science , (2012).
  23. Luciana Benotti, María Emilia Echeveste, Fernando Schapachnik. "Despertando vocaciones en computación mediante el uso de autómatas de chat" Proceedings of the VI Jornadas de Vinculación Universidad-Industria, 41 JAIIO , (2012).
  24. German Sibay, Sebastian Uchitel, Victor Braberman, Jeff Kramer. "Distribution of Modal Transition Systems" FM 2012: Formal Methods , (2012).
  25. Esteban Pavese, Gervasio Pérez, Fernando Schapachnik. "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" Actas de las 13 ASSE , (2012).
  26. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" FM 2012: Formal Methods , (2012).
  27. Manuel Giménez, Sergio Mera, Fernando Schapachnik. "Detección automática de defectos normativos, una invitación a la colaboración" Proceedings del Primer Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2012).
  28. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Distribution of Modal Transition Systems" LNCS , (2012).
  29. DIPPOLITO R. NICOLAS, Victor Braberman, NIR PITERMAN, Sebastián Uchitel. "The Modal Transition System Control Problem" LNCS , (2012).
  30. Gordon Pace, Manuel Giménez, Fernando Schapachnik. "Permisos en contratos, una mirada lógica" Proceedings del Primer Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2012).
  31. 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 , (2012).
  32. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Abstractions for Validation in Action" FORMAL METHODS FOR MODEL-DRIVEN ENGINEERING - LNCS , (2012).
  33. MARCOS CHICOTE, JUAN PABLO GALEOTTI. "TacoPlug: An Eclipse plug-in for TACO" IEEE Digital Library , (2012).
  34. JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Inferring Loop Invariants Dynamically" Contributions of the 4th International Workshop on Invariant Generation (WING 2012) , (2012).
  35. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Learning from Vacuously Satisfiable Scenario-Based Specifications" Fundamental Approaches to Software Engineering , (2012).
  36. Sergio Mera, Fernando Schapachnik. "Common Semantics and Complexity - An NMAS Research Agenda Proposal" Dagstuhl Reports , (2012).

2011

  1. Arun Mukhija, David Rosenblum, Howard Foster, Sebastian Uchitel. "Runtime Support for Dynamic and Adaptive Service Composition" LECTURE NOTES IN COMPUTER SCIENCE Volume 6582, (2011): 585-603.
  2. Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Victor Braberman. "Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology" SOFTWARE TESTING, VERIFICATION & RELIABILITY , (2011): 1-21.
  3. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Alejandro Taboada, Martin Roaux. "Quantitative dynamic-memory analysis for Java" CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , (2011): 1-18.
  4. Fernando Asteasuain, Victor A. Braberman. "FVS: A declarative aspect oriented modeling language" SADIO Electronic Journal of Informatic and Operation Research Volume 10, no. 1 (2011): 20-37.
  5. NAZARENO AGUIRRE, VALERIA BENGOLEA, MARCELO FRIAS, JUAN PABLO GALEOTTI. "Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs" LECTURE NOTES IN COMPUTER SCIENCE Volume 6706, (2011): 15-32.
  6. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 7041, (2011): 138-154.
  7. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "cJoin: Join with communicating transactions" MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , (2011).
  8. Cuervo Parrino , Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 7041, (2011): 138-154.
  9. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada. "Quantitative dynamic-memory analysis for Java" CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE Volume 23, no. 14 (2011): 1665-1678.
  10. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Program Abstractions for Behaviour Validation" IEEE/ACM International Conference of Software Engineering , (2011): 381-390.
  11. Diego Garbervetsky, Daniel Gorín, Ariel Neisen. "Enforcing Structural Invariants using Dynamic Frames" LECTURE NOTES IN COMPUTER SCIENCE Volume 6605, (2011): 65-80.
  12. Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege. "Polyhedral Techniques for Parametric Memory Requirement Estimation" None Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, (2011): 117-149.
  13. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Connector Algebra for P/T Nets Interactions" LECTURE NOTES IN COMPUTER SCIENCE Volume 6901, (2011): 312-326.
  14. Arun Mukhija, David Rosenblum, Howard Foster, Sebastian Uchitel. "Runtime support for dynamic and adaptive service composition" None Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Volume 6582, (2011): 585-603.
  15. Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel. "Exploring inconsistencies between modal transition systems" SOFTWARE AND SYSTEMS MODELING Volume 10, no. 1 (2011): 117-142.
  16. Howard Foster, Arun Mukhija, Martin Rais, Sebastian Uchitel. "Specification and Analysis of Dynamically-Reconfigurable Service Architectures" LECTURE NOTES IN COMPUTER SCIENCE Volume 6582, (2011): 428-446.
  17. Howard Foster, Arun Mukhija, Martin Rais, Sebastian Uchitel. "Specification and analysis of dynamically-reconfigurable service architectures" None Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Volume 6582, (2011): 428-446.
  18. Gordon Pace, Fernando Schapachnik. "Permissions in Contracts, a Logical Insight" Frontiers in Artificial Intelligence and Appl , (2011).
  19. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" LECTURE NOTES IN COMPUTER SCIENCE , (2011).
  20. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "A Software Tool for Legal Drafting" Electronic Proceedings in Theoretical Compute , (2011).
  21. Manuel Giménez, Sergio Mera, Fernando Schapachnik. "Detección automática de defectos normativos, una invitación a la colaboración" Anales del SID 2011 , (2011).
  22. Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel. "CSSL: a logic for specifying conditional scenarios" ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering , (2011).
  23. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer. "Integrating Model Checking and Inductive Logic Programming" LNCS - Inductive Logic Programming , (2011).
  24. JUAN PABLO GALEOTTI. "Análisis modular y recuperación de contraejemplos en TACO" Anales de XVII Congreso Argentino de Ciencias de la Computación , (2011).
  25. 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 , (2011).
  26. Egdardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" Proceeding of the 1st International Workshop , (2011).
  27. Edgardo Zoppi, Victor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" AUN NO PUBLICADO - Proccedings of TOPI 2011: , (2011).
  28. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Program Abstractions for Behaviour Validation" AUN NO PUBLICADO - Proceedings of Internation , (2011).
  29. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" Proceedings of ICSE 2011 , (2011).
  30. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" Proceedings of the 33rd International Conference on Software Engineering , (2011).
  31. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Pest: from the lab to the classroom" Proceeding of the 1st International Workshop , (2011).
  32. Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux. "Resource Usage Contracts for .NET" Proceeding of the 1st International Workshop , (2011).
  33. NICOLAS D´IPPOLITO, Victor A. Braberman, NIR PITERMAN, Sebastián Uchitel. "Synthesis of live behaviour models for fallible domains" Proceedings of ICSE 2011 , (2011).
  34. Guido de Caso, Victor A. Braberman, Diego Garbervestky, Sebastián Uchitel. "Program Abstractions for Behaviour Validation" Proceedings of ICSE 2011 , (2011).
  35. Edgardo Zoppi, Victor A. Braberman, Guido de Caso, Diego Garbervestky, Sebastián Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" Proceedings of TOPI 2011: , (2011).
  36. Diego Garbervetsky, Daniel Gorín, Ariel Neisen. "Enforcing Structural Invariants Using Dynamic Frames" LECTURE NOTES IN COMPUTER SCIENCE , (2011).

2010

  1. Nicolas D'Ippolito, Marcelo Frias, Juan Pablo Galeotti, Esteban Lanzarotti, Sergio Mera. "Alloy+HotCore: A Fast Approximation to Unsat Core" LECTURE NOTES IN COMPUTER SCIENCE Volume 5977, (2010): 160-173.
  2. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "An Integrated Workbench for Model-Based Engineering of Service Compositions" IEEE Transactions on Services Computing Volume 3, no. 2 (2010): 131-144.
  3. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Deriving Non-Zeno Behavior Models from Goal Models using ILP" FORMAL ASPECTS OF COMPUTING Volume 22, no. 3 (2010): 217-241.
  4. Jeff Kramer, Judith Bishop, Prem Devanbu, Sebastian Uchitel. "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering" , (2010).
  5. Sebastian Uchitel, Jorge Boria, Victor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michelis, Angel Perez Puletti, Daniel Yankelevich. "Prospectiva en Ingeniería de Software 2020" None Libro Blanco de la Prospectiva TIC 2020, (2010): 200-231.
  6. Mariano Miguel Moscato, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements" LECTURE NOTES IN COMPUTER SCIENCE Volume 6255, (2010): 275-289.
  7. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Complete Calculi for Structured Specifications in Fork Algebra" LECTURE NOTES IN COMPUTER SCIENCE Volume 6255, (2010): 290-305.
  8. Pablo Castro, Nazareno M. Aguirre, Carlos Gustavo Lopez Pombo, Thomas S.E. Maibaum. "Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting" LECTURE NOTES IN COMPUTER SCIENCE Volume 6255, (2010): 306-321.
  9. Nicolas Rosner, Juan Pablo Galeotti, Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models" LECTURE NOTES IN COMPUTER SCIENCE Volume 5977, (2010): 396-397.
  10. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "Model Checking Legal Documents" Legal Knowledge and Information Systems , (2010).
  11. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" FSE '10 Proceedings of the eighteenth ACM SIG , (2010).
  12. NICOLAS D´IPPOLITO, Victor A. Braberman, NIR PITERMAN, SEBASTIAN UCHITEL. "Synthesis of Live Behaviour Models" None , (2010).
  13. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering , (2010).
  14. Maria Grazia Buscemi, Hernán Melgratti. "Controllability and Abstraction in Business Processes" Proceedings of FLACOS 2010 , (2010).
  15. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "Verificación automática de documentos normativos: ¿ficción o realidad?" None , (2010).
  16. Fernando Asteasuain, Victor A. Braberman. "Exploring visual scenarios as an aspect-oriented modeling language" Proceedings of ASSE 2010, Argentine Symposium , (2010).
  17. Maria Grazia Buscemi, Hernán Melgratti. "Contracts for Abstract Processes in Service Composition" Electronic Proceedings in Theoretical Compute , (2010).
  18. Fernando Asteasuain, Victor Braberman. "Specification patterns can be formal and still easy" Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010) , (2010).
  19. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Analysis of Invariants for Efficient Bounded Verification" Proceedings of the Nineteenth International S , (2010).
  20. Juan Pablo Galeotti, Nicolas Rosner, Carlos G. Lopez Pombo, Marcelo F. Frias. "TACO: Analysis of Invariants for Efficient Bounded Verification" None , (2010).
  21. Esteban Pavese, Victor Braberman, Sebastián Uchitel. "My Model Checker Died! How Well Did It Do?" QUOVADIS '10 Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems , (2010).
  22. Dario Fischbein, Victor Braberman, Sebastian Uchitel. "Sound Observational Semantics for Modal Transition Systems" None , (2010).
  23. Esteban Pavese, Sebastian Uchitel, Victor Braberman. "My Model Checker Died! How Well Did It Do?" QUOVADIS '10 Proceedings of the 2010 ICSE Wor , (2010).

2009

  1. Víctor Braberman, Diego Garbervestky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero. "Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis" LECTURE NOTES IN COMPUTER SCIENCE Volume 5813, (2009): 58-72.
  2. Dario Fischbein, Victor Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" LECTURE NOTES IN COMPUTER SCIENCE Volume 5684, (2009): 215-230.
  3. Sebastian Uchitel, Jorge Boria, Victor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michellis, Angel Perez Puletti, Daniel Yankelevich. "Prospectiva en Ingeniería de Software 2020" None Libro Blanco de la Prospectiva TIC 2020, (2009): 181-198.
  4. Philippe Clauss, Federico Fernández, Diego Garbervetsky, Sven Verdoolaege. "Symbolic polynomial maximization over convex sets and its application to memory requirement estimation" IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS Volume 17, no. 8 (2009): 983-996.
  5. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Validation of Contracts using Enabledness Preserving Finite State Abstractions" 31st IEEE/ACM International Conference on Software Engineering (ICSE) , (2009): 452-462.
  6. Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero. "Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis" LECTURE NOTES IN COMPUTER SCIENCE Volume 5813, (2009): 58-72.
  7. Sebastian Uchitel, Greg Brunet, Marsha Chechik. "Synthesis of Partial Behaviour Models from Properties and Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2009): 776-799.
  8. V. Cortellessa, S. Uchitel, D. Yankelevich. "Guest Editorial" JOURNAL OF SYSTEMS AND SOFTWARE Volume 82, no. 1 (2009): 1-2.
  9. Dalal Alrajeh, Oliver Ray, A. Russo, Sebastian Uchitel. "Using Abduction and Induction for Operational Requirements" JOURNAL OF APPLIED LOGIC Volume 5, no. 3 (2009): 275-288.
  10. Maria Grazia Buscemi, Hernán Melgratti. "Abstract Processes in Orchestration Languages" LECTURE NOTES IN COMPUTER SCIENCE Volume 5502, (2009): 301-315.
  11. SHUVENDU K. LAHIRI, SHAZ QADEER, JUAN PABLO GALEOTTI, JAN W. WOUNG, THOMAS WIES. "Intra-module Inference" LECTURE NOTES IN COMPUTER SCIENCE Volume 5643, (2009): 493-508.
  12. NICOLAS D'IPPOLITO, MARCELO FRIAS, JUAN PABLO GALEOTTI, ESTEBAN LANZAROTTI, SERGIO MERA. "Alloy+HotCore: a Fast Approximation to Unsat Core" LECTURE NOTES IN COMPUTER SCIENCE , (2009).
  13. NICOLAS ROSNER, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, MARCELO FRIAS. "ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models" LECTURE NOTES IN COMPUTER SCIENCE , (2009).
  14. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Validation of Contracts using Enabledness Preserving Finite State Abstractions" None , (2009).
  15. German Sibay, Victor Braberman, Sebastian Uchitel. "Existential Live Sequence Charts Revisited" None , (2009).
  16. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Distributed SAT-Based Analysis of Object Oriented Code" None , (2009).
  17. Howard Foster, Arun Mukhija, David Rosenblum, Sebastian Uchitel. "Engage: Engineering Service Modes with WS-Engineer and Dino" ICSOC/ServiceWave 2009 proceedings , (2009).
  18. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada. "On transforming Java like programs into memory-predictable code" None , (2009).
  19. Victor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero. "Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis" FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems , (2009).
  20. D. Garbervetsky, S. Yovine, Victor Braberman, Martin Rouaux, Alejandro Taboada. "On transforming Java-like programs into memory-predictable code." None , (2009).
  21. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models" None , (2009).
  22. ESTEBAN PAVESE, VICTOR BRABERMAN, SEBASTIAN UCHITEL. "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models." None , (2009).
  23. Dario Fischbein, Victor A. Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" ICTAC '09 Proceedings of the 6th Internationa , (2009).
  24. Paulo Henrique M. Maia, Jeff Kramer, Sebastian Uchitel, Nabor C. Mendonca. "Towards accurate probabilistic models using state refinement" Proceedings of the the 7th joint meeting of t , (2009).
  25. Sebastian Uchitel. "Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering" Lecture Notes in Computer Science , (2009).
  26. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Validation of Contracts using Enabledness Preserving Finite State Abstractions" Proceedings of the 31st International Confere , (2009).
  27. Dalal Alrajeh, Alessandra Russo, Jeff Kramer, Sebastian Uchitel. "Learning Operational Requirements from Declarative Goal Models" None , (2009).
  28. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Reducing the number of annotations in a verification-oriented imperative language" None , (2009).

2008

  1. NAZARENO AGUIRRE, MARCELO FRIAS, PABLO PONZIO, BRIAN CARDIFF, JUAN PABLO GALEOTTI, GERMAN REGIS. "Towards Abstraction for DynAlloy Specifications" LECTURE NOTES IN COMPUTER SCIENCE Volume 5256, (2008): 207-225.
  2. Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine. "Parametric Prediction of Heap Memory Requirements" ACM SIGPLAN NOTICES Volume 43, no. 8 (2008): 141-150.
  3. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Static Analysis to Detect Re-entrancy in Object Oriented Programs" Journal of Object Technology Volume 7, no. 5 (2008): 5-23.
  4. Fernando Schapachnik. "Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador" , (2008).
  5. E. Letier, J. Kramer, J. Magee, S. Uchitel. "Deriving Event-Based Transition Systems from Goal-Oriented Requirements Model" AUTOMATED SOFTWARE ENGINEERING , no. 15 (2008): 175-206.
  6. S. Uchitel, S. Easterbrook. "Guest editor's introduction" AUTOMATED SOFTWARE ENGINEERING Volume 15, no. 1 (2008): 5-6.
  7. Mario Benevides, Carla Delgado, Carlos G. Lopez Pombo, Luis Lopes, Ricardo Ribeiro. "A Compositional Automata-based Approach for Model Checking Multi-Agent Systems" Electronic notes in theoretical computer science Volume 195, (2008): 133-149.
  8. Ivan Lanese, Hernán Melgratti. "Synchronous Multiparty Synchronizations and Transactions" LECTURE NOTES IN COMPUTER SCIENCE Volume 5065, (2008): 76-95.
  9. Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto. "Multiparty Sessions in SOC" LECTURE NOTES IN COMPUTER SCIENCE Volume 5052, (2008): 67-82.
  10. ANTONIO BUCCHIARONE, JUAN PABLO GALEOTTI. "Dynamic Software Architectures Verification using DynAlloy" None , (2008).
  11. G. Sibay, S. Uchitel, V. Braberman. "Existencial Life Sequence Charts Revisited" None , (2008).
  12. Daniel Monteverde, Afredo Olivero, Sergio Yovine, Victor Braberman. "VTS-based Specification and Verification of Behavioral Properties of AADL Models" None , (2008).
  13. V. Braberman, F. Fernández, D. Garbervetsky, S. Yovine. "Parametric Prediction of Heap Memory Requirements" None , (2008).
  14. Dario Fischbein, Sebastian Uchitel. "On Correct and Complete Merging of Partial Behaviour Models" None , (2008).
  15. D. Alrajeh, A. Russo, S. Uchitel. "Deriving Non-zeno Behaviour Models from Goal models Using ILP" None , (2008).
  16. Shiva Nejati, Mehrdad Sabetsadeh, Marsha Chechik, Sebastian Uchitel, Pamela Zave. "Towards Compositional Synthesis of Evolving Systems" None , (2008).
  17. L. Duarte, J. Kramer, S. Uchitel. "Towards Faithful Model Extraction Based on Contexts" None , (2008).
  18. H. Foster, A. Mukhija, D. Rosenblum, S. Uchitel. "A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes" None , (2008).
  19. Nicolas D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel. "MTSA: The Modal Transition System Analyser" Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering , (2008).
  20. Roberto Bruni, Ivan Lanese, Leonardo Mezzina, Hernan Melgratti, Emilio Tuosto. "Trustworthy Multiparty Sessions" None , (2008).
  21. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Leveraging Modes and UML2 for Service Brokering Specifications" n/d , (2008).

2007

  1. V. Cortellessa, S. Uchitel, D. Yankelevich. "Proceedings of the 6th International Workshop on Software and Performance" , (2007).
  2. H. Foster, S. Uchitel, J. Magee, J. Kramer. "WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services" None Test and Analysis of Web Services, (2007): 87-119.
  3. Braberman, Lucangeli, Olivero, Schapachnik. ""Hypervolume Approximation in Timed Automata Model Checking" LECTURE NOTES IN COMPUTER SCIENCE Volume 4763, (2007): 69-81.
  4. MARCELO FRIAS, CARLOS LOPEZ POMBO, JUAN PABLO GALEOTTI, NAZARENO AGUIRRE. "Efficient Analysis of DynAlloy Specifications" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 17, no. 1 (2007): 1-34.
  5. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Mariano Miguel Moscato. "Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications" LECTURE NOTES IN COMPUTER SCIENCE Volume 4424, (2007): 587-601.
  6. Maria Grazia Buscemi, Hernán Melgratti. "Transactional Service Level Agreement" LECTURE NOTES IN COMPUTER SCIENCE Volume 4912, (2007): 124-139.
  7. Víctor Braberman, Alfredo Olivero, Jorge Lucángeli Obes, Fernando Schapachnik. "Hypervolume Approximation in Timed Automata Model Checking" LECTURE NOTES IN COMPUTER SCIENCE Volume 4763, (2007): 69-81.
  8. H. Foster, W. Emmerich, J. Kramer, H. Magee, D. Rosenblum, S. Uchitel. "Model Checking Service Compositions under Resource Constrains" None , (2007).
  9. Nicolas D'Ippolito, H. Foster, D. Fischbein, S. Uchitel. "MTSA: The Modal Transition System Analyser Eclipse Plugin" None , (2007).
  10. Felipe Cantal de Sousa, Nabor C. Mendonca, Jeff Kramer, Sebastián Uchitel. "Detecting Implied Scenarios from Execution Traces" None , (2007).
  11. Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti. "Modelling Dynamic Software Architectures using Typed Graph Grammars" None , (2007).
  12. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel. "Using Abduction and Induction for Operational Requirements Elaboration" None , (2007).
  13. Kicillof, Grieskamp, Tillmann, Braberman. "Achieving Both Model and Code Coverage with Automated Gray-Box Testing"" None , (2007).
  14. Mike Barnett, Manuel Fanhdrich, Diego Garbervetsky, Francesco Logozzo. "Annotations for (more) Precise Points-to Analysis" None , (2007).
  15. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Reentrancy Analysis for object oriented programs" None , (2007).
  16. M. Chechik, G. Brunet, D. Fischbein, S. Uchitel. "Partial Behavioural Models for Requirements and Early Design." None , (2007).
  17. Sebastián Uchitel, Greg Brunet, Marsha Chechik. "Behaviour Model Synthesis from Properties and Scenarios" None , (2007).
  18. H. Foster, S. Uchitel, J. Kramer, J. Magee. "Towards Self-Management in Service-oriented Computing with Modes" None , (2007).
  19. Nicolas D'Ippolito, Dario Fischbein, Howard Foster, Sebastian Uchitel. "MTSA: Eclipse support for modal transition systems construction, analysis and elaboration" Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange , (2007).

2006

  1. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Dealing with practical limitations of distributed timed model checking for timed automata" FORMAL METHODS IN SYSTEM DESIGN Volume 29, no. 2 (2006): 197-214.
  2. Sebastian Uchitel, Robert Chatley, J. Kramer, Jeff Magee. "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Engineering Journal" REQUIREMENTS ENGINEERING , no. 2 (2006): 26-56.
  3. Sebastian Uchitel, Manfred Broy, Ingolf Krueger, Jon Whittle. "Special Section on Interaction and State-Based Modeling" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 31, (2006): 997-998.
  4. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Fork Algebras as a Sufficiently Rich Universal Institution" LECTURE NOTES IN COMPUTER SCIENCE Volume 4019, (2006): 235-247.
  5. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Juan Pablo Galeotti, Nazareno M. Aguirre. "Efficient Analysis of DynAlloy Specifications" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 17, no. 1 (2006): 1-34.
  6. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo. "Interpretability of First-Order Linear Temporal Logics in Fork Algebras" JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Volume 66, (2006): 161-184.
  7. Steve Easterbrook, Sebastian Uchitel. "21st IEEE/ACM International Conference on Automated Software Engineering" , (2006).
  8. Roberto Bruni, Hernán Melgratti, Emilio Tuosto. "Translating Orc Features into Petri Nets and the Join Calculus" LECTURE NOTES IN COMPUTER SCIENCE Volume 4184, (2006): 123-137.
  9. Roberto Bruni, Hernán Melgratti. "Dynamic Graph Transformation Systems" LECTURE NOTES IN COMPUTER SCIENCE Volume 4178, (2006): 230-244.
  10. Davide Bacciu, Alessio Botta, Hernán Melgratti. "A Fuzzy Approach for Negotiating Quality of Services" LECTURE NOTES IN COMPUTER SCIENCE Volume 4661, (2006): 200-217.
  11. Roberto Bruni, Hernán Melgratti. "Non-sequential Behaviour of Dynamic Nets" LECTURE NOTES IN COMPUTER SCIENCE Volume 4024, (2006): 105-124.
  12. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Nominal Calculi" LECTURE NOTES IN COMPUTER SCIENCE Volume 4137, (2006): 295-309.
  13. Víctor Braberman, Diego Garbervetsky, Sergio Yovine. "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption" Journal of Object Technology Volume 5, no. 5 (2006): 31-58.
  14. JUAN PABLO GALEOTTI, MARCELO FRIAS. "Dynalloy as a formal method for the analysis of Java programs" None Software Engineering Techniques: Design for Quality, (2006): 249-260.
  15. Victor A. Braberman, Diego Garbervetsky, Sergio Yovine. "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption" Journal of Object Technology Volume 05, (2006): 31-58.
  16. Dalal Alrajeh, Oliver Ray, Allesandra Russo, Sebastián Uchitel. "Extracting requirements from scenarios with ILP" None , (2006).
  17. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Mariano Miguel Moscato. "Dynamite: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications" None , (2006).
  18. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Dynamic Graph Grammars" None , (2006).
  19. MARCELO FRIAS, JUAN PABLO GALEOTTI. "Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects" None , (2006).
  20. Darío Fishbein, Sebastián Uchitel, Victor A. Braberman. "A Foundactions for Software Behavioural Conformance in Software product Line Architectures" None , (2006).
  21. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Optimizing timed Automata model Checking via Clock Reordering" None , (2006).
  22. Lucía Cavatorta, Guido de Caso, Andrés Ferari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero. "A Toolsuite for the Verification of Real- Time Systems in Eclipse" None , (2006).
  23. Guido de Caso, Lucía Cavatorta, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "A Toolsuite for the Verification of RealTime Systems in Eclipse" None , (2006).
  24. Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervertsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "A Toolsuite for the Verification of Real-Time Systems in Eclipse" None , (2006).
  25. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Optimizing Timed Automata Model Checking via Clock Reordering" None , (2006).
  26. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Modes for Software Architecture" None , (2006).
  27. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel. "Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning" None , (2006).
  28. G. Brunet, M. Chechik, S. Uchitel. "Properties of Behavioural Model Merging" None , (2006).
  29. D. Fischbein, S. Uchitel, V. Braberman. "A Foundation for Behavioural Conformance in Software Product Line Architectures" None , (2006).
  30. L. Duarte, J. Kramer, S. Uchitel. "Model Extraction Based on Context Information" None , (2006).
  31. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer. "WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography" None , (2006).
  32. H. Foster, J. Magee, J. Kramer, S. Uchitel. "Adaptable Software Aechitectures and Task Synthesis for UAVs" None , (2006).
  33. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Model Based Analysis of Obligations in Web Service Choreography" None , (2006).

2005

  1. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Issues in distributed timed model checking: Building Zeus" International Journal on Software Tools for Technology Transfer (STTT) Volume 7, no. 1 (2005): 4-18.
  2. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus" Electronic Notes in Theoretical Computer Science Volume 128, no. 3 (2005): 3-18.
  3. Victor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata" FORMAL METHODS IN SYSTEM DESIGN Volume 29, (2005): 197-214.
  4. Diego Garbervetsky, Chaker Naghli, Sergio Yovine, Hichem Zorgati. "Program Instrumentation and Run-Time Analysis of Scoped Memory in Java" Electronic Notes in Theoretical Computer Sciences Volume 113, (2005): 105-121.
  5. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Thomas S. E. Maibaum. "Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY Volume 14, (2005): 478-526.
  6. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky. "Fast Escape Analysis for Region-based Memory Management" Electronic Notes in Theoretical Computer Science Volume 131, (2005): 99-110.
  7. Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernán Melgratti, Ugo Montanari. "Comparing Two Approaches to Compensable Flow Composition" LECTURE NOTES IN COMPUTER SCIENCE Volume 3653, (2005): 383-397.
  8. Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto. "From Theory to Practice in Transactional Composition of Web Services" LECTURE NOTES IN COMPUTER SCIENCE Volume 3670, (2005): 272-286.
  9. Victor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "On-the-fly Workload Prediction and Redistribution in the Distributed Time Model Cheker Zeus" Electr. Notes Theor. Comput. Sci. Volume 128, (2005): 3-18.
  10. Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "A Scenario-Matching Approach to the Description and Model Checking of Real -TimeProperties" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Volume 31, no. 12 (2005): 1028-1041.
  11. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Issues in distributed timed model checking" International Journal on Software Tools for Technology Transfer (STTT) Volume 7, no. 1 (2005): 4-18.
  12. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Levering Eclipse for Integrated Model-Based Engineering of Web Service compositions" None , (2005).
  13. Geniana Rodriguez, David Rosenblum, Sebastian Uchitel. "Sensitivity analysis for Secenario-Based Reliability Prediction Model" None , (2005).
  14. G. Rodrigues, D. Rosenblum, S. Uchitel. "Reliability Predicion in Model Driven Development" None , (2005).
  15. Marcelo Fabián Frias, Juan Pablo Galeotti, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre. "DynAlloy: upgrading Alloy with actions" None , (2005).
  16. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, NAZARENO AGUIRRE. "DynAlloy: Upgrading Alloy with Actions (Extended Abstract)" None , (2005).
  17. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, MARIO ROMAN. "Fork Algebras as a Formalism to Reason Across Behavioral Specifications (Extended Abstract)" None , (2005).
  18. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, NAZARENO AGUIRRE. "DynAlloy: upgrading alloy with actions" None , (2005).
  19. Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine. "JScoper: Eclipse support for research on scoping and instrumentation for real time Java Applications" None , (2005).
  20. Victor A. Braberman, Diego Garbervetsky, Sergio Yovine. "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs" None , (2005).
  21. Andrés Ferrari, Diego Garbervetsky, Víctor Braberman, Pablo Listingart, Sergio Yovine. "JScoper: Eclipe support for Research on Scoping and Instrumentation for Real Time Java Applications" None , (2005).
  22. Víctor Braberman, Diego Garbervetsky, Sergio Yovine. "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs" None , (2005).
  23. Emmanuel letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. "Fluent Temporal Logic for Discrete-Time Event-Based Models" None , (2005).
  24. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Using a Rigorous Approach of Engineering Web Service Compositions: A Case Study" None , (2005).
  25. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Tool Support for Model-Based Engineering of Web Service Compositions" None , (2005).
  26. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Monitoring and Control in Scenario-Based Requirements Analysis" None , (2005).
  27. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Web Service Compositions: From XML Syntax to Service Model" None , (2005).
  28. Geniana Rodriguez, David Rosenblum, Sebastian Uchitel. "Using Scenarios to Predict Reliability for Concurrent Component Based Systems" None , (2005).
  29. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Theoretical foundations for compensations in flow composition languages" Sigplan notices , (2005).

2004

  1. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Elaboration of Behaviour Models using Implied Scenarios" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , no. 1 (2004): 37-85.
  2. Victor A. Braberman, Diego Garbervetsky, Alfredo Olivero. "A Time Automata Slicer Based on Observers" LECTURE NOTES IN COMPUTER SCIENCE Volume 3114, (2004): 470-474.
  3. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero. "ObsSlice: A Timed Automata Slicer Based on Observers" LECTURE NOTES IN COMPUTER SCIENCE Volume 3114, (2004): 470-474.
  4. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre. "An equational calculus for Alloy" LECTURE NOTES IN COMPUTER SCIENCE Volume 3308, (2004): 162-175.
  5. Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" None , (2004).
  6. Alejandra Alfonso, Víctor Braberman, Diego Garbervertsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" None , (2004).
  7. Sebastian Uchitel, Rebert Chatley, Jeff Kramer, Jeff Magee. "Fluent-Based Animation: Exploting the Relation between Goals and Scenarios" None , (2004).
  8. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "Compatibility Verification for Web Service Choreography" None , (2004).
  9. R. Chatley, S. Eisenbach, J. Kramer, J. Magee, S. Uchitel. "Predictable Dynamic Plugin System" None , (2004).
  10. Sebastian Uchitel, Marsha Chechik. "Merging Partial Behavioural Models" None , (2004).
  11. Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee. "System Architecture: the Context for Scenario-based Model Synthesis" None , (2004).
  12. A. Alfonso, Victor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "Visual Tmed Event Scenarios" ICSE: International Conference on Software Engineering , (2004).
  13. A. Alfonso, Victor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "Visual Tmed Event Scenarios" None , (2004).
  14. Alejandra Alfonso, Victor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik. "Vin-Time: Combing High-Level Finesse with Low-Level Muscle to Verify Real-Time systems" None , (2004).
  15. Alberto Baragatti, Roberto Bruni, Hern[an Melgratti, Ugo Montanari, Giorgio Spagnolo. "Prototype Platforms for Distributed Agreements" Electronic Notes in Theoretical Computer Science , (2004).
  16. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Nested Commits for Mobile Calculi: Extending Join" Exploring New Frontiers of Theoretical Informatics , (2004).

2003

  1. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Synthesis of Behavioural Models from Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , no. 2 (2003): 99-115.
  2. Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Software Architecture Modeling and Analysis: A Rigorous Approach" None Formal Methods for Software Architecture, (2003): 44-51.
  3. Ingolf Krueger, Sebastian Uchitel, Jon Whittle, Albert Zundorf. "A Summary of the ICSE 2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" ACM SOFTWARE ENGINEERING NOTES Volume 28, no. 6 (2003): 9-10.
  4. Victor A. Braberman, Afredo Olivero, Fernando Schapachnik. "ZEUS: A Distributed Timed Model- Checker Based on KRONOS" Electr. Notes Theor. Comput. Sci. Volume 68, no. 4 (2003): 503-522.
  5. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Thomas S. E. Maibaum. "Taking Alloy to the movies" LECTURE NOTES IN COMPUTER SCIENCE Volume 2805, (2003): 678-697.
  6. S. Uchitel, R. Chatley, J. Kramer, J. Magee. "Tool Support for Behaviour Model Elaboration Using Implied Scenarios" None , (2003).
  7. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Verification of Web Service Compositions" None , (2003).
  8. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Synthesis of Partial Labelled Transition Systems" None , (2003).
  9. Victor A. Braberman, Fernando Oliveto, Matías Blaunstein. "Scenario-based Validation and Verification for Real time Software: On run Conformance and Coverage for MSC-graphs" None , (2003).
  10. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Visual Methods for Web Application Design. Tech note at Symposium on Visual and Multimedia Software Engineering" None , (2003).
  11. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Simulation of Web Application for Usability Assesment" None , (2003).
  12. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Modeling Undefined Behaviour in Scenarios Synthesis" None , (2003).
  13. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Flat Committed Join in Join" Electronic Notes in Theoretical Computer Science , (2003).

2002

  1. Victor Braberman, Carlos Gustavo Lopez Pombo, Alfredo Olivero. "On Improving Backwards Verification for Timed Automata" Electronic notes in theoretical computer science Volume 65, (2002): 1-8.
  2. Victor A. Braberman, Carlos López Pombo, Alfredo Olivero. "On Improving Backwards Verification Time Automata" Electr.notes Theror. Comput. Sci. Volume 65, no. 6 (2002): 60-67.
  3. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero. "Improving the Verification of Timed Systems Using Influence Information" LECTURE NOTES IN COMPUTER SCIENCE Volume 2280, (2002): 21-36.
  4. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Zeus: A Distributed Timed Model-Checker Based on Kronos" Electronic Notes in Theoretical Computer Science Volume 68, no. 4 (2002): 503-522.
  5. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Implied Scenario Detection in the Presence of Behaviour Constraints" Electronic Notes in Theoretical Computer Science Volume 65, (2002): 1-20.
  6. Victor A. Braberman, Diego Garbervetsky, Alfredo Olivero. "Improving the Verification of Time Systems Using Influence Information" LECTURE NOTES IN COMPUTER SCIENCE Volume 2280, (2002): 21-36.
  7. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "An Architecture Centric Approach for the Development of a Distributed Model Checker" None , (2002).
  8. Sebastián Blaustein, Fernando Oliveto, Victor Braberman. "Observing timed systems by means of messages sequence chart graphs" None , (2002).
  9. Fernando Schapachnik, Víctor Braberman, Alfredo Olivero. "An Architecture-centric approach to the development of a distributed model-checker for time automata" None , (2002).
  10. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Implied Scenerios Detection in the Presence of Behaviour Constraints" None , (2002).
  11. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Negative Scenarios for Implied Scenario elicitation" None , (2002).

2001

  1. Victor A. Braberman, Alfredo Olivero. "Extending Timed Automata for Compositional Modeling Healthy Timed Systems" Electric Notes Theory in Computer Science Volume 52, no. 3 (2001): 1-19.
  2. Victor A. Braberman, Alfredo Olivero. "Preserving Branching-time Structure in timed Systems" Jaiio Jornadas Argentinas de Informática , (2001).
  3. Victor A. Braberman, Alfredo Olivero. "Preserving Branching-time Structure in timed Systems" None , (2001).
  4. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Detecting Implied Scenarios in Message Sequence chart Specifications" None , (2001).
  5. Sebastian Uchitel, Jeff Kramer. "A Workbench for Synthesising Behaviour Models from Scenarios" None , (2001).
  6. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "From Sequence Diagrams to Behaviour Models" None , (2001).
  7. P. Inverardi, S. Uchitel. "Proving Deadlock Freedom in component Based Programming" None , (2001).

2000

  1. Victor A. Braberman, Fabio Pieniazck. "Duration Properties over Real Time System Designs" None , (2000).
  2. Sebastian Uchitel, Daniel Yankelevich. "Enhancing Architecture Mismatch Detection with Assumptions" None , (2000).

1999

  1. Victor A. Braberman, Miguel Felder. "Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 1687, (1999): 494-510.
  2. Victor A. Braberman, Miguel Felder. "Automatic Verifiction of Real-Time-Designs" None , (1999).
  3. Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich. "Towards a Periodic Table of Connectors. In proceedings of First Symposium on software Technology" None , (1999).

1998

  1. Victor A. Braberman, Dang Vna Hung. "On Checking Timed Automata For Linear Duration Invariants" None , (1998).

1997

  1. Victor A. Braberman. "On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems" None , (1997).
  2. G. Matera, Rosa Wachenchauzer, Victor A. Braberman. "The TERA Development Group as Interface between mathematician and Computer Scientists" None , (1997).
  3. Victor A. Braberman, Marina Marré, Miguel Felder. "Testing Timing Behaviors of Real Time Software" None , (1997).

1996

  1. Luciano Baresi, Victor A. Braberman, Miguel Felder, Mauro Pezze, Fabio Pieniazeck. "A Practical Approach to Formal Design of Real-time Systems" None , (1996).
  2. Victor A. Braberman, Fabio Pieniazck, Miguel Felder. "Enhancing the adoption of Formal Methods to Design Real Time Systems" None , (1996).
  3. M. Bobrowski, S. Uchitel , D. Yankelevich. "CML as a development tool: A Case Study" 25th Jornadas Argentinas de Informatica e Investigación Operativa , (1996).