Publications in 2015
1- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning" , ACM Journal of Educational Resources in Computing - 2015

2- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing (en prensa)" , SOFTWARE TESTING, VERIFICATION & RELIABILITY - 2015

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

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

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

2- Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel , "Automated goal operationalisation based on interpolation and sat solving" , ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering, page 129--139 - may 2014 Automated Goal Operationalisation.pdf

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

4- Nicolas D´Ippolito, Nir Piterman, Sebastian Uchitel , "Controllability in Partial and Uncertain Environments" , 2014 14th International Conference on Application of Concurrency to System Design - 2014 07016328 (1).pdf

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

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

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

8- Nicolas D´Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel , "Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" , ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, page 688--699 - 2014 hope for the best.pdf

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

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

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

12- Nenad Medvidovic, Ivo Krka, Nicolas D´Ippolito, Sebastian Uchitel , "Revisiting compatibility of input-output modal transition systems" , FM 2014 - Formal Methods, Lecture Notes in Computer Science, Volume accepted - 2014 Revisiting Compatibility of Input-Output.pdf

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

2- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Automated Reliability Estimation over Partial Systematic Exprorations" , ICSE 2013, Proceedings of the 2013 International Conference on Software Engineering, page 602--611 - 2013 Automated Reliability Estimation over Partial-icse2013.pdf

3- Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel , "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria" , 2013 IEEE 6th International Conference on Software Testing, Verification, and Validation (ICST 2013), page 222-231 - 2013 Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf

4- Roberto Bruni, Hernán Melgratti, Paul Sobocinski , "Connector algebras for C/E and P/T nets’ interactions" , Logical Methods in Computer Science - 2013

5- Víctor Braberman, Nicolas D´Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel , "Controller Synthesis: From Modelling to Enactment" , ICSE 13 Proceedings of the 2013 International Conference on Software Engineering, page 1347-1350 - 2013 Controller Synthesis From Modelling to Enactment.pdf

6- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Elaborating requirements using model checking and inductive learning" , IEEE Transactions on Software Engineering, Volume 39, Number 3, page 361-383 - 2013 Elaborating Requirements using Model.pdf

7- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Enabledness-based Program Abstractions for Behaviour Validation" , ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013 Enabledness-based Program Abstractions for Behaviour Validation.pdf

8- Gervasio Pérez, Sergio Yovine , "Formal Design and Implementation of a Platform-Agnostic Template Library for Concurrent Programming" , Technical Report , CONICET - mar 2013 perez-yovine-2013.pdf

9- Víctor Braberman, Laurent Fribourg , "Formal Modeling and Analysis of Timed Systems" , Springer Berlin Heidelberg, Volume 8053 - aug 2013

10- Guido de Caso, Diego Garbervetsky, Daniel Gorín , "Integrated program verification tools in education" , Software - Practice and Experience, Volume 43, Number 4, page 403-418 - april 2013

11- Shoham Ben David, Marsha Chechik, Sebastian Uchitel , "Merging Partial Behaviour Models with Different Vocabularies" , CONCUR 2013 – Concurrency Theory, Volume 8052, page 91-105 - aug 2013 Merging Partial Behaviour Models with Different Vocabularies.pdf

12- Laura Bocchi, Hernán Melgratti , "On the behaviour of general-purpose applications on cloud storages" , Lecture Notes in Computer Science, page 29-47 - 2013

13- Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi , "On Verifying Resource Contracts using Code Contracts" , Proceedings First Latin American Workshop on Formal Methods, page 1-15 - 2013 castano-lafm-2013.pdf

14- Esteban Pavese, Sebastian Uchitel, Víctor Braberman , "Rewards Estimation for Partial Explorations of Nondeterministic Stochastic Systems" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2013 bpu-tr2013.pdf

15- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor 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 - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf

16- Gordon Pace, Fernando Schapachnik , "Synthesising Implicit Contracts" , Technical Report , Faculta de Ciencias Exactas y Naturales, UBA - apr 2013 main.pdf

17- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Synthesising Modal Transition Systems from Triggered Scenarios" , IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Volume 39, Number 7, page 975--1001 - jul 2013 Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf

18- Diego Bendersky, Juan Pablo Galeotti, Diego Garbervetsky , "The DynAlloy Visualizer" , Proceedings First Latin American Workshop on Formal Methods, page 59-64 - 2013 bendersky-lafm-2013.pdf

19- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”" , CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013 Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf
 
Publications in 2012
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Abstractions for Validation in Action" , Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012 abstractions_for_validation_in_action.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation" , Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012 05639021.pdf

3- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , 13th Argentine Symposium on Software Engineering - 2012 Branching Data Structures for Real-Time_pps_asse-2012.pdf


5- Gordon Pace, Fernando Schapachnik , "Contracts for Interacting Two-Party Systems" , Technical Report , FCEyN, Universidad de Buenos Aires - jun 2012 ps_flacos2012.pdf

6- Manuel Giménez, Sergio Mera, Fernando Schapachnik , "Detección automática de defectos normativos, una invitación a la colaboración" , I Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informatica - 2012

7- German Sibay, Víctor Braberman, Sebastian Uchitel, Jeff Kramer , "Distribution of Modal Transition Systems" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 403--417 - 2012 paperFM2012WithRelatedWork.pdf

8- 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, page 705--715 - 2012 Generating obstacle conditions for requirements completeness.pdf

9- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Learning from Vacuously Satisfiable Scenario-Based Specifications" , Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, page 377--393 - 2012 Learning_from_vacuously.pdf

10- Manuel Giménez, Gordon Pace, Fernando Schapachnik , "Permisos en los contratos, una mirada interna" , I Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informatica - abril 2012



13- María Teresa Higuera-Toledano, Sergio Yovine, Diego Garbervetsky , "Region-based Memory Management: An Evaluation of its Support in RTSJ in Distributed, Embedded and Real-time Java Systems" , 5 ,Springer, page 101--127 - 2012

14- Diego Garbervetsky, Sunghun Kim , "Report from 2nd International Workshop on Developing Tools as Plug-ins (TOPI 2012) " , ACM SIGSOFT Software Engineering Notes, Volume 37, Number 6, page 24--27 - 2012 report_TOPI_2012.pdf

15- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "The Modal Transition System Control Problem" , 18th International Symposium on Formal Methods FM 2012, Volume 7436, page 155--170 - 2012 paper.pdf

16- Gordon Pace, Fernando Schapachnik , "Types of Rights in Interacting Two-Party System: A Formal Analysis" , Technical Report , FCEyN, Universidad de Buenos Aires - feb 2012 ps_deon-2012.pdf

17- Dario Fischbein, Greg Brunet, Nicolas D´Ippolito, Marsha Chechik, Sebastian Uchitel , "Weak Alphabet Merging of Partial Behaviour Models" , ACM Transactions on Software Engineering and Methodology, Volume 21, Number 2, page 1-49 - 2012 Weak Alphabet Merging of Partial Behavior Models_Final.pdf
 
Publications in 2011
1- Diego Garbervetsky, Martín Roaux, Sergio Yovine, Víctor Braberman , "A compositional analysis of heap memory requirements " , Technical Report , Departamento de Computación. Universidad de Buenos Aires - mar 2011 reporte.pdf

2- Roberto Bruni, Hernán Melgratti, Ugo Montanari , "A Connector Algebra for P/T Nets Interactions" , CONCUR 2011 - Concurrency Theory - 22nd International Conference - 2011 a connector algebra.pdf

3- 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, page 138--153 - 2011 sefm2011.pdf

4- Christos Kloukinas, Sergio Yovine , "A model-based approach for multiple QoS in scheduling: from models to implementation" , Autom. Software Engineering, Volume 18, page 5--38 - 2011 2011_ASE.pdf

5- 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) - septiembre 2011

6- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "An Inductive Approach for Modal Transition System Refinement" , Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, page 106--116 - 2011 An inductive approach for modal transition system refinement.pdf

7- Roberto Bruni, Hernán Melgratti, Ugo Montanari , "Connector Algebras, Petri Nets, and BIP" , Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, page 19-38 - 2011 connector algebras.pdf

8- Edgardo Zoppi, Víctor 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 paper-topi-contractor.pdf

9- Shoham Ben David, Marsha Chechik, Arie Gurfinkel, Sebastian Uchitel , "CSSL: a logic for specifying conditional scenarios" , 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering, page 37--47 - 2011 cssl - a logic for specifying conditional scenarios.pdf

10- Manuel Giménez, Sergio Mera, Fernando Schapachnik , "Detección automática de defectos normativos, una invitación a la colaboración" , 40 JAIIO - Simposio Argentino de Informática y Derecho - 2011 ms_sid-2011.pdf

11- Diego Garbervetsky, Daniel Gorín, Ariel Neisen , "Enforcing Structural Invariants using Dynamic Frames" , International Conference on Tools and Algorithms for The Construction and Analysis of Systems (TACAS 2011), page 65--80 - 2011 paper.pdf

12- Mathieu Sassolas, Marsha Chechik, Sebastian Uchitel , "Exploring Inconsistencies between Modal Transition Systems" , Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011 Exploring_Inconsistencies.pdf

13- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "FormaLex - A Software Tool for Legal Drafting" , Technical Report , FCEyN, Universidad de Buenos Aires - apr 2011 gms_flacos-2011-tr.pdf

14- Fernando Asteasuain, Víctor Braberman , "FVS: A declarative aspect oriented modeling language" , Electronic Journal of SADIO, Volume 10, Number 1, page 20--37 - April 2011 Ejs-10-1-Asteasuain.pdf

15- Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor Braberman , "Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology" , SOFTWARE TESTING, VERIFICATION & RELIABILITY, Number 21, page 55--71 - 2011 STVR.pdf

16- Hernán Melgratti, Christian Roldán , "On Correlation Sets and Correlation Exceptions in ActiveBPEL" , Trustworthy Global Computing - 6th International Symposium, TGC 2011. Revised Selected Papers, page 212-226 - 2011

17- Gordon Pace, Fernando Schapachnik , "Permissions in Contracts, a Logical Insight" , The 24th International Conference on Legal Knowledge and Information Systems. University of Vienna, Austria - sep 2011 ps_jurix-2011.pdf

18- Guido de Caso, Diego Garbervetsky, Daniel Gorín , "Pest: from the lab to the classroom" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-pest.pdf

19- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Program Abstractions for Behaviour Validation " , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 381--390 - 2011 paper-icse-2011.pdf

20- Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Roaux, Alejandro Taboada , "Quantitative dynamic-memory analysis for Java" , Concurrency and Computation: Practice and Experience, Volume 23, Number 14, page 1665-1678 - 2011 Garbervestky_et_al.pdf

21- Jonathan Tapicer, Diego Garbervetsky, Martín Roaux , "Resource Usage Contracts for .NET" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins (short paper) - 2011 shortpaper.pdf

22- Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastian Uchitel , "Runtime Support for Dynamic and Adaptive Service Composition" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 585--603 - 2011

23- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Specification and Analysis of Dynamically-Reconfigurable Service Architectures" , Lecture Notes on Computer Science: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Volume 6582, page 428--446 - 2011

24- Nicolas D´Ippolito, Víctor Braberman, Nir Piterman, Sebastian Uchitel , "Synthesis of live behaviour models for fallible domains" , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 211--220 - 2011 synthesis of live behaviour models for fallible domains.pdf

25- Fernando Asteasuain, Víctor Braberman , "Visual Scenarios for addressing the Aspect Interference Problem" , ASSE 2011 - JAIIO 2011 - 2011 asse-asteasuain-brabermanASSE2011.pdf
 
Publications in 2010
1- Ismail Assayad, Sergio Yovine , "A scheduler synthesis methodology for joint SW/HW design exploration of SoC" , Design Automation for Embedded Systems, Volume 4, Number 2, page 75--103 - Marzo 2010 2010_DAEM.pdf

2- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "An Integrated Workbench for Model-Based Engineering of Service Compositions" , IEEE Transactions on Services Computing - 2010 an integrated workbench.pdf

3- Guido de Caso , "Behavioural Validation of Software Engineering Artefacts" , International Conference on Software Engineering (ICSE) - 2010 p335-de_caso.pdf

4- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Contractor for Code Validation" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - aug 2010 Contractor for Code Validation.pdf

5- Maria Grazia Buscemi, Hernán Melgratti , "Contracts for Abstract Processes in Service Composition" , Proceedings Foundations for Interface Technologies, page 9--27 - 2010

6- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel , "Deriving Non-Zeno Behavior Models from Goal Models using ILP" , Formal Aspects of Computing, Volume 22, Number 3, page 217-241 - 2010 deriving_non_zeno.pdf

7- Keith Stobie, Nicolas Kicillof, Wolfgang Grieskamp , "Discretizing Technical Documentation for End-to-End Traceability Tests" , 2nd International Conference on Advances in System Testing and Validation Lifecycle (VALID) - 2010

8- Fernando Asteasuain, Víctor Braberman , "Exploring visual scenarios as an aspect-oriented modeling language" , ASSE 2010 - JAIIO 2010 - - 2010 asse-asteasuain-braberman.pdf

9- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "FL, A Legal Drafting Language Based on Models" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010-teo.pdf

10- Guido de Caso, Hernán Czemerinski , "Historia de la Computación Hogareña en la Argentina" , Simposio de Historia de la Informática en América Latina y el Caribe 2010 - - 2010 monografiaArg_SHIALC.pdf

11- Hernán Czemerinski, Pablo Jacovkis , "La llegada de la computación a la Universidad de Buenos Aires" , Simposio de Historia de la Informática en América Latina y el Caribe 2010 - - 2010 historia-clementina_SHIALC.pdf

12- Sebastian Uchitel, Jorge Boria, Víctor Braberman, Marcelo Campo, Santiago Ceria, Pablo Michellis, Angel Perez Puletti, Daniel Yankelevich , "Libro Blanco de la Prospectiva TIC 2020" , Ingeniería de Software ,Ministerio de Ciencia Tecnología e Innovación, Argentina, page 181-199 - 2010 Cap_Libro_Prospectiva_TIC_2020.pdf

13- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Model checking legal documents" , The 23rd International Conference on Legal Knowledge and Information Systems. University of Liverpool, UK - 2010 gms_jurix-2010.pdf

14- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Model Checking Legal Documents" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010.pdf

15- Esteban Pavese, Sebastian Uchitel, Víctor 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 bpu_quovadis-2010.pdf

16- Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastian Uchitel , "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering" , ICSE 2010, Cape Town, South Africa, 1-8 May 2010, Volume 2 - 2010

17- Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastian Uchitel , "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering" , ICSE 2010, Cape Town, South Africa, 1-8 May 2010, Volume 1 - 2010


19- Fernando Asteasuain, Víctor Braberman , "Specification Patterns can be formal and still easy" , SEKE (International Conference on Software Engineering and Knowledge Engineering), page 430-436 - 2010 SK10-Asteasuain-Braberman.pdf

20- Nicolas D´Ippolito, Víctor Braberman, Sebastian Uchitel, Nir Piterman , "Synthesis of Live Behaviour Models" , ACM-SIGSOFT Intl. Conference on Foundations of Software Engineering - oct 2010 synthesis of live behaviour models.pdf

21- Daniel Gorín, Sergio Mera, Fernando Schapachnik , "Verificación automática de documentos normativos, ¿ficción o realidad?" , 39 JAIIO - Simposio Argentino de Informática y Derecho - 2010 gms_sid-2010.pdf
 
Publications in 2009
1- Dario Fischbein, Víctor Braberman, Sebastian Uchitel , "A Sound Observational Semantics for Modal Transition Systems" , International Colloquium on Theoretical Aspects of Computing - 2009 ICTAC09_-_Fischbein_-_Braberman_-_Uchitel_-_CRC.pdf

2- Fernando Asteasuain, Víctor Braberman , "Behavioral modeling" , Technical Report 3, DC. FCEN. UBA, Number 3 - sep 2009 techreport.pdf

3- Gervasio Pérez, Esteban Pavese, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not as Good as Thought" , Technical Report , Departamento de Computación, FCEyN, Universidad de Buenos Aires - 2009 pps_2009.pdf

4- Esteban Pavese, Gervasio Pérez, Fernando Schapachnik , "Branching Data Structures for Real-Time Model Checking Not As Good As Thought" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2009 pps_formats-2010.pdf

5- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "Engage: Engineering Service Modes with WS-Engineer and Dino" , International Conference on Service-Oriented Computing – ICSOC / Service Wave - 2009 hf-icsoc09demo_Engage.pdf

6- Vittorio Cortellessa, Sebastian Uchitel, Daniel Yankelevich , "Guest Editorial" , Journal of Systems and Software - 2009 guest_editorial.pdf

7- Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen , "Interaction Coverage meets Path Coverage by SMT Constraint Solving" , Joint Conference of the 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES) - 2009

8- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Jeff Kramer , "Learning Operational Requirements from Declarative Goal Models" , International Conference on Software Engineering - 2009

9- Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Roaux, Alejandro Taboada , "On transforming Java like programs into memory-predictable code" , 7th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2009, page 140--149 - sep 2009 GYVRT-JTRES2009-Finalv4.pdf Memory JTRES.pdf


11- Esteban Pavese, Víctor Braberman, Sebastian Uchitel , "Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models" , 12th European Software Engineering Conference and 17th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), page 335-344 - aug 2009 esec130-pavese.pdf

12- Guido de Caso, Daniel Gorín, Diego Garbervetsky , "Reducing the number of annotations in a verification-oriented imperative language" , Proceedings of Automatic Program Verification 2009 - - 2009 apv09.pdf

13- Víctor 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, page in press - sep 2009 Specialization+Localization.pdf

14- 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 System, Volume 17, Number 8, page 983-996 - aug 2009 VLSI-Bernstein-Sven.pdf

15- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Synthesis of Partial Behaviour Models from Properties and Scenarios" , Transactions on Software Engineering, Volume 35, Number 3, page 384--406 - May 2009 synthesys_of_partial_uchi_bru_che.pdf

16- Paulo Henrique M. Maia, Jeff Kramer, Sebastian Uchitel, N. C. Mendonca , "Towards accurate probabilistic models using state refinement" , ESEC/SIGSOFT FSE 2009, page 281-284 - 2009 towards_fse09-short-paper.pdf

17- Fernando Schapachnik, Jiri Barnat , "Trace Preserving Load Balancing in Distributed Timed Automata Model Checking" , Technical Report , Departamento de Computación, Universidad de Buenos Aires - 2009 sb_pdmc-2010-color.pdf

18- Dalal Alrajeh, O. Ray, Alessandra Russo, Sebastian Uchitel , "Using Abduction and Induction for Operational Requirements" , Journal of Applied Logic, Volume 5, Number 3, page 275-288 - 2009 ARRU09.pdf

19- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Validation of Contracts using Enabledness Preserving Finite State Abstractions" , 31st IEEE/ACM International Conference on Software Engineering (ICSE), page 452--462 - may 2009 ICSE0130.PDF
 
Publications in 2008
1- Howard Foster, Arun Mukhija, Martín E Rais, Sebastian Uchitel , "A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes" , International Conference on Service-Oriented Computing – ICSOC 2008, Volume 5364, page 558--564 - 2008

2- Manuel Fändrich, Diego Garbervetsky, Wolfram Schulte , "A Static Analysis to Detect Re-entrancy in Object Oriented Programs" , Journal of Object Technology, Volume 7, Number 5, page 5--23 - jun 2008 reentrancy.pdf

3- Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine , "Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools" , Theoretical Computer Science, Volume 390, Number 1, page 1--26 - 2008 2008_TCS_390_1.pdf

4- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models" , Journal of Automated Software Engineering, Volume 15, page 175-206 - 2008

5- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Deriving Non-zeno Behaviour Models from Goal models Using ILP" , FASE: International Conference on Fundamental Approaches to Software Engineering - 2008

6- German Sibay, Sebastian Uchitel, Víctor Braberman , "Existential Live Sequence Charts Revisited," , ICSE 2008: 30th International Conference on Software Engineering - May 2008 Existential_Live.pdf

7- Sebastian Uchitel, Steve Easterbrook , "Guest editor's introduction" , Journal of Automated Software Engneering - 2008

8- Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred Wurden, Danpo Zhang , "Model-Based Quality Assurance of the SMB2 Protocol Documentation" , 8th International Conference on Quality Software (QSIC) - 2008

9- Wolfgang Grieskamp, Dave MacDonald, Nicolas Kicillof, Keith Stobie, Fred Wurden, Alok Nandan , "Model-Based Quality Assurance of Windows Protocol Documentation" , First International Conference on Software Testing, Verification and Validation - 2008 ICST08.pdf

10- Nicolas D´Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel , "MTSA: The modal transition system analyser" , 23rd IEEE/ACM International Conference on Automated Software Engineering - 2008 MTSA The Modal.pdf

11- Dario Fischbein, Sebastian Uchitel , "On Correct and Complete Merging of Partial Behaviour Models" , FSE: International Symposium on Foundations of Software Engineering - 2008

12- Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine , "Parametric Prediction of Heap Memory Requirements" , International Symposium on Memory Management, page 141--150 - jun 2008 ISMM103-braberman.pdf

13- Guido de Caso, Diego Garbervetsky, Daniel Gorín , "Pest Formal Specification" , Technical Report , DC.FCEN.UBA - 2008 technical_report.pdf

14- Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero , "Specializing Scenarios" , Technical Report , Departameneto de Computación. FCEyN. UBA - aug 2008 SpecializingScenarios.pdf

15- Shiva Nejati,, Mehrdad Sabetzadeh,, Marsha Chechik, Sebastian Uchitel, Pamela Zave , "Towards Compositional Synthesis of Evolving Systems," , International Symposium on Foundations of Software Engineering - 2008

16- Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel , "Towards Faithful Model Extraction Based on Contexts" , FSE: International Symposium on Foundations of Software Engineering - 2008

17- Daniel Monteverde, Alfredo Olivero, Sergio Yovine, Víctor Braberman , "VTS-based Specification and Verification of Behavioral Properties of AADL Models" , Model Based Architecting and Construction of Embedded Systems - dic 2008 VTS.pdf
 
Publications in 2007
1- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services" , 71-91 ,Baresi, Luciano; Di Nitto, Elisabetta (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. K, page 72-91 - 2007

2- Manuel Fändrich, Diego Garbervetsky, Wolfram Schulte , "A Reentrancy Analysis for object oriented programs" , FTfJP 2007: ECOOP Workshop on Formal Techiques for Java-like Programs - jul 2007 paper_14.pdf

3- Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillman, Víctor Braberman , "Achieving Both Model and Code Coverage with Automated Gray-Box Testing" , A-MOST 2007 - 3rd Workshop on Advances in Model Based Testing, Volume jul - 2007

4- Eugene Asarin, Gerardo Schneider, Sergio Yovine , "Algorithmic analysis of polygonal hybrid systems, part I: Reachability" , Theoretical Computer Science, Volume 379, Number 1-2, page 231-265 - 2007 2007_TCS_379_1-2.pdf

5- Mike Barnett, Manuel Fändrich, Diego Garbervetsky, Francesco Logozzo , "Annotations for (more) Precise Points-to Analysis" , IWACO 2007: ECOOP International Workshop on Aliasing, Confinement and Ownership in object-oriented programming - jul 2007 garber07IWACO.pdf


7- S. F. Cantal De Sousa, N. C. Mendonca, Sebastian Uchitel, Jeff Kramer , "Detecting Implied Scenarios from Execution Traces" , 14th Working Conference on Reverse Engineering, - 2007

8- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , 5th International Conference on Formal Modelling and Analysis of Timed Systems, Volume 4763, page 69--81 - oct 2007 blos_formats-2007.pdf

9- Howard Foster, W. Emmerich, Jeff Kramer, Jeff Magee, Martín E Rais, Sebastian Uchitel , "Model Checking Service Compositions under Resource Constraints," , in Proceedings of ESEC/FSE 2007 - - 2007

10- Ismail Assayad, Sergio Yovine , "Modelling and Exploration Environment for Application Specific Multiprocessor Systems" , 10th IEEE International Symposium on High Assurance Systems Engineering (HASE 2007) - 2007 2007_HASE.pdf


12- Ismail Assayad, Sergio Yovine , "P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications" , Euromicro Symposium on Digital Systems Design (DSD) 2007, page 181-188 - 2007 2007_DSD.pdf

13- Diego Garbervetsky , "Parametric Specification of Dynamic Memory Utilization" , PhD thesis from Departamento de Computación. FCEyN. UBA - nov 2007

14- Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastian Uchitel , "Partial Behavioural Models for Requirements and Early Design. Methods for Modelling Software Systems" , Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), - 2007

15- Vittorio Cortellessa, Sebastian Uchitel, Daniel Yankelevich , "Proceedings of the 6th International Workshop on Software and Performance," , WOSP 2007, - 2007

16- Esteban Pavese, Fernando Schapachnik , "Relaxed Clock Difference Diagrams for Timed Automata Model Checking" , Technical Report , Depto. de Computación, FCEyN, UBA - nov 2007 ps_vmcai-2008.pdf

17- Guillaume Salagnac, Christophe Rippert, Sergio Yovine , "Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems" , 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, page 73-80 - 2007 2007_RTCSA.pdf

18- Víctor Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine , "Symbolic Prediction of Dynamic Memory Requirements" , Technical Report , DC. FCEyN. UBA - agosto 2007 peak.pdf

19- Fernando Taboada, Fernando Schapachnik , "Towards a Hybrid Approach of the Zeus Model Checker" , Master thesis from Departamento de Computación, FCEyN, UBA - sep 2007 tesis_ftaboada.pdf

20- Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Towards Self-Management in Service-oriented Computing with Modes" , Workshop on Engineering Service-Oriented Applications - 2007

21- 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, Aix-en-Provence, - 2007
 
Publications in 2006
1- Dario Fischbein, Sebastian Uchitel, Víctor Braberman , "A Foundation for Software Behavioural Conformance in Software Product Line Architectures" , ROSATEA 06 - The Role of Soft. Architecture for Testing and Analysis - jul 2006

2- Wolfgang Grieskamp, Nicolas Kicillof , "A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions" , Technical Report 2006-13, Microsoft Research, Number 2006-13 - Feb 2006 TR-2006-13.pdf

3- Wolfgang Grieskamp, Nicolas Kicillof , "A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions" , 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM) - 2006

4- Víctor Braberman, Diego Garbervetsky, Sergio Yovine , "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption" , Journal of Object Technology, Volume 5, Number 5, page 31--58 - jun 2006 BGY-JOT-06.pdf

5- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "A Tool for Model-Based Verification of Web Service Compositions and Choreography" , International Conference on Software Engineering - 2006

6- Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik , "A Toolsuite for the Verification of RealTime Systems in Eclipse" , ETX 2006: OOPSLA workshop on eclipse Technology eXchange, page (in press) - 2006 cdf_etx-2006.pdf

7- Wolfgang Grieskamp, Nikolai Tillman, Nicolas Kicillof , "Action Machines: a Framework for Encoding and Composing Partial Behaviors" , Technical Report 2006-11, Microsoft Research, Number 2006-11 - Feb 2006 TR-2006-11.pdf

8- Howard Foster, Jeff Magee, Jeff Kramer, Sebastian Uchitel , "Adaptable Software Architecture and Task Synthesis for UAVs, Systems Engineering for Autonomos Systems" , (SEAS) DTC conference - 2006

9- Sebastian Uchitel, Greg Brunet, Marsha Chechik , "Behaviour Model Synthesis From Properties and Scenarios" , International Conference on Software Engineering (ICSE) - 2006

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, Volume 29, Number 2, page 197--214 - sep 2006 bos_fmsd-2005.pdf

11- Diego Piemonte, Diego Garbervetsky , "Descubrimiento automático de restricciones lineales entre variables de programas mediante análisis estático" , Master thesis from Departamento de Computación. FCEyN. UBA. - mar 2006

12- Alan Cyment, Nicolas Kicillof, Fernando Asteasuain , "Enhancing model-based AOP with behavior representation" , 2nd Workshop on Models and Aspects – Handling Crosscutting Concerns in MSMD (MDD&AOSD) - 2006

13- Dalal Alrajeh, Russo Alessandra, Sebastian Uchitel , "Extracting requirements from scenarios with ILP" , 16th International Conference on Inductive Logic Programming - 2006

14- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation" , Requirements Engineering Journal (REJ), Volume 11, Number 2 - apr 2006

15- Sebastian Uchitel, Manfred Broy, Ingolf Krueger, Jon Whittle , "Guest Editorial: Special Section on Interaction and State-Based Modeling," , Transactions on Software Engineering - 2006

16- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , Technical Report 002, Depto. de Computación, FCEyN, UBA, Number 002 - aug 2006 blos_hvol.pdf

17- Alan Cyment, Nicolas Kicillof, Ruben Altman, Fernando Asteasuain , "Improving AOP systems’ evolvability by decoupling advices from base code" , 3rd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE) - 2006

18- Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel , "Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning," , th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering, - 2006

19- Steve Easterbrook, Sebastian Uchitel , "International Conference on Automated Software Engineering" , IEEE Computer Society - 2006

20- Duarte Lucio, Jeff Kramer, Sebastian Uchitel , "Model Extraction Based on Context Information" , ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems - 2006

21- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "Model-Based Analysis of Obligations in Web Service Choreography" , International Conference on Internet & Web Applications and Services - 2006

22- Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Modes for Software Architectures." , 3rd European Workshop on Software Architecture. - 2006


24- Víctor Braberman, Pablo Michellis , "Optimizando el Unfolding de Autómatas Temporizados" , Technical Report 001, Dep. de Computación, FCEyN, UBA, Number 001 - 2006 OptimizandoElUnfoldingDeAutomatasTemporizados.pdf

25- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "Optimizing Timed Automata Model Checking via Clock Reordering" , 27th IEEE International Real-Time Systems Symposium, Work in Progress Session - nov 2006 bos_rtss-wip-2006.pdf

26- Greg Brunet, Marsha Chechik, Sebastian Uchitel , "Properties of Behavioural Model Merging" , Internacional Conference on Formal Methods (FM), Volume 4085 - - 2006

27- Philippe Clauss, Federico Fernández, Diego Garbervetsky, Sven Verdoolaege , "Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation" , Technical Report 06-04, Université Louis Pasteur, Number 06-04 - oct 2006

28- Esteban Pavese, Fernando Schapachnik, Alfredo Olivero , "Una nueva estructura de datos basada en BDDs para el model checking temporizado" , Master thesis from Departamento de Computación, FCEyN, UBA - 2006 tesis_pavese.ps presentacion.pdf

29- Víctor Braberman, Alfredo Olivero, Pablo Michellis , "Unfoldings de Autómatas Temporizados" , Technical Report 001, Departamento de Computación, Number 001 - 2006

30- Fernando Asteasuain, Jessica Andrea Carballido, Gustavo E. Vazquez, Ignacio Ponzoni , "Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem" , IBERAMIA-SBIA - 2006
 
Publications in 2005
1- Víctor Braberman, Nicolas Kicillof, Alfredo Olivero , "A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties" , IEEE Transactions on Software Engineering, Volume 31, Number 12, page 1028--1041 - December 2005

2- Wolfgang Grieskamp, Nicolas Kicillof, Colin Campbell, Pritam Roy, Wolfram Schulte, Nikolai Tillman, Margus Veanes , "Behavioral Composition in Symbolic Domains" , 7th International Workshop on Aspect-Oriented Modeling - 2005

3- Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky , "Fast Escape Analysis for Region Based Memory Management" , AIOOL 2005: Abstract Interpretation for Object-Oriented Languages, Volume 141, page 99--110 - jan 2005 SYG_AIOOL2005.pdf

4- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Fluent Temporal Logic for Discrete-Time Event-Based Models" , Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software - 2005

5- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation" , Requirements Engineering Journal - November 2005

6- Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Fluent-based web animation: exploring goals for requirements validation" , 27th IEEE/ACM International Conference on Software Engineering (ICSE) - Formal Research Demonstration - 2005

7- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "Issues in Distributed Model-Checking of Timed Automata: building Zeus" , International Journal of Software Tools for Technology Transfer, Volume 7, Number 1, page 4--18 - feb 2005 bos_sttt-2003.pdf

8- 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, page 50--54 - oct 2005 BFG_etx2005.pdf

9- Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer , "Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions" , ETX2005 Workshop at OOPSLA05 - 2005

10- Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Monitoring and Control in Scenario-Based Requirements Analysis" , 27th IEEE/ACM International Conference on Software Engineering (ICSE) - 2005

11- Ruben Altman, Alan Cyment, Nicolas Kicillof , "On the Need for Setpoints" , EIWAS 2005: European Interactive Workshop on Aspects in Software - 2005

12- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus." , Electr. Notes Theor. Comput. Sci., Volume 128(3) - MARZO 2005



15- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Reliability Prediction in Model Driven Development" , ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems - 2005

16- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Sensitivity Analysis for a Scenario-Based Reliability Prediction Model" , 4th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering - 2005

17- Víctor Braberman, Diego Garbervetsky, Sergio Yovine , "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs" , FTfJP 2005: 7th Workshop on Formal Techiques for Java-like Programs - jul 2005 BGY_MemorySynthesisFTFJP.ppt BGY_FTJP2005.pdf

18- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Tool Support for Model-Based Engineering of Web Service Compositions" , 3rd IEEE International Conference on Web Services (ICWS) - 2005

19- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study" , IEEE International Conference on Services Computing (SCC) - 2005

20- Diego Garbervetsky, Víctor Braberman, Sergio Yovine , "Using Daikon to automatically estimate the number of executed instructions" , Technical Report , Departamento de Computación. FCEyN. UBA - feb 2005

21- Genaina Rodrigues, Martín E Rais, Sebastian Uchitel , "Using Scenarios to Predict Reliability for Concurrent Component Based Systems" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2005
 
Publications in 2004
1- Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel , ", Predictable Dynamic Plugin Systems" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2004

2- Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Compatibility Verification for Web Service Choreography" , IEEE International Conference on Web Services (ICWS’04) - 2004

3- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Elaboration of Behaviour Models using Implied Scenarios" , ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13, Number 1, page 37--85 - January 2004

4- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios" , IEEE International Conference on Requirements Engineering (RE’04) - 2004

5- Sebastian Uchitel, Marsha Chechik , "Merging Partial Behavioural Models" , ACM International Symposium on Foundations of Software Engineering (FSE) - 2004

6- Víctor Braberman, Diego Garbervetsky, Alfredo Olivero , "ObsSlice: A Timed Automata Slicer based on Observers" , CAV2004: 16th International Conference on Computer Aided Verification, Volume 3114, page 470--474 - jul 2004 BGO_CAV2004.pdf

7- Víctor Braberman, Diego Garbervetsky, Sergio Yovine , "On synthesizing parametric specifications of dynamic memory utilization" , Technical Report 2004-03, VERIMAG, Number 2004-03 - 2004

8- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus" , PDMC: 3rd International Workshop on Parallel and Distributed Methods in verifiCation, Volume ENTCS, Number 128, page 13-18 - sep 2004 bos_pdmc-2004.ps.gz zeus_presentation_PDMC-2004.pdf.gz

9- Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati , "Program Instrumentation and Run-Time Analysis of Scoped Memory in Java" , RV 2004: International Workshop on Runtime Verification, Volume 113, page 105--121 - mar 2004 GNYZ_RV2004.pdf

10- Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero , "Scenario-Based Property Description and Model Slicing for Real-Time Systems" , ASE2004: ACM SigSoft 19th International Conference on Automated Software Engineering, page short-paper - accepted but not published 2004



13- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "System Architecture: the Context for Scenario-based Model Synthesis" , ACM International Symposium on Foundations of Software Engineering (FSE) - 2004


15- Alejandra Alfonso, Víctor Braberman, Diego Garbervetsky, Nicolas 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 - oct 2004 ABGKOS_PRISE2004.pdf

16- Alejandra Alfonso, Víctor Braberman, Nicolas Kicillof, Alfredo Olivero , "Visual Timed Event Scenarios" , ICSE 2004: 26th International Conference on Software Engineering, page 168--177 - 2004
 
Publications in 2003
1- Ingolf Krueger, Sebastian Uchitel, Jon Whittle, Albert Zündorf , "A Summary of the ICSE 2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , ACM Software Engineering Notes - 2003

2- Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee , "LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios" , Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) at the European Joint Conferences on Theory and Practice of Software (ETAPS), - 2003

3- Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Model-based Simulation of Web Applications for Usability Assessment" , Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction at the 25th IEEE/ACM International Conference on Software Engineering (ICSE) - 2003

4- Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Model-based Verification of Web Service Compositions" , 18th IEEE International Conference on Automated Software Engineering (ASE) - 2003

5- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Modelling Undefined Behaviour in Scenario Synthesis" , 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 25th IEEE/ACM International Conference on Software Engineering (ICSE) - 2003


7- Víctor Braberman, Fernando Oliveto, Matías Blaunstein , "Scenario-based Validation and Verification for Real-Time Software: On Run Conformance and Coverage for MSC-Graphs" , 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools - may 2003

8- Alexander Egyed, Martin Glinz, Ingolf Krueger, Tarja Systä, Sebastian Uchitel, Albert Zündorf , "Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , Second Workshop on Scenarios and State Machines - 2003

9- Jeff Kramer, Jeff Magee, Sebastian Uchitel , "Software Architecture Modeling and Analysis: A Rigorous Approach." , 44-51 ,Third International School on Formal Methods for the Design of Computer Communication and Software Systems: Software Architectures, page 44-51 - 2003

10- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Synthesis of Behavioural Models from Scenarios" , IEEE Transactions on Software Engineering, Volume 29, Number 2, page 99--115 - February 2003

11- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Synthesis of Partial Labelled Transition Systems" , European Software Engineering Conference (ESEC) and ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) - 2003

12- Diego Garbervetsky, Marcelo Zanconi, Sergio Yovine , "Towards symbolic Reachability Analysis for preemptive Schedulers using difference constraints" , Technical Report , VERIMAG - 2003

13- Jeff Magee, Sebastian Uchitel, Robert Chatley, Jeff Kramer , "Visual Methods for Web Application Design" , Symposium on Visual and Multimedia Software Engineering, IEEE Symposia on Human-Centric Computing Languages and Environments (HCC) - 2003
 
Publications in 2002
1- Alexander Egyed, Tarja Systä, Sebastian Uchitel, Albert Zündorf , "A Summary of the ICSE 2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" , ICSE 2002 Workshop summary, ACM Software Engineering Notes, 2002 - - 2002

2- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "An architecture-centric approach to the development of a distributed model-checker for timed automata" , ICSE 2002: 24th International Conference on Software Engineering, page 710--710 - may 2002 p710-schapachnik.pdf

3- Hernán Czemerinski, Guillermo Durán, Agustín Gravano , "Bouchet Graphs: A Generalization of Circle Graphs" , Congressus Numerantium, Volume 155, page 95--108 - 2002 CDG02.ps

4- Víctor Braberman, Alfredo Olivero , "Extending Timed Automata for Compositional Modeling Healthy Timed Systems" , MTCS 2002 – International Workshop on Models for Timed Critical Systems (satélite de CONCUR 2001), Volume 52(3) - agosto 2002

5- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Implied Scenario Detection in the Presence of Behaviour Constraints," , Electronic Notes in Theoretical Computer Science, - 2002

6- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Implied Scenarios Detection in the Presence of Behaviour Constraints" , European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on Validation and Implementation of Scenario-Based Specifications (VISS) - 2002

7- Víctor Braberman, Diego Garbervetsky, Alfredo Olivero , "Improving the Verification of Timed Systems Using Influence Information" , TACAS 2002: International Conference on Tools and Algorithms for The Construction and Analysis of Systems, Volume 2280, page 21--36 - apr 2002 BGO_TACAS2002.pdf

8- Víctor Braberman, Sebastián Blaustein, Fernando Oliveto , "Monitoring Timed Systems by means of Message Sequence Charts" , Misc - mayo 2002

9- Víctor Braberman, Sebastián Blaustein, Fernando Oliveto , "Monitoring Timed Systems by means of Message Sequence Charts," , ICSE 2002: 24th International Conference on Software Engineering - 2002

10- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Negative Scenarios for Implied Scenario Elicitation" , 10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) - 2002

11- Víctor Braberman, Carlos Lopez Pombo, Alfredo Olivero , "On Improving Backwards Verification for Timed Automata" , TPTS 2002: Theory and Practice of Timed Systems, Volume 65 (6) - apr 2002 braberman:entcs-65_6.pdf

12- Sebastian Uchitel, Tarja Systä, Albert Zündorf , "Scenarios and state machines: models, algorithms, and tools." , ICSE 2002: - 2002

13- Fernando Schapachnik , "Verificación distribuida y paralela de sistemas de tiempo real" , Master thesis from Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA - may 2002 tesis_schapachnik.ps.gz

14- Víctor Braberman, Alfredo Olivero, Fernando Schapachnik , "ZEUS: A Distributed Timed Model-Checker Based on KRONOS" , PDMC: International Workshop on Parallel and Distributed Methods in verifiCation, Volume 68 (4) - aug 2002 bos_pdmc-2002.pdf
 
Publications in 2001
1- Sebastian Uchitel, Jeff Kramer , "A Workbench for Synthesising Behaviour Models from Scenarios" , 23rd IEEE/ACM International Conference on Software Engineering (ICSE) - 2001

2- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "Detecting Implied Scenarios in Message Sequence Chart Specifications" , 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE) - 2001

3- Víctor Braberman, Alfredo Olivero , "Extending Timed Automata for Compositional Modeling of Healthy Timed Systems" , MTCS 01-Models for Time Critical Systems, Volume 52(2) - agu 2001

4- Sebastian Uchitel, Jeff Kramer, Jeff Magee , "From Sequence Diagrams to Behaviour Models" , Workshop on Transformations in UML (WTUML), satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2001

5- Víctor Braberman, Diego Garbervetsky, Alfredo Olivero , "Influence Information to Improve the Verification of Timed Systems" , Technical Report TR01-003, Departamento de Computación. FCEyN. UBA, Number TR01-003 - nov 2001

6- Víctor Braberman, Alfredo Olivero , "Preserving Branching-Time Structure in Timed Systems" , Workshop Argentino de Ciencias de la Computación - 2001

7- Paola Inverardi, Sebastian Uchitel , "Proving Deadlock Freedom in Component Based Programming" , Fundamental Approaches to Software Engineering (FASE) at the European Joint Conferences on Theory and Practice of Software (ETAPS) - 2001

8- Gabriel Wainer, Sergio Daicz, Luis F. De Simoni, Demian Wassermann , "Using the Alfa-1 simulated processor for educational purposes" , ACM Journal of Educational Resources in Computing, Volume 1, Number 4, page 111--151 - dec 2001
 
Publications in 2000
1- Víctor Braberman, Fabio Pieniazek , "Duration Properties over Real-Time System Designs." , International Workshop on Software Specification and Design - nov 2000

2- Sebastian Uchitel, Daniel Yankelevich , "Enhancing Architectural Mismatch Detection with Assumptions" , 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'99) - 2000

3- Víctor Braberman , "Modeling and Checking Real-Time System Designs" , PhD thesis from FCEyN, UBA - Sep 2000

4- Diego Garbervetsky, Víctor Braberman, Alfredo Olivero , "Un algoritmo de reducción para la composición de Autómatas Temporizados" , Technical Report , Departamento de Computación. FCEyN. UBA – - 2000

5- Diego Garbervetsky, Víctor Braberman, Alfredo Olivero , "Un algoritmo de reducción para la composición de Autómatas Temporizados" , Master thesis from Departamento de Computación. FCEyN. UBA - 2000
 
Publications in 1999

2- Víctor Braberman, Miguel Felder , "Automatic Verification of Real-Time Designs" , Doctoral Workshop at ICSE 1999 - - 1999

3- Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich , "Towards a Periodic Table of Connector" , proceedings of the 3rd International Conference on Coordination Models and Languages - 1999

4- Dan Hirsch, Sebastian Uchitel , "Towards a Periodic Table of Connectors. In proceedings of First Symposium on Software Technology" , Jornadas Argentinas de Informática e Investigación Operativa SOST - 1999

5- Sebastian Uchitel , "Using Assumptions in Software Architecture Analysis" , 28th Jornadas Argentinas de Informática e Investigación Operativa - 1999

6- Víctor Braberman, Miguel Felder , "Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification" , Joint 7th European Conference of Software Engineering (ESEC) and ACM SIGSOFT 7th Intl. Sinpusyum on Foundations of Software Engineering (FSE-7)., Volume 1687 - 1999
 
Publications in 1998
1- Víctor Braberman, Dang Van Hung , "On Checking Timed Automata For Linear Duration Invariants" , RTSS 98-IEEE International Real-Time Systems Simposyum - dec 1998
 
Publications in 1997
1- Víctor Braberman , "On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems" , WorkShop Formal Methods for the Design of Real-Time Systems - sep 1997

2- Víctor Braberman, Martina Marré, Miguel Felder , "Testing Timing Behaviors of Real Time Software" , The 10th International Software Quality Week - may 1997

3- G. Matera, Rosa Wachenchauzer, Víctor Braberman , "The TERA Development Group as Interface between mathematician and Computer Scientists" , Proceedings of TERA, Second International Workshop on (Semi)numerical Techniques in Polynomial Equation Solving - 1997
 
Publications in 1996
1- Luciano Baresi, Víctor Braberman, Miguel Felder, Mauro Pezze, Fabio Pieniazek , "A Practical Approach to Formal Design of Real-Time Systems" , IEEE International Conference on Systems, Man and Cybernetics - oct 1996

2- Monica Bobrowski, Sebastian Uchitel , "CML as a development tool: A Case Study" , In proceedings of the 25th Jornadas Argentinas de Informática e Investigación Operativa - 1996

3- Víctor Braberman, Fabio Pieniazek, Miguel Felder , "Enhancing the adoption of Formal Methods to Design Real Time Systems" , 2nd CACIC - 1996
 
Publications in 1995
1- Víctor Braberman, Jorge Lucángeli, Alfredo Olivero, Fernando Schapachnik , "Hypervolume Approximation in Timed Automata Model Checking" , Technical Report 002, Depto. de Computación, FCEyN, UBA, Number 002 - agosto 1995