2016

  1. Daniel Ciolek, Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Interaction Models and Automated Control under Partial Observable Environments" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  2. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Probabilistic Interface Automata" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2016).
  3. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Less is more: Estimating probabilistic rewards over partial system explorations" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2016).
  4. Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel. "Assured and correct dynamic update of controllers" 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , (2016).
  5. 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).

2015

  1. Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel. "Using contexts to extract behaviour models from code" SOFTWARE AND SYSTEMS MODELING , (2015).
  2. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "cJoin: Join with communicating transactions" MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25, no. 3 (2015).
  3. Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behaviour abstrac- tion adequacy criteria for api call protocol testing" SOFTWARE TESTING, VERIFICATION & RELIABILITY , (2015).
  4. JUAN PABLO GALEOTTI, CARLO FURIA, EVA MAY, GORDON FRASER, ANDREAS ZELLER. "Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2015).
  5. 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.
  6. F. Asteasuain, Victor Braberman. "Specification patterns: formal and easy" INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 25, no. 4 (2015): 669-700.
  7. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel. "Automated support for diagnosis and repair" COMMUNICATIONS OF THE ACM 58, (2015): 65-72.
  8. Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo Frias. "TacoFlow: optimizing SAT program verification using dataflow analysis" SOFTWARE AND SYSTEMS MODELING , (2015): 1-19.
  9. 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).
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. 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).
  15. 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).
  16. 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).

2014

  1. Laura Bocchi, Hernán Melgratti. "On the behaviour of general-purpose applications on cloud storages" Service Oriented Computing and Applications , (2014).
  2. 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.
  3. Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. "Summary-based inference of quantitative bounds of live heap objects" SCIENCE OF COMPUTER PROGRAMMING , (2014).
  4. Alexander Kampmann, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "JTACO: Test Execution for Faster Bounded Verification" LECTURE NOTES IN COMPUTER SCIENCE 8570, (2014): 134-141.
  5. Laura Bocchi, Hernán Melgratti. "On the Behaviour of General-Purpose Applications on Cloud Storages" LECTURE NOTES IN COMPUTER SCIENCE 8379, (2014): 1-19.
  6. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Behaviour, Interaction and Dynamics" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  7. Laura Bocchi, Hernán Melgratti, Emilio Tuosto. "Resolving Non-determinism in Choreographies" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "From Hierarchical BIP to Petri Calculus" LECTURE NOTES IN COMPUTER SCIENCE , (2014).
  9. Marcos Chicote, Daniel Ciolek, Juan Pablo Galeotti. "Practical JFSL verification using TACO" Software Practice and Experience 44, no. 3 (2014): 317-334.
  10. 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).
  11. ANDREA ARCURI, GORDON FRASER, JUAN PABLO GALEOTTI. "Automated unit test generation for classes with environment dependencies" 2014 International Conference on Automated Software Engineering , (2014).
  12. 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).
  13. 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).
  14. 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).
  15. 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).
  16. 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).
  17. Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel. "Automated Goal Operationalisation Based on Interpolation and SAT Solving" 36th International Conference on Software Engineering , (2014).
  18. 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).
  19. Matthias Hoeschele, JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Test generation across multiple layers" 7th International Workshop on Search-Based Software Testing , (2014).
  20. 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).
  21. 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).
  22. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" Formal Methods 2014 , (2014).

2013

  1. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido de Caso, Nicolas DIppolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sybay. "Supporting incremental behaviour model elaboration" Computer Science - Research and Development 28, no. 4 (2013): 279-293.
  2. 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.
  3. German Sibay, Victor Braberman, Sebastian Uchitel, Jeff Kramer. "Synthesising Modal Transition Systems from Triggered Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 39, no. 7 (2013): 975-1001.
  4. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Enabledness-based Program Abstractions for Behaviour Validation" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 22, no. 25 (2013): 1-46.
  5. 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.
  6. 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.
  7. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , (2013).
  8. Guido de Caso, Diego Garbervetsky, Daniel Gorín. "Integrated Program Verification Tools in Education" SOFTWARE: PRACTICE AND EXPERIENCE 43, no. 1 (2013): 403-418.
  9. Victor A. Braberman, Laurent Fribourg. "Formal Modeling and Analysis of Timed Systems" Springer-Verlag , (2013).
  10. Pedro D'Argenio, Hernán Melgratti. "CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013" Springer , (2013).
  11. 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).
  12. Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi. "On Verifying Resource Contracts using Code Contracts" First Latin American Workshop on Formal Methods , (2013).
  13. Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky. "The DynAlloy Visualizer" First Latin American Workshop on Formal Methods , (2013).
  14. 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).
  15. Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi. "On verifying resource contracts using Code Contracts" Latin American Workshop on Formal Methods LAFM 2013 , (2013).
  16. Shoham Ben David, Marsha Chechik, Sebastian Uchitel. "Merging Partial Behaviour Models with Different Vocabularies" 24th International Conference on Concurrency Theory (CONCUR 2013) , (2013).
  17. 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).
  18. 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).
  19. 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).
  20. Esteban Pavese, Victor Braberman, Sebastian Uchitel. "Automated Reliability Estimation over Partial Systematic Explorations" 35th International Conference on Software Engineering (ICSE 2013) , (2013).
  21. Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013) , (2013).

2012

  1. Hernán Melgratti, Christian Roldán. "On correlation sets and correlation exceptions in ActiveBPEL" LECTURE NOTES IN COMPUTER SCIENCE 7173, (2012): 212-226.
  2. 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.
  3. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" LECTURE NOTES IN COMPUTER SCIENCE 7436, (2012): 155-170.
  4. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Connector Algebras, Petri Nets, and BIP" LECTURE NOTES IN COMPUTER SCIENCE 7162, (2012): 19-38.
  5. José M. Castaño, Rodrigo Castaño. "A finite state intersection approach to propositional satisfiability" THEORETICAL COMPUTER SCIENCE , (2012).
  6. 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.
  7. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Automated Abstractions for Contract Validation" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 38, no. 1 (2012): 141-162.
  8. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "A Survey on Basic Connectors and Buffers" LECTURE NOTES IN COMPUTER SCIENCE 7542, (2012): 49-68.
  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. Diego Garbervetsky, Sunghum Kim. "Proceedings of the Second International Workshop on Developing Tools as Plug-Ins (TOPI)" IEEE , (2012).
  11. Victor A. Braberman, Miguel Felder. "Carlo, Software Engineering, and Latin America" Springer Verlag , (2012): 167-196.
  12. M. Teresa Higuera-Toledano, Sergio Yovine, Diego Garbervetsky. "Region-based Memory Management: An Evaluation of its Support in RTSJ" Springer , (2012): 101-127.
  13. Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel. "Abstractions for Validation in Action" Springer Verlag 7320, (2012): 192-218.
  14. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Abstractions for Validation in Action" Springer 7320, (2012): 192-218.
  15. Nicolas D'Ippolito. "Synthesis of event-based controllers: A software engineering challenge" International Conference on Software Engineering , (2012).
  16. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" 18th International Symposium on Formal Methods FM 2012 , (2012).
  17. German Sibay, Sebastian Uchitel, Victor Braberman, Jeff Kramer. "Distribution of Modal Transition Systems" 18th International Symposium on Formal Methods FM 2012 , (2012).
  18. G. Sibay, Victor A. Braberman, Sebastián Uchitel, jeff kramer. "Distribution of Modal Transition Systems" Intl. Symposium on Formal Methods , (2012).
  19. DIPPOLITO R. NICOLAS, Victor Braberman, NIR PITERMAN, Sebastián Uchitel. "The Modal Transition System Control Problem" Intl. Symposium on Formal Methods , (2012).
  20. JUAN PABLO GALEOTTI, ANDREAS ZELLER. "Inferring Loop Invariants Dynamically" 4th International Workshop on Invariant Generation (WING) , (2012).
  21. MARCOS CHICOTE, JUAN PABLO GALEOTTI. "TacoPlug: An Eclipse plug-in for TACO" Developing Tools as Plug-ins , (2012).
  22. 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).
  23. 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).
  24. 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).

2011

  1. 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.
  2. 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.
  3. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada. "Quantitative dynamic-memory analysis for Java" CONCURRENCY AND COMPUTATION-PRACTICE & 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. 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.
  6. 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.
  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. 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.
  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 , (2011).
  10. Diego Garbervetsky, Daniel Gorín, Ariel Neisen. "Enforcing Structural Invariants using Dynamic Frames" LECTURE NOTES IN COMPUTER SCIENCE 6605, (2011): 65-80.
  11. Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel. "Exploring inconsistencies between modal transition systems" SOFTWARE AND SYSTEMS MODELING 10, no. 1 (2011): 117-142.
  12. 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.
  13. 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.
  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. 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).
  18. 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).
  19. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer. "Integrating Model Checking and Inductive Logic Programming" 21st International Conference, ILP 2011 , (2011).
  20. JUAN PABLO GALEOTTI. "Análisis modular y recuperación de contraejemplos en TACO" XVII Congreso Argentino de Ciencias de la Computación , (2011).
  21. 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).
  22. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" 33rd International Conference on Software Engineering , (2011).
  23. 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).
  24. Jonathan Tapicer, Diego Garbervetsky, Martín Rouaux. "Resource Usage Contracts for .NET" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  25. Egdardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" 1st Workshop on Developing Tools as Plug-ins (TOPI) , (2011).
  26. Edgardo Zoppi, Victor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel. "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" TOPI 2011: 1st Workshop on Developing Tools as Plug-ins , (2011).
  27. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Program Abstractions for Behaviour Validation" International Conference on Software Engineering (ICSE) , (2011).
  28. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" International Conference on Software Engineering (ICSE) , (2011).
  29. 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. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Jeff Kramer, Judith Bishop, Prem Devanbu, Sebastian Uchitel. "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering" ACM , (2010).
  7. 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.
  8. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" ACM-SIGSOFT Intl. Symposium on Foundations of Software Engineering , (2010).
  9. 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).
  10. 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).
  11. Maria Grazia Buscemi, Hernán Melgratti. "Controllability and Abstraction in Business Processes" Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software , (2010).
  12. 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).
  13. Maria Grazia Buscemi, Hernán Melgratti. "Contracts for Abstract Processes in Service Composition" Foundations for Interface Technologies , (2010).
  14. F. Asteasuain, Victor Braberman. "Specification Patterns can be formal and also easy" SEKE 2010 (International Conference on Software Engineering and Knowledge Engineering , (2010).
  15. 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).
  16. 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).
  17. Dario Fischbein, Victor Braberman, Sebastian Uchitel. "Sound Observational Semantics for Modal Transition Systems" 6th International Colloquium on Theoretical Aspects of Computing (ICTAC) , (2010).
  18. 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).

2009

  1. Maria Grazia Buscemi, Hernán Melgratti. "Abstract Processes in Orchestration Languages" LECTURE NOTES IN COMPUTER SCIENCE 5502, (2009): 301-315.
  2. 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.
  3. 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.
  4. Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero. "Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis" LECTURE NOTES IN COMPUTER SCIENCE 5813, (2009): 58-72.
  5. Dario Fischbein, Victor Braberman, Sebastián Uchitel. "A Sound Observational Semantics for Modal Transition Systems" LECTURE NOTES IN COMPUTER SCIENCE 5684, (2009): 215-230.
  6. 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.
  7. Sebastian Uchitel, Greg Brunet, Marsha Chechik. "Synthesis of Partial Behaviour Models from Properties and Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , (2009): 776-799.
  8. 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.
  9. V. Cortellessa, S. Uchitel, D. Yankelevich. "Guest Editorial" JOURNAL OF SYSTEMS AND SOFTWARE 82, no. 1 (2009): 1-2.
  10. 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.
  11. JUAN PABLO GALEOTTI, NICOLAS ROSNER, CARLOS LOPEZ POMBO, MARCELO FRIAS. "Distributed SAT-Based Analysis of Object Oriented Code" Symposium on Automatic Program Verification , (2009).
  12. German Sibay, Victor Braberman, Sebastian Uchitel. "Existential Live Sequence Charts Revisited" International Conference on Software Engineering (ICSE) , (2009).
  13. 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).
  14. Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada. "On transforming Java like programs into memory-predictable code" 7th International Workshop on Java Technologies for Real-time and Embedded Systems , (2009).
  15. 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).
  16. 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).
  17. ESTEBAN PAVESE, VICTOR BRABERMAN, SEBASTIAN UCHITEL. "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models." Intl. Conf. Foundations of Software Engineering , (2009).
  18. 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).
  19. Sebastian Uchitel. "Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering" Simpósio Brasileiro de Métodos Formais , (2009).
  20. Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel. "Validation of Contracts using Enabledness Preserving Finite State Abstractions" 31st IEEE/ACM International Conference on Software Engineering (ICSE) , (2009).
  21. Dalal Alrajeh, Alessandra Russo, Jeff Kramer, Sebastian Uchitel. "Learning Operational Requirements from Declarative Goal Models" International Conference on Software Engineering (ICSE) , (2009).
  22. 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. 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.
  2. 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.
  3. 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.
  4. S. Uchitel, S. Easterbrook. "Guest editor's introduction" AUTOMATED SOFTWARE ENGINEERING 15, no. 1 (2008): 5-6.
  5. 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.
  6. 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.
  7. Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto. "Multiparty Sessions in SOC" LECTURE NOTES IN COMPUTER SCIENCE 5052, (2008): 67-82.
  8. Ivan Lanese, Hernán Melgratti. "Synchronous Multiparty Synchronizations and Transactions" LECTURE NOTES IN COMPUTER SCIENCE 5065, (2008): 76-95.
  9. 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.
  10. ANTONIO BUCCHIARONE, JUAN PABLO GALEOTTI. "Dynamic Software Architectures Verification using DynAlloy" 7th International Workshop on Graph Transformation and Visual Modeling Techniques , (2008).
  11. V. Braberman, F. Fernández, D. Garbervetsky, S. Yovine. "Parametric Prediction of Heap Memory Requirements" ACM SIGPLAN International Symposium on Memory Management , (2008).
  12. Daniel Monteverde, Afredo Olivero, Sergio Yovine, Victor Braberman. "VTS-based Specification and Verification of Behavioral Properties of AADL Models" Model Based Architecting and Construction of Embedded Systems , (2008).
  13. G. Sibay, S. Uchitel, V. Braberman. "Existencial Life Sequence Charts Revisited" ACM\IEEE International Conference on Software Engineering , (2008).
  14. V. Braberman, F. Fernández, D. Garbervetsky, S. YOVINE. "Parametric Prediction of Heap Memory Requirements" International Symposium on Memory Management , (2008).
  15. 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).
  16. Dario Fischbein, Sebastian Uchitel. "On Correct and Complete Merging of Partial Behaviour Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2008).
  17. 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).
  18. 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).
  19. 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).
  20. 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).
  21. 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).
  22. 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. 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.
  2. Braberman, Lucangeli, Olivero, Schapachnik. ""Hypervolume Approximation in Timed Automata Model Checking" LECTURE NOTES IN COMPUTER SCIENCE 4763, (2007): 69-81.
  3. Maria Grazia Buscemi, Hernán Melgratti. "Transactional Service Level Agreement" LECTURE NOTES IN COMPUTER SCIENCE 4912, (2007): 124-139.
  4. V. Cortellessa, S. Uchitel, D. Yankelevich. "Proceedings of the 6th International Workshop on Software and Performance" ACM , (2007).
  5. 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.
  6. 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).
  7. 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).
  8. Kicillof, Grieskamp, Tillmann, Braberman. "Achieving Both Model and Code Coverage with Automated Gray-Box Testing"" Workshop on Advances in Model Based Testing , (2007).
  9. 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).
  10. Manuel Fahndrich, Diego Garbervetsky, Wolfram Schulte. "A Reentrancy Analysis for object oriented programs" 9th Workshop on Formal Techniques for Java-like Programs , (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. 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).
  13. Nicolas D'Ippolito, H. Foster, D. Fischbein, S. Uchitel. "MTSA: The Modal Transition System Analyser Eclipse Plugin" ETX2007 Workshop at OOPSLA07 , (2007).
  14. 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).
  15. Sebastián Uchitel, Greg Brunet, Marsha Chechik. "Behaviour Model Synthesis from Properties and Scenarios" 29th IEEE/ACM International Conference on Software Engineering (ICSE) , (2007).
  16. 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).
  17. 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).
  18. 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).
  19. 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).
  20. 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. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Nominal Calculi" LECTURE NOTES IN COMPUTER SCIENCE 4137, (2006): 295-309.
  2. 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.
  3. Roberto Bruni, Hernán Melgratti. "Dynamic Graph Transformation Systems" LECTURE NOTES IN COMPUTER SCIENCE 4178, (2006): 230-244.
  4. 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.
  5. Davide Bacciu, Alessio Botta, Hernán Melgratti. "A Fuzzy Approach for Negotiating Quality of Services" LECTURE NOTES IN COMPUTER SCIENCE 4661, (2006): 200-217.
  6. Roberto Bruni, Hernán Melgratti. "Non-sequential Behaviour of Dynamic Nets" LECTURE NOTES IN COMPUTER SCIENCE 4024, (2006): 105-124.
  7. 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.
  8. 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.
  9. Víctor Braberman, Diego Garbervetsky, Sergio Yovine. "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption" Journal of Object Technology 5, no. 5 (2006): 31-58.
  10. Steve Easterbrook, Sebastian Uchitel. "21st IEEE/ACM International Conference on Automated Software Engineering" IEEE Press , (2006).
  11. JUAN PABLO GALEOTTI, MARCELO FRIAS. "Dynalloy as a formal method for the analysis of Java programs" SPRINGER , (2006): 249-260.
  12. 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).
  13. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Optimizing timed Automata model Checking via Clock Reordering" IEEE International Real-Time Systems Symposium , (2006).
  14. 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).
  15. 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).
  16. Roberto Bruni, Hernán Melgratti, Ugo Montanari. "Event Structure Semantics for Dynamic Graph Grammars" Workshop on Petri Nets and Graph Transformation (PNGT2006) , (2006).
  17. 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).
  18. G. Brunet, M. Chechik, S. Uchitel. "Properties of Behavioural Model Merging" Internacional Conference on Formal Methods (FM), , (2006).
  19. 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).
  20. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Modes for Software Architecture" 3th European Workshop on Software Achitecture , (2006).
  21. 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).
  22. 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).
  23. L. Duarte, J. Kramer, S. Uchitel. "Model Extraction Based on Context Information" International Conference on Model Driven Engineering Languages and Systems , (2006).
  24. H. Foster, J. Magee, J. Kramer, S. Uchitel. "Adaptable Software Aechitectures and Task Synthesis for UAVs" Systems engineering for Autonomous Systems , (2006).
  25. 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).
  26. Dalal Alrajeh, Oliver Ray, Allesandra Russo, Sebastián Uchitel. "Extracting requirements from scenarios with ILP" 16th International Conference on Inductive Logic Programmin , (2006).
  27. 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. 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.
  2. 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.
  3. 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.
  4. Victor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata" FORMAL METHODS IN SYSTEM DESIGN 29, (2005): 197-214.
  5. 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.
  6. S. Tripakis, S. Yovine, A. Bouajjani. "Checking Timed Büchi Automata Emptiness Efficiently" FORMAL METHODS IN SYSTEM DESIGN 26, no. 3 (2005): 267-292.
  7. 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.
  8. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky. "Fast Escape Analysis for Region-based Memory Management" Electronic Notes in Theoretical Computer Science 131, (2005): 99-110.
  9. Victor A. Braberman, Alfredo Olivero, Fernando Schapachnik. "On-the-fly Workload Prediction and Redistribution in the Distributed Time Model Cheker Zeus" Electr. Notes Theor. Comput. Sci. 128, (2005): 3-18.
  10. 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).
  11. 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).
  12. 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).
  13. 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).
  14. 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).
  15. 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).
  16. 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).
  17. 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).
  18. 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).
  19. 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).
  20. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Monitoring and Control in Scenario-Based Requirements Analysis" 27th International Conference on Software Engineering , (2005).
  21. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Web Service Compositions: From XML Syntax to Service Model" IDEAlliance XML Conference , (2005).
  22. 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).
  23. H. Foster, S. Uchitel, J. Magee, J. Kramer. "Levering Eclipse for Integrated Model-Based Engineering of Web Service compositions" Workshop at OOPSLA05 , (2005).
  24. 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).
  25. 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).
  26. 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).
  27. 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).
  28. 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).
  29. 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).
  30. 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).
  31. 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. Victor A. Braberman, Diego Garbervetsky, Alfredo Olivero. "A Time 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. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero. "ObsSlice: A Timed Automata Slicer Based on Observers" LECTURE NOTES IN COMPUTER SCIENCE 3114, (2004): 470-474.
  4. Alejandra Alfonso, Victor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik. "Vin-Time: Combing High-Level Finesse with Low-Level Muscle to Verify Real-Time systems" Conference on the Principles of Software Engineering , (2004).
  5. Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolás Kicillof, Alfredo Olivero, Fernando Schapachnik. "VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems" PRISE 2004: First International Conference on Principles of Software Engineering , (2004).
  6. 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).
  7. Sebastian Uchitel, Rebert Chatley, Jeff Kramer, Jeff Magee. "Fluent-Based Animation: Exploting the Relation between Goals and Scenarios" International Conference on Requirements Engineering , (2004).
  8. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer. "Compatibility Verification for Web Service Choreography" International Conference on Web Services , (2004).
  9. 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).
  10. Sebastian Uchitel, Marsha Chechik. "Merging Partial Behavioural Models" ACM International Symposium on Foundations of Software Engineering (FSE) , (2004).
  11. A. Alfonso, Victor A. Braberman, Nicolas Kicillof, Alfredo Olivero. "Visual Tmed Event Scenarios" ACM\IEEE International Conference on Software Engineering , (2004).
  12. 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).
  13. 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).
  14. 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. 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.
  2. 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.
  3. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Synthesis of Behavioural Models from Scenarios" IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , no. 2 (2003): 99-115.
  4. 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.
  5. Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Software Architecture Modeling and Analysis: A Rigorous Approach" Springer , (2003): 44-51.
  6. Ch. Kloukinas, S. YOVINE. "Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems" Euromicro Conference on Real-Time Systems , (2003).
  7. 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).
  8. 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).
  9. 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).
  10. 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).
  11. 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).
  12. 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).
  13. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel. "Model-based Verification of Web Service Compositions" 18th IEEE International Conference on Automated Software Engineering , (2003).
  14. 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).
  15. 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 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.
  3. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero. "Improving the Verification of Timed Systems Using Influence Information" LECTURE NOTES IN COMPUTER SCIENCE 2280, (2002): 21-36.
  4. 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).
  5. 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).
  6. 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).
  7. Sebastian Uchitel, Jeff Kramer, Jeff Magee. "Negative Scenarios for Implied Scenario elicitation" International Symposium on the Fundations of Software Engineering , (2002).
  8. 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).

2001

  1. 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.
  2. 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.
  3. S. Tripakis, S. YOVINE. "Analysis of Timed Systems Using Time-Abstracting Bisimulations" FORMAL METHODS IN SYSTEM DESIGN 18, no. 1 (2001): 25-68.
  4. 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.
  5. 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).
  6. J. Della Dora, A. Maignan, M. Mirica-Ruse, S. YOVINE. "Hybrid computation" International Symposium on Symbolic and Algebraic Computation , (2001).
  7. Victor A. Braberman, Alfredo Olivero. "Preserving Branching-time Structure in timed Systems" Workshop Argentino de Ciencia de la Computación , (2001).
  8. 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).
  9. Sebastian Uchitel, Jeff Kramer. "A Workbench for Synthesising Behaviour Models from Scenarios" International Conference on Software Engineering , (2001).
  10. 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).
  11. P. Inverardi, S. Uchitel. "Proving Deadlock Freedom in component Based Programming" Fundamental Approches to Software Engineering (FASE) , (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. Y. Ketsten, A. Pnueli, J. Sifakis, S. Yovine. "Decidable Integration Graphs" Information and Computation 150, no. 2 (1999): 209-243.
  2. 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.
  3. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, S. YOVINE. "A framework for scheduler synthesis" IEEE Real Time Systems Symposium , (1999).
  4. A. Girault, S. YOVINE. "Stability analysis of a longitudinal control law for autonomous vehicles" IEEE Conference on Decision and Control , (1999).
  5. T. Simsek, R. Sengupta, S. YOVINE, F. Eskafi. "Fault diagnosis for intra-platoon communications" IEEE Conference on Decision and Control , (1999).
  6. Victor A. Braberman, Miguel Felder. "Automatic Verifiction of Real-Time-Designs" Doctoral Workshop International Conference on Software Engineering , (1999).
  7. 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).
  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. 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).
  3. Victor A. Braberman, Dang Vna Hung. "On Checking Timed Automata For Linear Duration Invariants" RTSS -IEEE International Real-time Systems 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. M. Bozga, O. Maler, A. Pnueli, S. YOVINE. "Some Progress in the Symbolic Verification of Timed Automata" Computer Aided Verification , (1997).
  3. 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).
  4. 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).
  5. 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).
  6. Victor A. Braberman, Marina Marré, Miguel Felder. "Testing Timing Behaviors of Real Time Software" International Software Quality Week , (1997).
  7. 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).

1996

  1. C. Daws, S. YOVINE. "Reducing the number of clock variables of timed automata" IEEE Real Time Systems Symposium , (1996).
  2. J. Sifakis, S. YOVINE. "Compositional Specification of Timed Systems" Symposium on Theoretical Aspects of Computer Science , (1996).
  3. 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).
  4. 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).
  5. 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).
  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).