2018

  1. 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).
  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. Herman Schinca, Daniela Villani. "Propuesta de planificación anual para Tecnologías de la Información, 4º año de la NES (TI4), CABA" Fundación Sadosky , (2018).
  4. Gustavo Del Dago, Fernando Schapachnik. "¿Somos todos iguales en Internet?" UNICEF , (2018).
  5. Gustavo Del Dago, Fernando Schapachnik. "¿Existe la mejor computadora?" UNICEF , (2018).
  6. Juan Pablo Galeotti, Alessandra Gorla. "Proceedings of the 11th International Workshop on Search-Based Software Testing" ACM , (2018).
  7. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "(Heterogeneous) Structured Specifications in Logics Without Interpolation" Springer - Verlag , (2018).
  8. godoy javier, BRABERMAN VICTOR, Diego Garbervestky, UCHITEL SEBASTIAN. "Testing and Validating End User Programmed Calculated Fields" Industry Track for ECSE/FSE 2018 , (2018).
  9. 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).
  10. 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).

2017

  1. Hernán Melgratti, Luca Padovani. "Chaperone Contracts for Higher-Order Sessions" Proceedings of the ACM on Programming Languages 1, no. 1 (2017).
  2. Gervasio Pérez, Sergio Yovine. "Formal specification and implementation of an automated pattern-based parallel-code generation framework" International Journal on Software Tools for Technology Transfer , (2017): 1-20.
  3. Fabio Gadducci, Hernán Melgratti, Christian Roldán. "A denotational view of replicated data types" LECTURE NOTES IN COMPUTER SCIENCE , (2017).
  4. Luciana Benotti, María Cecilia Martínez, Fernando Schapachnik. "A Tool for Introducing Computer Science with Automatic Formative Assessment" IEEE Transactions on Learning Technologies PP, no. 1 (2017).
  5. Juan Pablo Galeotti, Justyna Petke. "Proceedings of the 10th International Workshop on Search-Based Software Testing" IEEE Press , (2017).
  6. Stefania Gnesi, Nico Plat, Hernán Melgratti. "Workshop on Formal Methods in Software Engineering (FormaliSE 2017)." IEEE , (2017).
  7. Massimo Bartoletti, Maurice ter Beek, Hernán Melgratti, Luis Cruz-Filipe. "Proceedings of the Symposium on Applied Computing, SAC 2017, track SOAP" ACM , (2017).
  8. Hernán Melgratti, Luca Padovani. "An OCaml Implementation of Binary Sessions" River Publisher , (2017): 243-263.
  9. Castaño Rodrigo, BRABERMAN VICTOR, Diego Garbervestky, UCHITEL SEBASTIAN. "Model checker execution reports" 32nd IEEE/ACM International Conference on Automated Software Engineerin , (2017).
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits. "Toward full elasticity in distributed static analysis: the case of callgraph analysis" Foundations of Software Engineering , (2017).
  15. Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi. "Static analysis for optimizing big data queries" Foundations of Software Engineering , (2017).
  16. 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).
  17. 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).
  18. Guido Chari, Diego Garbervetsky, Stefan Marr. "A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability" ICOOOLPS , (2017).
  19. 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).
  20. Guido Chari, Diego Garbervetsky, Stefan Marr. "Fully-reflective VMs for ruling software adaptation" 39th International Conference on Software Engineering , (2017).
  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).
  22. Leandro Nahabedian. "Dynamic Update of Business Process Management" Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on , (2017).
  23. Guido Chari, Diego Garbervetsky, Stefan Marr. "Fully-reflective VMs for Ruling Software Adaptation" NIER-ICSE , (2017).

2016

  1. Esteban Pavese, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Probabilistic Interface Automata" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  2. Esteban Pavese, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Less is More: Estimating Probabilistic Rewards over Partial System Explorations" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2016).
  3. antonio fillieri, martina maggio , Konstantinos Angelopoulos, Nicolas D'Ippolito. "Control Strategies for Self-Adaptive Software Systems" ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS , (2016).
  4. Guido Chari, Diego Garbervetsky, Stefan Marr. "Building efficient and highly run-time adaptable virtual machines" ACM SIGPLAN NOTICES 52, no. 2 (2016): 60-71.
  5. Shaun Azzopardi, Gordon Pace, Gerardo Schneider, Fernando Schapachnik. "Contract Automata: An Operational View of Contracts Between Interactive Parties" Artificial Intelligence and Law , (2016).
  6. Hernan Czemerinski, BRABERMAN VICTOR, UCHITEL SEBASTIAN. "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing" SOFTWARE TESTING, VERIFICATION & RELIABILITY 26, no. 3 (2016): 211-244.
  7. Hernán Melgratti, Christian Roldán. "A Formal Analysis of the Global Sequence Protocol." LECTURE NOTES IN COMPUTER SCIENCE , (2016).
  8. 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).
  9. Rocco de Nicola, Hernán Melgratti. "Multiparty Testing Preorders" LECTURE NOTES IN COMPUTER SCIENCE , (2016).
  10. 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)" ACM , (2016).
  11. Fernando Schapachnik. "Destripando Google" El Gato y La Caja , (2016): 62-64.
  12. Fernando Schapachnik, María Belén Bonello. "Programar o ser programados, Argentina ya eligió" Fundación Williams , (2016): 47-51.
  13. 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).
  14. 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).
  15. Natalia Rodriguez, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel. "Stochastic Generalized Reactivity (1) Games" 55th IEEE Conference on Decision and Control , (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. Urko Rueda, Rene Just, Juan Pablo Galeotti, Tanja Vos. "Unit testing tool competition: round four" 9th International Workshop on Search-Based Software Testing , (2016).
  18. Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang 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).
  19. 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).
  20. 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).

2015

  1. Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel. "Using contexts to extract behaviour models from code" SOFTWARE AND SYSTEMS MODELING , (2015).
  2. F. Asteasuain, Victor Braberman. "Declaratively building behavior by means of scenario clauses" REQUIREMENTS ENGINEERING , (2015).
  3. 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.
  4. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "cJoin: Join with communicating transactions" MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25, no. 3 (2015).
  5. 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 9323, (2015): 6-21.
  6. Laura Bocchi, Hernán Melgratti. "On the behaviour of general-purpose applications on cloud storages" Service Oriented Computing and Applications 9, no. 3 (2015): 213-227.
  7. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Normal Form for Stateful Connectors." LECTURE NOTES IN COMPUTER SCIENCE , (2015).
  8. 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 41, no. 10 (2015): 1019-1037.
  9. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten" LECTURE NOTES IN INFORMATICS 239, (2015): 132-132.
  10. Pablo Castro, Nazareno M. Aguirre, Carlos Gustavo Lopez Pombo, Thomas S.E. Maibaum. "Categorical Foundations for Structured Specifications in Z" FORMAL ASPECTS OF COMPUTING 25, no. 5 (2015): 831-865.
  11. Ignacio Vissani, Carlos Gustavo Lopez Pombo, Ionut Tutu, José Luiz Fiadeiro. "A Full Operational Semantics for Asynchronous Relational Networks" LECTURE NOTES IN COMPUTER SCIENCE 9463, (2015): 131-150.
  12. F. Asteasuain, Victor Braberman. "Specification patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 25, no. 4 (2015): 669-700.
  13. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM 58, (2015): 65-72.
  14. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Fabian Frias. "TacoFlow: optimizing SAT program verification using dataflow analysis" SOFTWARE AND SYSTEMS MODELING 14, no. 1 (2015): 45-63.
  15. Gordon Pace, Gerardo Schneider, Fernando Schapachnik. "Conditional Permissions in Contracts" 28th International Conference on Legal Knowledge and Information Systems , (2015).
  16. 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).
  17. 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).
  18. 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).
  19. 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).
  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. 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).
  22. 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).
  23. 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).
  24. 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).
  25. 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).
  26. 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).
  27. 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).
  28. 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).

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 8855, (2014): 48-53.
  2. Alexander Kampmann, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "JTACO: Test Execution for Faster Bounded Verification" LECTURE NOTES IN COMPUTER SCIENCE 8570, (2014): 134-141.
  3. Laura Bocchi, Hernán Melgratti. "On the Behaviour of General-Purpose Applications on Cloud Storages" LECTURE NOTES IN COMPUTER SCIENCE 8379, (2014): 1-19.
  4. 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 8687, (2014): 314-332.
  5. Laura Bocchi, Hernán Melgratti, Emilio Tuosto. "Resolving Non-determinism in Choreographies" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  6. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "From Hierarchical BIP to Petri Calculus" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  7. Marcos Chicote, Daniel Ciolek, Juan Pablo Galeotti. "Practical JFSL verification using TACO" Software Practice and Experience 44, no. 3 (2014): 317-334.
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamics" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  9. 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 23, (2014): 1-37.
  10. Rodrigo Castaño, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi, Juan Pablo Galeotti. "On verifying resource contracts using code contracts" Electronic Proceedings in Theoretical Computer Science, EPTCS 139, (2014): 1-15.
  11. Shaun Azzopardi, Gordon Pace, Fernando Schapachnik. "Contract Automata with Reparations" 27th International Conference on Legal Knowledge and Information Systems , (2014).
  12. 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).
  13. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automated unit test generation for classes with environment dependencies" 2014 International Conference on Automated Software Engineering , (2014).
  14. 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).
  15. 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).
  16. 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).
  17. 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).
  18. Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel. "Automated Goal Operationalisation Based on Interpolation and SAT Solving" 36th International Conference on Software Engineering , (2014).
  19. 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).
  20. 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).
  21. 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).
  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).
  23. 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).
  24. Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Test generation across multiple layers" 7th International Workshop on Search-Based Software Testing , (2014).
  25. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" Formal Methods 2014 , (2014).
  26. 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).
  27. 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).

2013

  1. V. Braberman, D. Garbervetsky, S. Hym, S. YOVINE. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2013).
  2. Sebastian Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido De Caso, Nicolas D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay. "Supporting incremental behaviour model elaboration" Computer Science - Research and Development 28, (2013): 279-293.
  3. 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) 9, (2013): 1-65.
  4. Guido de Caso, Victor Braberman, D. Garbervetsky, Sebastián Uchitel. "Enabledness-based Program Abstractions for Behaviour Validation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 22, no. 25 (2013): 1-46.
  5. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Synthesising Modal Transition Systems from Triggered Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 39, no. 7 (2013): 975-1001.
  6. 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).
  7. 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 39, (2013): 1283-1307.
  8. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Elaborating requirements using model checking and inductive learning" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 39, no. 3 (2013): 361-383.
  9. 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 139, (2013): 65-70.
  10. 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 7841, (2013): 195-211.
  11. 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).
  12. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Integrated Program Verification Tools in Education" SOFTWARE: PRACTICE AND EXPERIENCE 43, no. 1 (2013): 403-418.
  13. Victor A. Braberman, Laurent Fribourg. "Formal Modeling and Analysis of Timed Systems" Springer-Verlag , (2013).
  14. Pedro D'Argenio, Hernán Melgratti. "CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013" Springer , (2013).
  15. 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" Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany , (2013): 71-92.
  16. 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).
  17. PABLO BENDERSKY, JUAN PABLO GALEOTTI, Diego Garbervetsky. "The DynAlloy Visualizer" 2013 Latin American Workshop on Formal Methods , (2013).
  18. 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).
  19. Shoham Ben David, Marsha Chechik, Sebastian Uchitel. "Merging Partial Behaviour Models with Different Vocabularies" 24th International Conference on Concurrency Theory (CONCUR 2013) , (2013).
  20. Edgardo Zoppi, Rodrigo Castaño, Diego Garbervetsky, Jonathan Tapicer, Juan Pablo Galeotti. "On verifying resource contracts using Code Contracts" Latin American Workshop on Formal Methods LAFM 2013 , (2013).
  21. Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo Frias, Juan Pablo Galeotti, Tom Maibaum, Mariano Moscato, Nicolás Rosner, Ignacio Vissani. "Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving" IEEE Sixth International Conference on Software Testing, Verification and Validation , (2013).
  22. 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).
  23. Gordon Pace, Fernando Schapachnik. "Synthesising Implicit Contracts" International Conference on AI and Law , (2013).
  24. Esteban Pavese, Victor A. Braberman, Sebastián Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" 35th International Conference on Software Engineering (ICSE 2013) , (2013).
  25. 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).
  26. 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).
  27. 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).

2012

  1. 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 7684, (2012).
  2. Hernán Melgratti, Christian Roldán. "On correlation sets and correlation exceptions in ActiveBPEL" LECTURE NOTES IN COMPUTER SCIENCE 7173, (2012): 212-226.
  3. 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.
  4. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" LECTURE NOTES IN COMPUTER SCIENCE 7436, (2012): 155-170.
  5. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Connector Algebras, Petri Nets, and BIP" LECTURE NOTES IN COMPUTER SCIENCE 7162, (2012): 19-38.
  6. José M. Castaño, Rodrigo Castaño. "A finite state intersection approach to propositional satisfiability" THEORETICAL COMPUTER SCIENCE , (2012).
  7. Dario Fischbein, Greg Brunet, Nicolas D'Ippolito, Marsha Chechik, Sebastian Uchitel. "Weak Alphabet Merging of Partial Behaviour Models" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 21, (2012): 9-58.
  8. Guido de Caso, Victor A. Braberman, Diego Garbervestky, Sebastián Uchitel. "Automated Abstractions for Contract Validation" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 38, no. 1 (2012): 141-162.
  9. Diego Garbervetsky, Sunghum Kim. "Report from 2nd International Workshop on Developing Tools as Plug-ins (TOPI 2012)" ACM SOFTWARE ENGINEERING NOTES 37, no. 1 (2012): 24-27.
  10. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Survey on Basic Connectors and Buffers" LECTURE NOTES IN COMPUTER SCIENCE 7542, (2012): 49-68.
  11. Diego Garbervetsky, Sunghum Kim. "Proceedings of the Second International Workshop on Developing Tools as Plug-Ins (TOPI)" IEEE , (2012).
  12. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Abstractions for Validation in Action" Springer 7320, (2012): 192-218.
  13. Victor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel. "Abstractions for Validation in Action" Springer Verlag 7320, (2012): 192-218.
  14. M. T. Higuera Toledano, S. YOVINE, D. Garbervetsky. "Region-based Memory Management: An Evaluation of its Support in the RTSJ" Springer , (2012): 101-127.
  15. Victor A. Braberman, Miguel Felder. "Carlo, Software Engineering, and Latin America" Springer Verlag , (2012): 167-196.
  16. Gordon Pace, Fernando Schapachnik. "Types of Rights in Two-Party Systems: A Formal Analysis" 25 International Conference on Legal Knowledge and Information Systems , (2012).
  17. 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).
  18. Nicolas D'Ippolito. "Synthesis of event-based controllers: A software engineering challenge" International Conference on Software Engineering , (2012).
  19. Gordon Pace, Fernando Schapachnik. "Contracts for Interacting Two-Party Systems" Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software , (2012).
  20. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" 18th International Symposium on Formal Methods FM 2012 , (2012).
  21. German Sibay, Sebastian Uchitel, Victor Braberman, Jeff Kramer. "Distribution of Modal Transition Systems" 18th International Symposium on Formal Methods FM 2012 , (2012).
  22. 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).
  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).
  24. Gervasio D Perez, Esteban J Pavese, Fernando Schapachnik. "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" Jornadas Argentinas de Informática , (2012).
  25. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Distribution of Modal Transition Systems" 18th Intl. Symposium on Formal Methods (FM 2012) , (2012).
  26. 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).
  27. 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).
  28. 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).
  29. MARCOS CHICOTE, JUAN PABLO GALEOTTI. "TacoPlug: An Eclipse plug-in for TACO" Developing Tools as Plug-ins , (2012).
  30. JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Inferring Loop Invariants Dynamically" 4th International Workshop on Invariant Generation (WING) , (2012).
  31. 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).
  32. 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).
  33. 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).
  34. Sergio Mera, Fernando Schapachnik. "Common Semantics and Complexity - An NMAS Research Agenda Proposal" NorMAS 2012 , (2012).

2011

  1. Arun Mukhija, David Rosenblum, Howard Foster, Sebastian Uchitel. "Runtime Support for Dynamic and Adaptive Service Composition" LECTURE NOTES IN COMPUTER SCIENCE 6582, (2011): 585-603.
  2. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "A dataflow analysis to improve SAT-based program verification" LECTURE NOTES IN COMPUTER SCIENCE 7041, (2011): 138-154.
  3. D. Garbervetsky, S. YOVINE, V. Braberman, M. Rouaux, A. Taboada. "Quantitative dynamic-memory analysis for Java" CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE 23, no. 14 (2011): 1665-1678.
  4. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Connector Algebra for P/T Nets Interactions" LECTURE NOTES IN COMPUTER SCIENCE 6901, (2011): 312-326.
  5. 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.
  6. José M. Castaño, Rodrigo Castaño. "Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability" LECTURE NOTES IN COMPUTER SCIENCE 6807, (2011): 76-87.
  7. F. Asteasuain, Victor Braberman. "FVS: A declarative aspect oriented modeling language" SADIO Electronic Journal of Informatic and Operation Research 10, no. 1 (2011): 20-37.
  8. Diego Garbervetsky, Daniel Gorín, Ariel Neisen. "Enforcing Structural Invariants using Dynamic Frames" LECTURE NOTES IN COMPUTER SCIENCE 6605, (2011): 65-80.
  9. 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 6706, (2011): 15-32.
  10. Ch. Kloukinas, S. YOVINE. "A model-based approach for multiple QoS in scheduling: from models to implementation" AUTOMATED SOFTWARE ENGINEERING 18, no. 1 (2011): 5-38.
  11. Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel. "Exploring inconsistencies between modal transition systems" SOFTWARE AND SYSTEMS MODELING 10, no. 1 (2011): 117-142.
  12. Howard Foster, Arun Mukhija, Martin Rais, Sebastian Uchitel. "Specification and Analysis of Dynamically-Reconfigurable Service Architectures" LECTURE NOTES IN COMPUTER SCIENCE 6582, (2011): 428-446.
  13. 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.
  14. Arun Mukhija, David Rosenblum, Howard Foster, Sebastian Uchitel. "Runtime support for dynamic and adaptive service composition" Springer 6582, (2011): 585-603.
  15. Howard Foster, Arun Mukhija, Martin Rais, Sebastian Uchitel. "Specification and analysis of dynamically-reconfigurable service architectures" Springer 6582, (2011): 428-446.
  16. Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege. "Polyhedral Techniques for Parametric Memory Requirement Estimation" Chapman & Hall / CRC Press , (2011): 117-149.
  17. Gordon Pace, Fernando Schapachnik. "Permissions in Contracts, a Logical Insight" 24rd International Conference on Legal Knowledge and Information , (2011).
  18. 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).
  19. 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).
  20. 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).
  21. 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).
  22. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer. "Integrating Model Checking and Inductive Logic Programming" 21st International Conference, ILP 2011 , (2011).
  23. JUAN PABLO GALEOTTI. "Análisis modular y recuperación de contraejemplos en TACO" XVII Congreso Argentino de Ciencias de la Computación , (2011).
  24. 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).
  25. 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).
  26. Guido de Caso, Victor A. Braberman, Diego Garbervestky, Sebastián Uchitel. "Program Abstractions for Behaviour Validation" International Conference on Software Engineering (ICSE 2011) , (2011).
  27. 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).
  28. Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux. "Resource Usage Contracts for .NET" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  29. 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).
  30. Edgardo 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 Plugins (TOPI) , (2011).
  31. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" 33rd International Conference on Software Engineering , (2011).
  32. 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. 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 6255, (2010): 306-321.
  2. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Complete Calculi for Structured Specifications in Fork Algebra" LECTURE NOTES IN COMPUTER SCIENCE 6255, (2010): 290-305.
  3. 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 6255, (2010): 275-289.
  4. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "An Integrated Workbench for Model-Based Engineering of Service Compositions" IEEE Transactions on Services Computing 3, no. 2 (2010): 131-144.
  5. I. ASSAYAD, S. YOVINE. "A scheduler synthesis methodology for joint SW/HW design exploration of SoC" DESIGN AUTOMATION FOR EMBEDDED SYSTEMS 14, no. 2 (2010): 75-103.
  6. 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 5977, (2010): 160-173.
  7. 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 5977, (2010): 396-397.
  8. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Deriving Non-Zeno Behavior Models from Goal Models using ILP" FORMAL ASPECTS OF COMPUTING 22, no. 3 (2010): 217-241.
  9. Jeff Kramer, Judith Bishop, Prem Devanbu, Sebastian Uchitel. "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering" ACM , (2010).
  10. Sebastian Uchitel, Jorge Boria, Victor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michelis, Angel Perez Puletti, Daniel Yankelevich. "Prospectiva en Ingeniería de Software 2020" Ministerio de Ciencia Tecnología e Innovación Productiva , (2010): 200-231.
  11. Daniel Gorín, Sergio Mera, Fernando Schapachnik. "Model Checking Legal Documents" 23rd International Conference on Legal Knowledge and Information , (2010).
  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. S. YOVINE, A. Olivero, D. Monteverde, L. Córdoba, G. Reiter. "An approach for the verification of the temporal consistency of NCL applications" Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia) 2010 - Worshop de Tv Digital Interativa (WTVDI) , (2010).
  14. 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).
  15. 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).
  16. 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).
  17. Maria Grazia Buscemi, Hernán Melgratti. "Controllability and Abstraction in Business Processes" Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software , (2010).
  18. Silvia A Comastri, Liliana I Perez, Gervasio D Perez, Gabriel Martin, Arturo Bianchetti. "Corneal aberrations in keratoconic eyes: influence of pupil size and centering" 7th Ibero-American Conference on Optics- 10th Latin-American Meeting on Optics, Lasers and Applications , (2010).
  19. Francisco E Veiras, Gervasio D Perez, Maria T Garea, Liliana I Perez. "Characterization of uniaxial crystals through the study of fringe patterns" 7th Ibero-American Conference on Optics- 10th Latin-American Meeting on Optics, Lasers and Applications , (2010).
  20. Maria Grazia Buscemi, Hernán Melgratti. "Contracts for Abstract Processes in Service Composition" Foundations for Interface Technologies , (2010).
  21. 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).
  22. F. Asteasuain, Victor Braberman. "Specification Patterns can be formal and also easy" SEKE 2010 (International Conference on Software Engineering and Knowledge Engineering , (2010).
  23. 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).
  24. 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).

2009

  1. SHUVENDU K. LAHIRI, SHAZ QADEER, JUAN PABLO GALEOTTI, JAN W. WOUNG, THOMAS WIES. "Intra-module Inference" LECTURE NOTES IN COMPUTER SCIENCE 5643, (2009): 493-508.
  2. Silvia A Comastri, Karina Bastida, Arturo Bianchetti, Liliana I Perez, Gervasio D Perez, Gabriel Martin. "Zernike aberrations when pupil varies: selection rules, missing modes and graphical method to identify modes" JOURNAL OF OPTICS. A, PURE AND APPLIED OPTICS (PRINT) 11, (2009): 1-10.
  3. Silvia A Comastri, Liliana I Perez, Gabriel Martin, Arturo Bianchetti, Gervasio D Perez. "Zernike modes when pupil is contracted, decentred and rotated: analytical and graphical methods- Modos Zernike al contraer, descentrar y rotar la pupila: métodos analítico y gráfico" OPTICA PURA Y APLICADA 42, no. 3 (2009): 163-176.
  4. Silvia A Comastri, Gervasio D Perez, Gabriel Martin, Arturo Bianchetti. "Corneal Zernike aberrations for different pupils: precision in the parameters and applications - Aberraciones Zernike corneales para diferentes pupilas: precisión en los parámetros y aplicaciones" OPTICA PURA Y APLICADA 41, (2009): 367-380.
  5. Maria Grazia Buscemi, Hernán Melgratti. "Abstract Processes in Orchestration Languages" LECTURE NOTES IN COMPUTER SCIENCE 5502, (2009): 301-315.
  6. Dalal Alrajeh, Oliver Ray, A. Russo, Sebastian Uchitel. "Using Abduction and Induction for Operational Requirements" JOURNAL OF APPLIED LOGIC 5, no. 3 (2009): 275-288.
  7. 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 5813, (2009): 58-72.
  8. 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 17, no. 8 (2009): 983-996.
  9. Dario Fischbein, Victor Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" LECTURE NOTES IN COMPUTER SCIENCE 5684, (2009): 215-230.
  10. 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.
  11. Sebastian Uchitel, Greg Brunet, Marsha Chechik. "Synthesis of Partial Behaviour Models from Properties and Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2009): 776-799.
  12. V. Cortellessa, S. Uchitel, D. Yankelevich. "Guest Editorial" JOURNAL OF SYSTEMS AND SOFTWARE 82, no. 1 (2009): 1-2.
  13. Sebastian Uchitel, Jorge Boria, Victor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michellis, Angel Perez Puletti, Daniel Yankelevich. "Prospectiva en Ingeniería de Software 2020" Artes Gráficas Papiros S.A.C.I. , (2009): 181-198.
  14. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Distributed SAT-Based Analysis of Object Oriented Code" Symposium on Automatic Program Verification , (2009).
  15. 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).
  16. German Sibay, Victor Braberman, Sebastian Uchitel. "Existential Live Sequence Charts Revisited" International Conference on Software Engineering (ICSE) , (2009).
  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).
  18. 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).
  19. 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).
  20. D. Garbervetsky, S. YOVINE, V. Braberman, M. Rouaux, A. Taboada. "On transforming Java-like programs into memory-predictable code" The 7th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2009 , (2009).
  21. Silvia A Comastri, Liliana I Perez, Gervasio D Perez, Gabriel Martin, Arturo Bianchetti. "Métodos para transformar coeficientes Zernike al variar la pupila de un sistema óptico aberrado" 94 Reunión Nacional de Física , (2009).
  22. Dario Fischbein, Victor A. Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" International Colloquium on Theoretical Aspects of Computing , (2009).
  23. ESTEBAN PAVESE, VICTOR BRABERMAN, SEBASTIAN UCHITEL. "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models." Intl. Conf. Foundations of Software Engineering , (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).
  26. Dalal Alrajeh, Alessandra Russo, Jeff Kramer, Sebastian Uchitel. "Learning Operational Requirements from Declarative Goal Models" International Conference on Software Engineering (ICSE) , (2009).
  27. 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).

2008

  1. Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine. "Parametric Prediction of Heap Memory Requirements" ACM SIGPLAN NOTICES 43, no. 8 (2008): 141-150.
  2. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Static Analysis to Detect Re-entrancy in Object Oriented Programs" Journal of Object Technology 7, no. 5 (2008): 5-23.
  3. 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.
  4. S. Uchitel, S. Easterbrook. "Guest editor's introduction" AUTOMATED SOFTWARE ENGINEERING 15, no. 1 (2008): 5-6.
  5. NAZARENO AGUIRRE, MARCELO FRIAS, PABLO PONZIO, BRIAN CARDIFF, JUAN PABLO GALEOTTI, GERMAN REGIS. "Towards Abstraction for DynAlloy Specifications" LECTURE NOTES IN COMPUTER SCIENCE 5256, (2008): 207-225.
  6. 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 195, (2008): 133-149.
  7. E. ASARIN, G. PACE, G. SCHNEIDER, S. YOVINE. "Algorithmic analysis of polygonal hybrid systems. Part II: Phase Portrait and Tools" THEORETICAL COMPUTER SCIENCE 390, no. 1 (2008): 1-26.
  8. Ivan Lanese, Hernán Melgratti. "Synchronous Multiparty Synchronizations and Transactions" LECTURE NOTES IN COMPUTER SCIENCE 5065, (2008): 76-95.
  9. Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto. "Multiparty Sessions in SOC" LECTURE NOTES IN COMPUTER SCIENCE 5052, (2008): 67-82.
  10. Fernando Schapachnik. "Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador" Digital & Paper , (2008).
  11. S. YOVINE, I. ASSAYAD, F.-X. DEFAUT, M. ZANCONI, A. BASU. "Formal Approach to Derivation of Concurrent Implementations in Software Product Lines" Chapman & Hall/Crc Computational Science , (2008): 359-400.
  12. 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).
  13. ANTONIO BUCCHIARONE, JUAN PABLO GALEOTTI. "Dynamic Software Architectures Verification using DynAlloy" 7th International Workshop on Graph Transformation and Visual Modeling Techniques , (2008).
  14. G. Sibay, S. Uchitel, V. Braberman. "Existencial Life Sequence Charts Revisited" ACM\IEEE International Conference on Software Engineering , (2008).
  15. 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).
  16. V. Braberman, F. Fernández, D. Garbervetsky, S. Yovine. "Parametric Prediction of Heap Memory Requirements" ACM SIGPLAN International Symposium on Memory Management , (2008).
  17. Dario Fischbein, Sebastian Uchitel. "On Correct and Complete Merging of Partial Behaviour Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2008).
  18. 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).
  19. 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).
  20. 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).
  21. V. Braberman, F. Fernández, D. Garbervetsky, S. YOVINE. "Parametric Prediction of Heap Memory Requirements" International Symposium on Memory Management , (2008).
  22. 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).
  23. 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).
  24. 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. 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 4424, (2007): 587-601.
  2. Maria Grazia Buscemi, Hernán Melgratti. "Transactional Service Level Agreement" LECTURE NOTES IN COMPUTER SCIENCE 4912, (2007): 124-139.
  3. E. ASARIN, G. SCHNEIDER, S. YOVINE. "Algorithmic analysis of polygonal hybrid systems, part I: Reachability" THEORETICAL COMPUTER SCIENCE 379, no. 1-2 (2007): 231-265.
  4. Víctor Braberman, Alfredo Olivero, Jorge Lucángeli Obes, Fernando Schapachnik. "Hypervolume Approximation in Timed Automata Model Checking" LECTURE NOTES IN COMPUTER SCIENCE 4763, (2007): 69-81.
  5. Silvia A Comastri, Liliana I Perez, Gervasio D Perez, Gabriel Martin, Karina Bastida. "Zernike expansion coefficients: rescaling and decentering for different pupils and evaluation of corneal aberrations" JOURNAL OF OPTICS. A, PURE AND APPLIED OPTICS (PRINT) 9, (2007): 209-221.
  6. V. Cortellessa, S. Uchitel, D. Yankelevich. "Proceedings of the 6th International Workshop on Software and Performance" ACM , (2007).
  7. 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" Springer , (2007): 87-119.
  8. Nicolas D'Ippolito, H. Foster, D. Fischbein, S. Uchitel. "MTSA: The Modal Transition System Analyser Eclipse Plugin" ETX2007 Workshop at OOPSLA07 , (2007).
  9. 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).
  10. Kicillof, Grieskamp, Tillmann, Braberman. "Achieving Both Model and Code Coverage with Automated Gray-Box Testing"" Workshop on Advances in Model Based Testing , (2007).
  11. 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).
  12. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Reentrancy Analysis for object oriented programs" 9th Workshop on Formal Techniques for Java-like Programs , (2007).
  13. 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).
  14. Sebastián Uchitel, Greg Brunet, Marsha Chechik. "Behaviour Model Synthesis from Properties and Scenarios" 29th IEEE/ACM International Conference on Software Engineering (ICSE) , (2007).
  15. 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).
  16. 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).
  17. 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).
  18. I. ASSAYAD, S. YOVINE. "P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications" EUROMICRO Conference on Digital System Design , (2007).
  19. G. Salagnac, Ch. Rippert, S. YOVINE. "Semi-automatic Region-Based Memory Management for Real-Time Java Embedded Systems" IEEE International Conference on Embedded and Real-Time Computing Systems and Applications , (2007).
  20. Silvia A Comastri, Liliana I Perez, Gervasio D Perez, Karina Bastida, Gabriel Martin. "Wavefront aberrations: analytical method to convert Zernike coefficients from a pupil to a scaled arbitrarily decentered one" 6th Iberoamerican Meeting on Optics and 9th Latin American Meeting on Optics, Lasers and Their Applications , (2007).
  21. Karina Bastida, Gervasio D Perez, Gabriel Martin, Silvia A Comastri, Liliana I Perez. "Desarrollo de la aberración del frente de ondas en modos Zernike: transformación de coeficientes al contraer y trasladar la pupila" Encuentro de Optica Aplicada , (2007).
  22. 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).
  23. I. ASSAYAD, S. YOVINE. "Modelling and Exploration Environment for Application Specific Multiprocessor Systems" Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007) , (2007).
  24. 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).

2006

  1. 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.
  2. Sebastian Uchitel, Manfred Broy, Ingolf Krueger, Jon Whittle. "Special Section on Interaction and State-Based Modeling" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 31, (2006): 997-998.
  3. Carlos Gustavo Lopez Pombo, Marcelo Fabián Frias. "Fork Algebras as a Sufficiently Rich Universal Institution" LECTURE NOTES IN COMPUTER SCIENCE 4019, (2006): 235-247.
  4. 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 17, no. 1 (2006): 1-34.
  5. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo. "Interpretability of First-Order Linear Temporal Logics in Fork Algebras" JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 66, (2006): 161-184.
  6. Roberto Bruni, Hernán Melgratti. "Non-sequential Behaviour of Dynamic Nets" LECTURE NOTES IN COMPUTER SCIENCE 4024, (2006): 105-124.
  7. Davide Bacciu, Alessio Botta, Hernán Melgratti. "A Fuzzy Approach for Negotiating Quality of Services" LECTURE NOTES IN COMPUTER SCIENCE 4661, (2006): 200-217.
  8. Roberto Bruni, Hernán Melgratti, Emilio Tuosto. "Translating Orc Features into Petri Nets and the Join Calculus" LECTURE NOTES IN COMPUTER SCIENCE 4184, (2006): 123-137.
  9. V. Braberman, D. Garbervetsky, S. YOVINE. "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption" Journal of Object Technology 5, no. 5 (2006): 31-58.
  10. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Dealing with practical limitations of distributed timed model checking for timed automata" FORMAL METHODS IN SYSTEM DESIGN 29, no. 2 (2006): 197-214.
  11. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Nominal Calculi" LECTURE NOTES IN COMPUTER SCIENCE 4137, (2006): 295-309.
  12. Roberto Bruni, Hernán Melgratti. "Dynamic Graph Transformation Systems" LECTURE NOTES IN COMPUTER SCIENCE 4178, (2006): 230-244.
  13. Steve Easterbrook, Sebastian Uchitel. "21st IEEE/ACM International Conference on Automated Software Engineering" IEEE Press , (2006).
  14. JUAN PABLO GALEOTTI, MARCELO FRIAS. "Dynalloy as a formal method for the analysis of Java programs" SPRINGER , (2006): 249-260.
  15. 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).
  16. G. Brunet, M. Chechik, S. Uchitel. "Properties of Behavioural Model Merging" Internacional Conference on Formal Methods (FM), , (2006).
  17. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Dynamic Graph Grammars" Workshop on Petri Nets and Graph Transformation (PNGT2006) , (2006).
  18. 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).
  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).
  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. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Modes for Software Architecture" 3th European Workshop on Software Achitecture , (2006).
  25. 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).
  26. 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).
  27. L. Duarte, J. Kramer, S. Uchitel. "Model Extraction Based on Context Information" International Conference on Model Driven Engineering Languages and Systems , (2006).
  28. H. Foster, J. Magee, J. Kramer, S. Uchitel. "Adaptable Software Aechitectures and Task Synthesis for UAVs" Systems engineering for Autonomous Systems , (2006).
  29. 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).
  30. Dalal Alrajeh, Oliver Ray, Allesandra Russo, Sebastián Uchitel. "Extracting requirements from scenarios with ILP" 16th International Conference on Inductive Logic Programmin , (2006).
  31. 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).
  32. 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).
  33. Silvia A Comastri, Liliana I Perez, Gervasio D Perez, Gabriel Martin, Karina Bastida. "Coeficientes Zernike de la función aberración: influencia del escaleo y descentrado pupilar y aplicación al cálculo de aberraciones corneales" 91 Reunión Nacional de Física , (2006).
  34. I. ASSAYAD, S. YOVINE. "System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding" IEEE Symposium on Industrial Embedded Systems (IES 2006) , (2006).

2005

  1. 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 113, (2005): 105-121.
  2. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky. "Fast Escape Analysis for Region-based Memory Management" Electronic Notes in Theoretical Computer Science 131, (2005): 99-110.
  3. 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 14, (2005): 478-526.
  4. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Issues in distributed timed model checking" International Journal on Software Tools for Technology Transfer (STTT) 7, no. 1 (2005): 4-18.
  5. 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 31, no. 12 (2005): 1028-1041.
  6. 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 128, no. 3 (2005): 3-18.
  7. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Issues in distributed timed model checking: Building Zeus" International Journal on Software Tools for Technology Transfer (STTT) 7, no. 1 (2005): 4-18.
  8. S. Tripakis, S. Yovine, A. Bouajjani. "Checking Timed Büchi Automata Emptiness Efficiently" FORMAL METHODS IN SYSTEM DESIGN 26, no. 3 (2005): 267-292.
  9. 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 3653, (2005): 383-397.
  10. 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 3670, (2005): 272-286.
  11. 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. 128, (2005): 3-18.
  12. 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).
  13. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Levering Eclipse for Integrated Model-Based Engineering of Web Service compositions" Workshop at OOPSLA05 , (2005).
  14. 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).
  15. 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).
  16. 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).
  17. 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).
  18. 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).
  19. 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).
  20. 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).
  21. 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).
  22. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Monitoring and Control in Scenario-Based Requirements Analysis" 27th International Conference on Software Engineering , (2005).
  23. 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).
  24. 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).
  25. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Web Service Compositions: From XML Syntax to Service Model" IDEAlliance XML Conference , (2005).
  26. 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).
  27. 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).
  28. I. ASSAYAD, V. Bertin, F.-X. DEFAUT, Ph. Gerner, O. Quévreux, S. YOVINE. "Jahuel: A Formal Framework for Software Synthesis." Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005 , (2005).
  29. A. Ferrari, D. Garbervetsky, V. Braberman, P. Listingart, S. YOVINE. "JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications" Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005 , (2005).
  30. I. ASSAYAD, S. YOVINE. "Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations" Innovative Internet Community Systems, 5th International Workshop, IICS 2005 , (2005).
  31. G. Salagnac, S. YOVINE, D. Garbervetsky. "Fast Escape Analysis for Region-based Memory Management" First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005) , (2005).
  32. I. ASSAYAD, V. Bertin, Ph. Gerner, S. YOVINE. "Modelling, Analysis and Parallel Implementation of an On-line Video Encoder" 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005) , (2005).
  33. 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. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero. "ObsSlice: A Timed Automata Slicer Based on Observers" LECTURE NOTES IN COMPUTER SCIENCE 3114, (2004): 470-474.
  2. 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.
  3. Marcelo Fabián Frias, Carlos Gustavo Lopez Pombo, Nazareno M. Aguirre. "An equational calculus for Alloy" LECTURE NOTES IN COMPUTER SCIENCE 3308, (2004): 162-175.
  4. Victor A. Braberman, Diego Garbervetsky, Alfredo Olivero. "A Time Automata Slicer Based on Observers" LECTURE NOTES IN COMPUTER SCIENCE 3114, (2004): 470-474.
  5. 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).
  6. A. Alfonso, Victor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "Visual Tmed Event Scenarios" ACM\IEEE International Conference on Software Engineering , (2004).
  7. 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).
  8. 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).
  9. Sebastian Uchitel, Rebert Chatley, Jeff Kramer, Jeff Magee. "Fluent-Based Animation: Exploting the Relation between Goals and Scenarios" International Conference on Requirements Engineering , (2004).
  10. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "Compatibility Verification for Web Service Choreography" International Conference on Web Services , (2004).
  11. Sebastian Uchitel, Marsha Chechik. "Merging Partial Behavioural Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2004).
  12. 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).
  13. 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).
  14. 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).
  15. D. Garbervetsky, Ch. Nakhli, S. YOVINE, H. Zorgati. "Program Instrumentation and Run-Time Analysis of Scoped Memory in Java" Fourth Workshop on Runtime Verification (RV 2004) , (2004).

2003

  1. 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 28, no. 6 (2003): 9-10.
  2. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Synthesis of Behavioural Models from Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , no. 2 (2003): 99-115.
  3. 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 2805, (2003): 678-697.
  4. Victor A. Braberman, Afredo Olivero, Fernando Schapachnik. "ZEUS: A Distributed Timed Model- Checker Based on KRONOS" Electr. Notes Theor. Comput. Sci. 68, no. 4 (2003): 503-522.
  5. J. Sifakis, S. Tripakis, S. YOVINE. "Building models of real-time systems from application software" PROCEEDINGS OF THE IEEE 91, no. 1 (2003): 100-111.
  6. Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Software Architecture Modeling and Analysis: A Rigorous Approach" Springer , (2003): 44-51.
  7. 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).
  8. 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).
  9. 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).
  10. 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).
  11. 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).
  12. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Verification of Web Service Compositions" 18th IEEE International Conference on Automated Software Engineering , (2003).
  13. 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).
  14. Ch. Kloukinas, S. YOVINE. "Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems" Euromicro Conference on Real-Time Systems , (2003).
  15. Ch. Kloukinas, Ch. Nakhli, S. YOVINE. "A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications" International Conference Embedded Software , (2003).
  16. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Flat Committed Join in Join" Proceedings of the Workshop of the COMETA Project on Computational Metamodels , (2003).

2002

  1. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Implied Scenario Detection in the Presence of Behaviour Constraints" Electronic Notes in Theoretical Computer Science 65, (2002): 1-20.
  2. Victor Braberman, Carlos Gustavo Lopez Pombo, Alfredo Olivero. "On Improving Backwards Verification for Timed Automata" Electronic notes in theoretical computer science 65, (2002): 1-8.
  3. Victor A. Braberman, Carlos López Pombo, Alfredo Olivero. "On Improving Backwards Verification Time Automata" Electr.notes Theror. Comput. Sci. 65, no. 6 (2002): 60-67.
  4. Victor A. Braberman, Diego Garbervetsky, Alfredo Olivero. "Improving the Verification of Time Systems Using Influence Information" LECTURE NOTES IN COMPUTER SCIENCE 2280, (2002): 21-36.
  5. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "Zeus: A Distributed Timed Model-Checker Based on Kronos" Electronic Notes in Theoretical Computer Science 68, no. 4 (2002): 503-522.
  6. 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).
  7. 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).
  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. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Negative Scenarios for Implied Scenario elicitation" International Symposium on the Fundations of Software Engineering , (2002).
  10. Víctor Braberman, Alfredo Olivero, Fernando Schapachnik. "An Architecture Centric Approach for the Development of a Distributed Model Checker" ICSE 2002 , (2002).
  11. V. Colin de Verdière, S. Cros, Ch. Fabre, R. Guider, S. YOVINE. "Speedup Prediction for Selective Compilation of Embedded Java Programs" International Conference on Embedded Software , (2002).

2001

  1. Victor A. Braberman, Alfredo Olivero. "Extending Timed Automata for Compositional Modeling Healthy Timed Systems" Electric Notes Theory in Computer Science 52, no. 3 (2001): 1-19.
  2. P. Niebert, S. Yovine. "Computing efficient operation schemes for chemical plants in multi-batch mode" EUROPEAN JOURNAL OF CONTROL 7, no. 4 (2001): 440-454.
  3. G. Lafferriere, G. Pappas, S. Yovine. "Symbolic Reachability Computation for Families of Linear Vector Fields" JOURNAL OF SYMBOLIC COMPUTATION 32, no. 3 (2001): 231-253.
  4. S. Tripakis, S. YOVINE. "Analysis of Timed Systems Using Time-Abstracting Bisimulations" FORMAL METHODS IN SYSTEM DESIGN 18, no. 1 (2001): 25-68.
  5. Sebastian Uchitel, Jeff Kramer. "A Workbench for Synthesising Behaviour Models from Scenarios" International Conference on Software Engineering , (2001).
  6. 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).
  7. 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).
  8. Victor A. Braberman, Alfredo Olivero. "Preserving Branching-time Structure in timed Systems" Workshop Argentino de Ciencia de la Computación , (2001).
  9. P. Inverardi, S. Uchitel. "Proving Deadlock Freedom in component Based Programming" Fundamental Approches to Software Engineering (FASE) , (2001).
  10. V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, D. Weil, S. Yovine. "TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems" IEEE Conference on Decision and Control , (2001).
  11. J. Della Dora, A. Maignan, M. Mirica-Ruse, S. YOVINE. "Hybrid computation" International Symposium on Symbolic and Algebraic Computation , (2001).

2000

  1. Sebastian Uchitel, Daniel Yankelevich. "Enhancing Architecture Mismatch Detection with Assumptions" International Conference and Workshop on the Engineeringof Computer Based Systems , (2000).
  2. Victor A. Braberman, Fabio Pieniazck. "Duration Properties over Real Time System Designs" ACM International Workshop on Software Specification and Design , (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 1687, (1999): 494-510.
  2. Y. Ketsten, A. Pnueli, J. Sifakis, S. Yovine. "Decidable Integration Graphs" Information and Computation 150, no. 2 (1999): 209-243.
  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).
  4. Victor A. Braberman, Miguel Felder. "Automatic Verifiction of Real-Time-Designs" Doctoral Workshop International Conference on Software Engineering , (1999).
  5. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, S. YOVINE. "A framework for scheduler synthesis" IEEE Real Time Systems Symposium , (1999).
  6. A. Girault, S. YOVINE. "Stability analysis of a longitudinal control law for autonomous vehicles" IEEE Conference on Decision and Control , (1999).
  7. T. Simsek, R. Sengupta, S. YOVINE, F. Eskafi. "Fault diagnosis for intra-platoon communications" IEEE Conference on Decision and Control , (1999).
  8. G. Lafferriere, G. Pappas, S. YOVINE. "Reachability computation for linear hybrid systems" IFAC World Congress 1999 , (1999).
  9. G. Lafferriere, G. Pappas, S. YOVINE. "Reach set computation for linear vector fields using quantifier elimination" 5th IMACS Conference on Applications of Computer Algebra. , (1999).
  10. G. Lafferriere, G. Pappas, S. YOVINE. "A new class of decidable hybrid systems" Hybrid Systems: Computation and Control, HSCC'99 , (1999).

1998

  1. S. YOVINE. "Model Checking Timed Automata" Springer , (1998): 114-152.
  2. Victor A. Braberman, Dang Vna Hung. "On Checking Timed Automata For Linear Duration Invariants" RTSS -IEEE International Real-time Systems Symposium , (1998).
  3. S. Tripakis, S. YOVINE. "Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos" IEEE Real Time Technology and Applications Symposium , (1998).
  4. A. Deshpande, S. YOVINE. "System design using Teja and Kronos. Case Study: The FDDI Protocol" Educational Case Studies in Protocols, ECASP, FORTE / PSTV’98 , (1998).

1997

  1. S. YOVINE. "Kronos: A verification tool for real-time systems" International Journal of Software Tools for Technology Transfer 1, no. 1/2 (1997): 123-133.
  2. 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).
  3. 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).
  4. Victor A. Braberman, Marina Marré, Miguel Felder. "Testing Timing Behaviors of Real Time Software" International Software Quality Week , (1997).
  5. M. Bozga, O. Maler, A. Pnueli, S. YOVINE. "Some Progress in the Symbolic Verification of Timed Automata" Computer Aided Verification , (1997).
  6. S. Tasiran, S. P. Khatri, S. YOVINE, R. K. Brayton, A. Sangiovanni-Vincentelli. "A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk" Formal Methods in Computer-Aided Design , (1997).
  7. A. Bouajjani, S. Tripakis, S. YOVINE. "On-the-fly symbolic model-checking for real-time systems" 18th IEEE Real Time Systems Symposium, RTSS'97 , (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. C. Daws, S. YOVINE. "Reducing the number of clock variables of timed automata" IEEE Real Time Systems Symposium , (1996).
  4. J. Sifakis, S. YOVINE. "Compositional Specification of Timed Systems" Symposium on Theoretical Aspects of Computer Science , (1996).
  5. A. Bouajjani, Y. Lakhnech, S. YOVINE. "Model-Checking for Extended Timed Temporal Logics" International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems , (1996).
  6. S. Tripakis, S. YOVINE. "Analysis of timed systems based on time-abstracting bisimulations" 8th Computer-Aided Verification, CAV’96 , (1996).
  7. O. Maler, S. YOVINE. "Hardware timing verification using Kronos" 7th IEEE Israeli Conference on Computer Systems and Software Engineering, ICCBSSE'96 , (1996).
  8. 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).

1995

  1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. -H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. YOVINE. "The algorithmic analysis of hybrid systems" THEORETICAL COMPUTER SCIENCE 138, no. 1 (1995): 3-34.
  2. C. Daws, S. YOVINE. "Two Examples of Verification of Multirate Timed Automata with Kronos" IEEE Real Time Systems Symposium , (1995).
  3. C. Daws, A. Olivero, S. Tripakis, S. YOVINE. "The Tool KRONOS" Hybrid Systems III: Verification and Control , (1995).

1994

  1. T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. "Symbolic Model Checking for Real-Time Systems" Information and Computation , no. 2 (1994): 193-244.
  2. C. Daws, A. Olivero, S. YOVINE. "Verifying ET-LOTOS programmes with KRONOS" IFIP International Conference on Formal Description Techniques , (1994).
  3. A. Olivero, J. Sifakis, S. YOVINE. "Using Abstractions for the Verification of Linear Hybrid Systems" Computer Aided Verification , (1994).

1993

  1. X. Nicollin, J. Sifakis, S. YOVINE. "From ATP to timed graphs and hybrid systems" ACTA INFORMATICA 30, no. 2 (1993): 181-202.

1992

  1. X. Nicollin, J. Sifakis, S. YOVINE. "Compiling real-time specifications into extended automata" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 18, no. 9 (1992): 794-804.
  2. S. YOVINE. "Compiling timed algebras into timed automata" XVIII CONF. LAT. DE INFORMATICA, PANEL 92 , (1992).
  3. Y. Ketsten, A. Pnueli, J. Sifakis, S. YOVINE. "Integration graphs a class of decidable hybrid systems" Workshop on Theory of Hybrid Systems , (1992).
  4. X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. "An approach to the description and analysis of hybrid systems" Workshop on Theory of Hybrid Systems , (1992).
  5. T. A. Henzinger, X. Nicollin, J. Sifakis, S. YOVINE. "Symbolic model checking for real-time systems" 7th Annual IEEE Symposium onLogic in Computer Science, LICS '92 , (1992).

1991

  1. R. ALVEZ, S. YOVINE. "Distributed implementation of a Linda kernel" XVII CONF. LAT. DE INFORMATICA, PANEL 91 , (1991).
  2. X. Nicollin, J. Sifakis, S. YOVINE. "From ATP to timed graphs and hybrid systems" Real-Time: Theory in Practice: REX Workshop , (1991).