2020

  1. 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).
  2. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Bayesian network semantics for Petri nets" THEORETICAL COMPUTER SCIENCE Volume 807, (2020): 95-113. [link]
  3. 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. [link]
  4. ANDREA ARCURI, JUAN PABLO GALEOTTI. "Handling SQL Databases in Automated System Test Generation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2020). [link]
  5. 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. [link]
  6. ANDREA ARCURI, JUAN PABLO GALEOTTI. "Testability Transformations For Existing APIs" IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 , (2020). [link]
  7. Iván Arcuschin Moreno, Juan P. Galeotti, Diego Garbervetsky. "Algorithm or Representation? An empirical study on how SAPIENZ achieves coverage" 1st IEEE/ACM International Conference on Automation of Software Test , (2020). [link]
  8. Sebastian Zudaire, Martin Garret, Sebastian Uchitel. "Iterator-Based Temporal Logic Task Planning" International Conference on Robotics and Automation (ICRA 2020) , (2020).

2019

  1. 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).
  2. 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).
  3. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Concurrency and Probability: Removing Confusion, Compositionally" LOGICAL METHODS IN COMPUTER SCIENCE (LMCS) , (2019).
  4. 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. [link]
  5. 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. [link]
  6. 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.
  7. Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski. "Reversing P/T nets" LECTURE NOTES IN COMPUTER SCIENCE Volume 1153, (2019): 19-36.
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Bayesian network semantics for Petri nets" THEORETICAL COMPUTER SCIENCE , (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" 2019 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" 41st International Conference on Software Engineering: New Ideas and Emerging Results , (2019). [link]
  12. L. Nahabedian, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, jeff kramer, UCHITEL SEBASTIAN. "Dynamic Reconfiguration of Business Processes" Business Process Management - 17th International Conference , (2019).
  13. Andrea Arcuri, JUAN PABLO GALEOTTI. "SQL Data Generation to Enhance Search-Based System Testing" Genetic and Evolutionary Computation Conference, GECCO 2019 , (2019). [link]
  14. Ivan Postolski, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Simulator-based diff-time performance testing" ICSE Nier Track , (2019).
  15. Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, J. Kramer, S. Uchitel. "Dynamic Reconfiguration of Business Processes." Business Process Management 2019 , (2019).
  16. POSTOLSKI IVAN, BRABERMAN VICTOR, Diego Garbervetsky, UCHITEL SEBASTIAN. "Simulator-based diff-time performance testing" Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019 , (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. [link]
  2. 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).
  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. Fabio Gadducci, Hernán Melgratti, Christian Roldán. "On the semantics and implementation of replicated data types" SCIENCE OF COMPUTER PROGRAMMING , (2018).
  6. 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). [link]
  7. Juan Pablo Galeotti, Alessandra Gorla. "Proceedings of the 11th International Workshop on Search-Based Software Testing" , (2018). [link]
  8. 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]
  9. Gustavo Del Dago, Fernando Schapachnik. "¿Somos todos iguales en Internet?" , (2018).
  10. Gustavo Del Dago, Fernando Schapachnik. "¿Existe la mejor computadora?" , (2018).
  11. 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" 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) , (2018).
  12. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik. "On Observing Contracts: Deontic Contracts Meet Smart Contracts." The 31st International Conference on Legal Knowledge and Information Systems , (2018). [link]
  13. godoy javier, BRABERMAN VICTOR, Diego Garbervestky, UCHITEL SEBASTIAN. "Testing and Validating End User Programmed Calculated Fields" Industry Track for ECSE/FSE 2018 , (2018).
  14. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Concurrency and Probability: Removing Confusion, Compositionally." Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , (2018).
  15. Sina Shamshiri, Jose Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser. "How Do Automatically Generated Unit Tests Influence Software Maintenance?" 11th IEEE Conference on Software Testing, Validation and Verification , (2018). [link]

2017

  1. Fernando Asteasuain, BRABERMAN VICTOR. "Declaratively building behavior by means of scenario clauses" REQUIREMENTS ENGINEERING , (2017). [link]
  2. Juan Pablo Galeotti, Justyna Petke. "Proceedings of the 10th International Workshop on Search-Based Software Testing" , (2017). [link]
  3. Fabio Gadducci, Hernán Melgratti, Christian Roldán. "A denotational view of replicated data types" LECTURE NOTES IN COMPUTER SCIENCE , (2017).
  4. 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. [link]
  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. [link]
  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. [link]
  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). [link]
  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" 32nd IEEE/ACM International Conference on Automated Software Engineerin , (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" 2017 11th Joint Meeting on Foundations of Software Engineering , (2017). [link]
  14. Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits. "Toward full elasticity in distributed static analysis: the case of callgraph analysis" 11th Joint Meeting on Foundations of Software Engineering , (2017). [link]
  15. Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi. "Static analysis for optimizing big data queries" 11th Joint Meeting on Foundations of Software Engineering , (2017). [link]
  16. Sanzo; Alfredo, Fernando Schapachnik, Pablo Factorovich, Federico Sawady O'Connor. "Pilas Bloques: a Scenario-Based Children Learning Platform" 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" 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems , (2017). [link]
  20. Leandro Nahabedian. "Dynamic Update of Business Process Management" Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on , (2017). [link]
  21. Fernando Paulovsky, Diego Garbervetsky, Esteban Pavese. "High-coverage testing of navigation models in Android applications" 12th International Workshop on Automation of Software Testing , (2017). [link]
  22. Nikolas Havrikov, Alessio Gambi, ANDREAS ZELLER, Andrea Arcuri, JUAN PABLO GALEOTTI. "Generating unit tests with structured system interactions" 12th International Workshop on Automation of Software Testing , (2017). [link]
  23. Guido Chari, Diego Garbervetsky, Stefan Marr. "Fully-reflective VMs for ruling software adaptation" 39th International Conference on Software Engineering , (2017). [link]

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. [link]
  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" 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" 55th IEEE Conference on Decision and Control, CDC 2016, , (2016).
  19. Natalia Rodriguez, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "Stochastic Generalized Reactivity (1) Games" 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. Natalia Rodriguez, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "2.5 Player Generalized Reactivity (1) Games" International Conference on Decision and Control , (2016).
  22. 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).
  23. 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).
  24. 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" 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" 9th International Workshop on Search-Based Software Testing , (2016). [link]
  26. 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). [link]
  27. L. Nahabedian, BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, S. Honiden, jeff kramer, k.Tei, UCHITEL SEBASTIAN. "Assured and Correct Dynamic Update of Controllers" SEAMS: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  28. 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).
  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).

2015

  1. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "cJoin: Join with communicating transactions" MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Volume 25, no. 3 (2015).
  2. 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. [link]
  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. Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel. "Using contexts to extract behaviour models from code" SOFTWARE AND SYSTEMS MODELING , (2015).
  5. Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behaviour abstrac- tion adequacy criteria for api call protocol testing" SOFTWARE TESTING, VERIFICATION & RELIABILITY , (2015).
  6. 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. [link]
  7. 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. [link]
  8. 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. [link]
  9. 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. [link]
  10. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Normal Form for Stateful Connectors." LECTURE NOTES IN COMPUTER SCIENCE , (2015).
  11. 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.
  12. Fernando Asteasuain, Victor A. Braberman. "Specification patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING Volume 25, (2015): 669-700.
  13. 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. [link]
  14. 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.
  15. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM Volume 58, (2015): 65-72. [link]
  16. Gordon Pace, Gerardo Schneider, Fernando Schapachnik. "Conditional Permissions in Contracts" 28th International Conference on Legal Knowledge and Information Systems , (2015). [link]
  17. Guido Chari, Diego Garbervetsky, Stefan Marr, Stephane Ducasse. "Towards fully reflective environments" 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software , (2015). [link]
  18. 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" 9º Jornadas de Vinculación Universidad - Industria , (2015).
  19. Victor Braberman, Nicolas D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel. "MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation" 1st Workshop on Control Theory for Software Engineering co-located with ESEC/FSE , (2015).
  20. BRABERMAN VICTOR, DIPPOLITO R. NICOLAS, Daniel Sykes, UCHITEL SEBASTIAN. "Robust Degradation and Enhancement of Robot Mission Behaviour in Unpredictable Environments" 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" 1st International Workshop on Control Theory for Software Engineering, , (2015).
  22. Nicolas D'Ippolito, Victor Braberman, Daniel Sykes, Sebastian Uchitel. "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" 1st Workshop on Control Theory for Software Engineering co-located with ESEC/FSE , (2015).
  23. 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" JUI - Jornadas de Vinculación Universidad-Industria , (2015). [link]
  24. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Generating TCP/UDP Network Data for Automated Unit Test Generation" 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering , (2015).
  25. Sebastián Sardiña, Nicolas D'Ippolito. "Towards Fully Observable Non-deterministic Planning as Assumption-based Automatic Synthesis" International Joint Conference on Artificial Intelligence , (2015).
  26. Antonio Filieri, Martina Maggio , Konstantinos Angelopoulos, Nicolas D'Ippolito. "Software Engineering meets Control Theory" 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2015).
  27. Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, Nazareno Aguirre. "Specifying Event-Based Systems with a Counting Fluent Temporal Logic" International Conference on Software Engineering , (2015).
  28. Kevin Salvesen, JUAN PABLO GALEOTTI, FLORIAN GROSS, GORDON FRASER, ANDREAS ZELLER. "Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing" 8th International Workshop on Search-Based Software Testing , (2015).
  29. Ignacio Vissani, Carlos Gustavo Lopez Pombo, Emilio Tuosto. "Communicating machines as a dynamic binding mechanism of services." International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software , (2015). [link]

2014

  1. 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. [link]
  2. Victor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2014). [link]
  3. Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2014). [link]
  4. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM Volume 58, (2014): 65-72.
  5. Fernando Asteasuain, Victor A. Braberman. "Speci cation patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING , (2014).
  6. 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. [link]
  7. 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. [link]
  8. Laura Bocchi, Hernán Melgratti. "On the Behaviour of General-Purpose Applications on Cloud Storages" LECTURE NOTES IN COMPUTER SCIENCE Volume 8379, (2014): 1-19.
  9. Laura Bocchi, Hernán Melgratti. "On the behaviour of general-purpose applications on cloud storages" Service Oriented Computing and Applications , (2014).
  10. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "From Hierarchical BIP to Petri Calculus" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  11. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamics" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  12. Laura Bocchi, Hernán Melgratti, Emilio Tuosto. "Resolving Non-determinism in Choreographies" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  13. Alexander Kampmann, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "JTACO: Test Execution for Faster Bounded Verification" LECTURE NOTES IN COMPUTER SCIENCE Volume 8570, (2014): 134-141. [link]
  14. MARCOS CHICOTE, DANIEL CIOLEK, JUAN PABLO GALEOTTI. "Practical JFSL verification using TACO" SOFTWARE: PRACTICE AND EXPERIENCE Volume 44, no. 3 (2014): 317-334. [link]
  15. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik. "Contract Automata with Reparations" 27th International Conference on Legal Knowledge and Information Systems , (2014). [link]
  16. Nikolas Havrikov, Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "XMLMate: evolutionary XML test generation" 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering , (2014). [link]
  17. Hernan Czemerinski, Victor A. Braberman, Sebastián Uchitel. "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" 15 Simposio Argentino de Ingeniería de Software , (2014).
  18. 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).
  19. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automated unit test generation for classes with environment dependencies" 2014 International Conference on Automated Software Engineering , (2014). [link]
  20. 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" JUI - Jornadas de Vinculación Universidad-Industria , (2014). [link]
  21. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Loop Invariants by Mutation, Dynamic Validation, and Static Checking" 5th International Workshop on Invariant Generation (WING 2012) , (2014). [link]
  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" 36th International Conference on Software Engineering ICSE 2014 , (2014). [link]
  23. Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel. "Automated Goal Operationalisation Based on Interpolation and SAT Solving" 36th International Conference on Software Engineering , (2014). [link]
  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" 36th International Conference on Software Engineering , (2014). [link]
  25. 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).
  26. 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" 36th International Conference on Software Engineering , (2014). [link]
  27. Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik. "Engaging High School Students Using Chatbots" 19th Annual Conference on Innovation and Technology in Computer Science Education , (2014).
  28. 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). [link]
  29. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" Formal Methods 2014 , (2014). [link]
  30. 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).
  31. Sebastián Sznur, Juan Martín Brun, María Belén Ruffa, Máximo Martínez, Fernando Schapachnik. "Análisis de consistencia de la legislación de defensa al consumidor mediante métodos formales" III Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2014).
  32. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidović, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" 19th International Symposium on Formal Methods FM 2014 , (2014). [link]
  33. Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Test generation across multiple layers" 7th International Workshop on Search-Based Software Testing , (2014). [link]
  34. JUAN PABLO GALEOTTI, GORDON FRASER, ANDREA ARCURI. "Extending a search-based test generator with adaptive dynamic symbolic execution" 2014 International Symposium on Software Testing and Analysis , (2014). [link]

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). [link]
  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. [link]
  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. [link]
  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). [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  16. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamicity" LECTURE NOTES IN COMPUTER SCIENCE , (2013).
  17. Laura Bocchi, Hernán Melgratti. "On the Behaviour of General-Purpose Applications on Cloud Storages" 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. [link]
  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). [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  28. JUAN PABLO GALEOTTI, Gordon Fraser, Andrea Arcuri. "Improving search-based test suite generation with dynamic symbolic execution" 24th International Symposium on Software Reliability Engineering , (2013). [link]
  29. Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi. "On Verifying Resource Contracts using Code Contracts" First Latin American Workshop on Formal Methods , (2013). [link]
  30. PABLO BENDERSKY, JUAN PABLO GALEOTTI, Diego Garbervetsky. "The DynAlloy Visualizer" 2013 Latin American Workshop on Formal Methods , (2013). [link]
  31. RODRIGO CASTAÑO, JUAN PABLO GALEOTTI, Diego Garbervetsky, JONATHAN TAPICER, EDGARDO ZOPPI. "On Verifying Resource Contracts using Code Contracts" 2013 Latin American Workshop on Formal Methods , (2013). [link]
  32. Shoham Ben David, Marsha Chechik, Sebastian Uchitel. "Merging Partial Behaviour Models with Different Vocabularies" 24th International Conference on Concurrency Theory (CONCUR 2013) , (2013). [link]
  33. Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky. "The DynAlloy Visualizer" First Latin American Workshop on Formal Methods , (2013). [link]
  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" 2012 International Symposium on Software Testing and Analysis , (2013). [link]
  35. Gordon Pace, Fernando Schapachnik. "Synthesising Implicit Contracts" 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" 35th International Conference on Software Engineering (ICSE 2013) , (2013). [link]
  37. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" 35th International Conference on Software Engineering (ICSE 2013) , (2013).
  38. Victor Braberman, NICOLAS D´IPPOLITO, NIR PITERMAN, Daniel Sykes, Sebastián Uchitel. "Controller synthesis: from modelling to enactment" 2013 International Conference on Software Engineering (ICSE 2013) , (2013). [link]
  39. Esteban Pavese, Victor A. Braberman, Sebastián Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" 35th International Conference on Software Engineering (ICSE 2013) , (2013).
  40. Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel. "Controller synthesis: from modelling to enactment" 35th International Conference on Software Engineering (ICSE 2013) , (2013). [link]
  41. Michael Barnett, Martin Nordio, Judith Bishop, Karin K. Breitman, Diego Garbervetsky. "3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)" International Workshop on Developing Tools as Plug-ins TOPI 2013 , (2013). [link]
  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" 6th International Conference on Software Testing, Verification and Validation , (2013). [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  19. Gordon Pace, Fernando Schapachnik. "Types of Rights in Two-Party Systems: A Formal Analysis" 25 International Conference on Legal Knowledge and Information Systems , (2012). [link]
  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" 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" International Conference on Software Engineering , (2012). [link]
  22. Gordon Pace, Fernando Schapachnik. "Contracts for Interacting Two-Party Systems" Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software , (2012). [link]
  23. Luciana Benotti, María Emilia Echeveste, Fernando Schapachnik. "Despertando vocaciones en computación mediante el uso de autómatas de chat" VI Jornadas de Vinculación Universidad-Industria, 41 JAIIO , (2012). [link]
  24. German Sibay, Sebastian Uchitel, Victor Braberman, Jeff Kramer. "Distribution of Modal Transition Systems" 18th International Symposium on Formal Methods FM 2012 , (2012).
  25. Esteban Pavese, Gervasio Pérez, Fernando Schapachnik. "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" Argentine Symposium on Software Engineering , (2012). [link]
  26. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" 18th International Symposium on Formal Methods FM 2012 , (2012).
  27. Manuel Giménez, Sergio Mera, Fernando Schapachnik. "Detección automática de defectos normativos, una invitación a la colaboración" Primer Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2012). [link]
  28. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Distribution of Modal Transition Systems" 18th Intl. Symposium on Formal Methods (FM 2012) , (2012).
  29. DIPPOLITO R. NICOLAS, Victor Braberman, NIR PITERMAN, Sebastián Uchitel. "The Modal Transition System Control Problem" 18th Intl. Symposium on Formal Methods (FM 2012) , (2012).
  30. Gordon Pace, Manuel Giménez, Fernando Schapachnik. "Permisos en contratos, una mirada lógica" Primer Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informática , (2012). [link]
  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" 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012 , (2012).
  33. MARCOS CHICOTE, JUAN PABLO GALEOTTI. "TacoPlug: An Eclipse plug-in for TACO" Developing Tools as Plug-ins , (2012). [link]
  34. JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Inferring Loop Invariants Dynamically" 4th International Workshop on Invariant Generation (WING) , (2012). [link]
  35. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Learning from Vacuously Satisfiable Scenario-Based Specifications" 15th International Conference Fundamental Approaches to Software Engineering, FASE 2012 , (2012).
  36. Sergio Mera, Fernando Schapachnik. "Common Semantics and Complexity - An NMAS Research Agenda Proposal" NorMAS 2012 , (2012). [link]

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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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. [link]
  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" 24rd International Conference on Legal Knowledge and Information , (2011). [link]
  19. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" SEFM 2011: Software Engineering and Formal Methods , (2011).
  20. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "A Software Tool for Legal Drafting" 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2011) , (2011). [link]
  21. Manuel Giménez, Sergio Mera, Fernando Schapachnik. "Detección automática de defectos normativos, una invitación a la colaboración" Simposio Argentino de Informática y Derecho , (2011). [link]
  22. Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel. "CSSL: a logic for specifying conditional scenarios" 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" 21st International Conference, ILP 2011 , (2011). [link]
  24. JUAN PABLO GALEOTTI. "Análisis modular y recuperación de contraejemplos en TACO" 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" 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" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  27. Edgardo Zoppi, Victor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" TOPI 2011: 1st Workshop on Developing Tools as Plug-ins , (2011).
  28. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Program Abstractions for Behaviour Validation" International Conference on Software Engineering (ICSE) , (2011).
  29. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" International Conference on Software Engineering (ICSE) , (2011).
  30. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" 33rd International Conference on Software Engineering , (2011). [link]
  31. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Pest: from the lab to the classroom" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  32. Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux. "Resource Usage Contracts for .NET" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  33. NICOLAS D´IPPOLITO, Victor A. Braberman, NIR PITERMAN, Sebastián Uchitel. "Synthesis of live behaviour models for fallible domains" International Conference on Software Engineering (ICSE 2011) , (2011).
  34. Guido de Caso, Victor A. Braberman, Diego Garbervestky, Sebastián Uchitel. "Program Abstractions for Behaviour Validation" International Conference on Software Engineering (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" TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - ICSE 2011 , (2011).
  36. Diego Garbervetsky, Daniel Gorín, Ariel Neisen. "Enforcing Structural Invariants Using Dynamic Frames" TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS) 2011 , (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. [link]
  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" 23rd International Conference on Legal Knowledge and Information , (2010).
  11. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" ACM-SIGSOFT Intl. Symposium on Foundations of Software Engineering , (2010). [link]
  12. NICOLAS D´IPPOLITO, Victor A. Braberman, NIR PITERMAN, SEBASTIAN UCHITEL. "Synthesis of Live Behaviour Models" ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering , (2010).
  13. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering , (2010). [link]
  14. Maria Grazia Buscemi, Hernán Melgratti. "Controllability and Abstraction in Business Processes" Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software , (2010).
  15. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "Verificación automática de documentos normativos: ¿ficción o realidad?" SID 2010, Simposio Argentino de Informática y Derecho, 39JAIIO , (2010).
  16. Fernando Asteasuain, Victor A. Braberman. "Exploring visual scenarios as an aspect-oriented modeling language" 11th Argentine Symposium on Software Engineering (ASSE 2010) - 39th Argentine Conference on Informatics (JAIIO 2010) , (2010).
  17. Maria Grazia Buscemi, Hernán Melgratti. "Contracts for Abstract Processes in Service Composition" Foundations for Interface Technologies , (2010). [link]
  18. Fernando Asteasuain, Victor Braberman. "Specification patterns can be formal and still easy" 22nd International Conference on Software Engineering and Knowledge Engineering , (2010).
  19. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Analysis of Invariants for Efficient Bounded Verification" Nineteenth International Symposium on Software Testing and Analysis , (2010). [link]
  20. Juan Pablo Galeotti, Nicolas Rosner, Carlos G. Lopez Pombo, Marcelo F. Frias. "TACO: Analysis of Invariants for Efficient Bounded Verification" ISSTA 2010 -- International Symposium on Software Testing and Analysis , (2010).
  21. Esteban Pavese, Victor Braberman, Sebastián Uchitel. "My Model Checker Died! How Well Did It Do?" International 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" 6th International Colloquium on Theoretical Aspects of Computing (ICTAC) , (2010).
  23. Esteban Pavese, Sebastian Uchitel, Victor Braberman. "My Model Checker Died! How Well Did It Do?" QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010) , (2010). [link]

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" IEEE/ACM International Conference on Software Engineering (ICSE) , (2009).
  15. German Sibay, Victor Braberman, Sebastian Uchitel. "Existential Live Sequence Charts Revisited" International Conference on Software Engineering (ICSE) , (2009).
  16. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Distributed SAT-Based Analysis of Object Oriented Code" Symposium on Automatic Program Verification , (2009). [link]
  17. Howard Foster, Arun Mukhija, David Rosenblum, Sebastian Uchitel. "Engage: Engineering Service Modes with WS-Engineer and Dino" International Conference on Service-Oriented Computing – ICSOC / Service Wave , (2009). [link]
  18. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada. "On transforming Java like programs into memory-predictable code" 7th International Workshop on Java Technologies for Real-time and Embedded Systems , (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" The 7th International Conference on Formal Modelling 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." 7th International Workshop on Java Technologies for Real-time and Embedded Systems , (2009).
  21. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models" Joint European Software Engineering Conference and ACM Symposium on Foundations Software Engineering (ESEC/FSE) , (2009).
  22. ESTEBAN PAVESE, VICTOR BRABERMAN, SEBASTIAN UCHITEL. "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models." Intl. Conf. Foundations of Software Engineering , (2009).
  23. Dario Fischbein, Victor A. Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" International Colloquium on Theoretical Aspects of Computing , (2009).
  24. Paulo Henrique M. Maia, Jeff Kramer, Sebastian Uchitel, Nabor C. Mendonca. "Towards accurate probabilistic models using state refinement" 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , (2009).
  25. Sebastian Uchitel. "Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering" Simpósio Brasileiro de Métodos Formais , (2009). [link]
  26. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Validation of Contracts using Enabledness Preserving Finite State Abstractions" 31st IEEE/ACM International Conference on Software Engineering (ICSE) , (2009).
  27. Dalal Alrajeh, Alessandra Russo, Jeff Kramer, Sebastian Uchitel. "Learning Operational Requirements from Declarative Goal Models" International Conference on Software Engineering (ICSE) , (2009).
  28. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Reducing the number of annotations in a verification-oriented imperative language" 1st International Symposium on Automatic Program Verification , (2009). [link]

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" 7th International Workshop on Graph Transformation and Visual Modeling Techniques , (2008).
  11. G. Sibay, S. Uchitel, V. Braberman. "Existencial Life Sequence Charts Revisited" ACM\IEEE International Conference on Software Engineering , (2008).
  12. Daniel Monteverde, Afredo Olivero, Sergio Yovine, Victor Braberman. "VTS-based Specification and Verification of Behavioral Properties of AADL Models" Model Based Architecting and Construction of Embedded Systems , (2008).
  13. V. Braberman, F. Fernández, D. Garbervetsky, S. Yovine. "Parametric Prediction of Heap Memory Requirements" ACM SIGPLAN International Symposium on Memory Management , (2008).
  14. Dario Fischbein, Sebastian Uchitel. "On Correct and Complete Merging of Partial Behaviour Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2008).
  15. D. Alrajeh, A. Russo, S. Uchitel. "Deriving Non-zeno Behaviour Models from Goal models Using ILP" Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) , (2008).
  16. Shiva Nejati, Mehrdad Sabetsadeh, Marsha Chechik, Sebastian Uchitel, Pamela Zave. "Towards Compositional Synthesis of Evolving Systems" ACM International Symposium on Foundations of Software Engineering (FSE) , (2008).
  17. L. Duarte, J. Kramer, S. Uchitel. "Towards Faithful Model Extraction Based on Contexts" Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) , (2008).
  18. H. Foster, A. Mukhija, D. Rosenblum, S. Uchitel. "A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes" ICSOC- International Conference on Service-Oriented Computing , (2008).
  19. Nicolas D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel. "MTSA: The Modal Transition System Analyser" 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) , (2008). [link]
  20. Roberto Bruni, Ivan Lanese, Leonardo Mezzina, Hernan Melgratti, Emilio Tuosto. "Trustworthy Multiparty Sessions" Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2008 , (2008).
  21. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Leveraging Modes and UML2 for Service Brokering Specifications" 4th Model-Driven Web Engineering Workshop , (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" European Software Engineering Conference (ESEC) and ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) , (2007).
  9. Nicolas D'Ippolito, H. Foster, D. Fischbein, S. Uchitel. "MTSA: The Modal Transition System Analyser Eclipse Plugin" ETX2007 Workshop at OOPSLA07 , (2007).
  10. Felipe Cantal de Sousa, Nabor C. Mendonca, Jeff Kramer, Sebastián Uchitel. "Detecting Implied Scenarios from Execution Traces" 14th Working Conference on Reverse Engineering , (2007).
  11. Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti. "Modelling Dynamic Software Architectures using Typed Graph Grammars" Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007) , (2007). [link]
  12. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel. "Using Abduction and Induction for Operational Requirements Elaboration" Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics , (2007).
  13. Kicillof, Grieskamp, Tillmann, Braberman. "Achieving Both Model and Code Coverage with Automated Gray-Box Testing"" Workshop on Advances in Model Based Testing , (2007). [link]
  14. Mike Barnett, Manuel Fanhdrich, Diego Garbervetsky, Francesco Logozzo. "Annotations for (more) Precise Points-to Analysis" International Workshop on Aliasing, Confinement and Ownership in object-oriented programming , (2007).
  15. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Reentrancy Analysis for object oriented programs" 9th Workshop on Formal Techniques for Java-like Programs , (2007).
  16. M. Chechik, G. Brunet, D. Fischbein, S. Uchitel. "Partial Behavioural Models for Requirements and Early Design." Dagstuhl Workshop on Methods for Modelling Software Systems (MMOSS) , (2007).
  17. Sebastián Uchitel, Greg Brunet, Marsha Chechik. "Behaviour Model Synthesis from Properties and Scenarios" 29th IEEE/ACM International Conference on Software Engineering (ICSE) , (2007).
  18. H. Foster, S. Uchitel, J. Kramer, J. Magee. "Towards Self-Management in Service-oriented Computing with Modes" Workshop on Engineering Service-Oriented Applications (WESOA07) , (2007).
  19. Nicolas D'Ippolito, Dario Fischbein, Howard Foster, Sebastian Uchitel. "MTSA: Eclipse support for modal transition systems construction, analysis and elaboration" 2007 OOPSLA workshop on Eclipse Technology eXchange , (2007). [link]

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" 16th International Conference on Inductive Logic Programmin , (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" ACM SIGSOFT - First Alloy workshop , (2006). [link]
  18. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Dynamic Graph Grammars" Workshop on Petri Nets and Graph Transformation (PNGT2006) , (2006). [link]
  19. MARCELO FRIAS, JUAN PABLO GALEOTTI. "Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects" 1st Alloy Workshop (colocated with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering) , (2006). [link]
  20. Darío Fishbein, Sebastián Uchitel, Victor A. Braberman. "A Foundactions for Software Behavioural Conformance in Software product Line Architectures" The Role of Soft. Architecture for Testing and Analysis , (2006).
  21. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Optimizing timed Automata model Checking via Clock Reordering" IEEE International Real-Time Systems Symposium , (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" Eclipse Technology Exchange , (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" ETX 2006: OOPSLA workshop on eclipse Technology eXchangeETX 2006: OOPSLA workshop on eclipse Technology eXchange , (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" Eclipse Technology eXchange Workshop, OOPSLA 2006 , (2006).
  25. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Optimizing Timed Automata Model Checking via Clock Reordering" Work in Progress Session for the 27th IEEE International Real-Time Systems Symposium , (2006).
  26. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Modes for Software Architecture" 3th European Workshop on Software Achitecture , (2006).
  27. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel. "Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning" International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools , (2006).
  28. G. Brunet, M. Chechik, S. Uchitel. "Properties of Behavioural Model Merging" Internacional Conference on Formal Methods (FM), , (2006).
  29. D. Fischbein, S. Uchitel, V. Braberman. "A Foundation for Behavioural Conformance in Software Product Line Architectures" ROSATEA Workshop at the International Symposium on Software Testing and Analysis , (2006).
  30. L. Duarte, J. Kramer, S. Uchitel. "Model Extraction Based on Context Information" International Conference on Model Driven Engineering Languages and Systems , (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" IEEE International Conference on Software Engineering (ICSE 2006) , (2006).
  32. H. Foster, J. Magee, J. Kramer, S. Uchitel. "Adaptable Software Aechitectures and Task Synthesis for UAVs" Systems engineering for Autonomous Systems , (2006).
  33. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Model Based Analysis of Obligations in Web Service Choreography" International Conference of Internet & Web Applications and Service , (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. [link]
  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" Workshop at OOPSLA05 , (2005).
  13. Geniana Rodriguez, David Rosenblum, Sebastian Uchitel. "Sensitivity analysis for Secenario-Based Reliability Prediction Model" 4th Workshop on Architecting Dependable Systems at the 27th International Conference on Software Engineering , (2005).
  14. G. Rodrigues, D. Rosenblum, S. Uchitel. "Reliability Predicion in Model Driven Development" ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems , (2005).
  15. Marcelo Fabián Frias, Juan Pablo Galeotti, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre. "DynAlloy: upgrading Alloy with actions" ICSE 2005: 27th International Conference on Software Engineering , (2005).
  16. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, NAZARENO AGUIRRE. "DynAlloy: Upgrading Alloy with Actions (Extended Abstract)" 8th International Conference on Relational Methods in Computer Science , (2005).
  17. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, MARIO ROMAN. "Fork Algebras as a Formalism to Reason Across Behavioral Specifications (Extended Abstract)" 8th International Conference on Relational Methods in Computer Science , (2005).
  18. MARCELO FRIAS, JUAN PABLO GALEOTTI, CARLOS LOPEZ POMBO, NAZARENO AGUIRRE. "DynAlloy: upgrading alloy with actions" 27th international conference on Software engineering , (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" Eclipse Technology Exchange , (2005).
  20. Victor A. Braberman, Diego Garbervetsky, Sergio Yovine. "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs" Whorkshop on Formal Techiques for Java-like Programs , (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" ETX 2005: OOPSLA workshop on eclipse Technology eXchange , (2005).
  22. Víctor Braberman, Diego Garbervetsky, Sergio Yovine. "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs" 7th Workshop on Formal Techiques for Java-like Programs (FTfJP 2005) , (2005).
  23. Emmanuel letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. "Fluent Temporal Logic for Discrete-Time Event-Based Models" 10th European Software Engineering Conference and the 13thACM SIGSOFT International Symposium on Fundations of Software Engineering , (2005).
  24. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Using a Rigorous Approach of Engineering Web Service Compositions: A Case Study" IEEE International Conference on Services Computing (SCC) , (2005).
  25. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Tool Support for Model-Based Engineering of Web Service Compositions" 3th IEEE International Conference on Web Service , (2005).
  26. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Monitoring and Control in Scenario-Based Requirements Analysis" 27th International Conference on Software Engineering , (2005).
  27. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Web Service Compositions: From XML Syntax to Service Model" IDEAlliance XML Conference , (2005).
  28. Geniana Rodriguez, David Rosenblum, Sebastian Uchitel. "Using Scenarios to Predict Reliability for Concurrent Component Based Systems" Fundamental Approches to Software Engineering at the European Joint Conference on Theory and Practice of software , (2005).
  29. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Theoretical foundations for compensations in flow composition languages" Symposium on Principles of Programming Languages, POPL 2005 , (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 Garbervertsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" First Conference on the PRInciples of Software Engineering , (2004).
  6. Sebastian Uchitel, Rebert Chatley, Jeff Kramer, Jeff Magee. "Fluent-Based Animation: Exploting the Relation between Goals and Scenarios" International Conference on Requirements Engineering , (2004).
  7. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "Compatibility Verification for Web Service Choreography" International Conference on Web Services , (2004).
  8. R. Chatley, S. Eisenbach, J. Kramer, J. Magee, S. Uchitel. "Predictable Dynamic Plugin System" Fundamental Approaches to Software Engineering (FASE) at the European Joint Conference on Theory and Practice of Software , (2004).
  9. Sebastian Uchitel, Marsha Chechik. "Merging Partial Behavioural Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2004).
  10. Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee. "System Architecture: the Context for Scenario-based Model Synthesis" International Symposium on Fundations of Software Engineering , (2004).
  11. A. Alfonso, Victor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "Visual Tmed Event Scenarios" ACM\IEEE International Conference on Software Engineering , (2004).
  12. 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" Conference on the Principles of Software Engineering , (2004).
  13. 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" PRISE 2004: First International Conference on Principles of Software Engineering , (2004).
  14. Alberto Baragatti, Roberto Bruni, Hern[an Melgratti, Ugo Montanari, Giorgio Spagnolo. "Prototype Platforms for Distributed Agreements" Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004) , (2004). [link]
  15. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Nested Commits for Mobile Calculi: Extending Join" IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), , (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" Tools an Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conference on Theory and Practice of Software , (2003).
  7. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Verification of Web Service Compositions" 18th IEEE International Conference on Automated Software Engineering , (2003).
  8. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Synthesis of Partial Labelled Transition Systems" European Software Engineering Conference and International Symposium on the Fundation Software Engineering , (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" International Workshop on Scenarios and State Machines: Models, Algorithms and Tools , (2003).
  10. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Visual Methods for Web Application Design. Tech note at Symposium on Visual and Multimedia Software Engineering" Symposia on Human-Centric Computing Languages and Enviroments , (2003).
  11. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Simulation of Web Application for Usability Assesment" Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interacting at 25th International Conference on Software Engineering , (2003).
  12. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Modeling Undefined Behaviour in Scenarios Synthesis" Workshop on Scenarios and Satate Machines: Model, Algorithms, and Tools at the 25th International Conference on Software Engineering , (2003).
  13. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Flat Committed Join in Join" Proceedings of the Workshop of the COMETA Project on Computational Metamodels , (2003). [link]

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. [link]
  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. [link]
  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" ICSE 2002 , (2002). [link]
  8. Sebastián Blaustein, Fernando Oliveto, Victor Braberman. "Observing timed systems by means of messages sequence chart graphs" Poster Session International Conference on Software Engineering , (2002).
  9. Fernando Schapachnik, Víctor Braberman, Alfredo Olivero. "An Architecture-centric approach to the development of a distributed model-checker for time automata" Poster Session International Conference on Software Engineering , (2002).
  10. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Implied Scenerios Detection in the Presence of Behaviour Constraints" European Joint Conferences on Theory and Practice of Software Satellite Workshop on Validation and Implementation of Scenario-Based Specifications , (2002).
  11. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Negative Scenarios for Implied Scenario elicitation" International Symposium on the Fundations of Software Engineering , (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" Workshop Argentino de Ciencia de la Computación , (2001).
  3. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Detecting Implied Scenarios in Message Sequence chart Specifications" European Software Engineering Conference and International Symposium on the Fundations Software Engineering , (2001).
  4. Sebastian Uchitel, Jeff Kramer. "A Workbench for Synthesising Behaviour Models from Scenarios" International Conference on Software Engineering , (2001).
  5. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "From Sequence Diagrams to Behaviour Models" Workshop on Tranformations in UML, satellite event of the Eutopen Joint Conference on the Theory and practice of Software , (2001).
  6. P. Inverardi, S. Uchitel. "Proving Deadlock Freedom in component Based Programming" Fundamental Approches to Software Engineering (FASE) , (2001).

2000

  1. Victor A. Braberman, Fabio Pieniazck. "Duration Properties over Real Time System Designs" ACM International Workshop on Software Specification and Design , (2000).
  2. Sebastian Uchitel, Daniel Yankelevich. "Enhancing Architecture Mismatch Detection with Assumptions" International Conference and Workshop on the Engineeringof Computer Based Systems , (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" Doctoral Workshop International Conference on Software Engineering , (1999).
  3. Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich. "Towards a Periodic Table of Connectors. In proceedings of First Symposium on software Technology" First Symposium on Software Technology in the 28th Jornadas Argentinas de Informática e Investigación Operativa , (1999).

1998

  1. Victor A. Braberman, Dang Vna Hung. "On Checking Timed Automata For Linear Duration Invariants" RTSS -IEEE International Real-time Systems Symposium , (1998).

1997

  1. Victor A. Braberman. "On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems" WorkShop Formal Methods for the Design of Real-Time Systems , (1997).
  2. G. Matera, Rosa Wachenchauzer, Victor A. Braberman. "The TERA Development Group as Interface between mathematician and Computer Scientists" Second International workshop on (Semi)numerical Techniques in Polynominal Equation , (1997).
  3. Victor A. Braberman, Marina Marré, Miguel Felder. "Testing Timing Behaviors of Real Time Software" International Software Quality Week , (1997).

1996

  1. Luciano Baresi, Victor A. Braberman, Miguel Felder, Mauro Pezze, Fabio Pieniazeck. "A Practical Approach to Formal Design of Real-time Systems" IEEE International Conference on Systems, Man a Cybernetics , (1996).
  2. Victor A. Braberman, Fabio Pieniazck, Miguel Felder. "Enhancing the adoption of Formal Methods to Design Real Time Systems" Congreso Argentino de Ciencias de la Computación , (1996).
  3. M. Bobrowski, S. Uchitel , D. Yankelevich. "CML as a development tool: A Case Study" 25th Jornadas Argentinas de Informática e Investigación Operativa , (1996).