Braberman's publications at DC

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

2- Fernando Asteasuain, Víctor Braberman , "Specification Patterns: Formal and Easy" , IJSEKE, Volume 25, Number 4, page 669-700 - april 2015
 
Publications in 2014
1- 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

2- 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- 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

2- 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

3- 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

4- 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

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

6- 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

7- 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

8- 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- 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

4- 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
 
Publications in 2011
1- 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

2- 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

3- 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

4- 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

5- 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

6- 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

7- 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- Fernando Asteasuain, Víctor Braberman , "Exploring visual scenarios as an aspect-oriented modeling language" , ASSE 2010 - JAIIO 2010 - - 2010 asse-asteasuain-braberman.pdf

2- 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

3- 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

4- 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

5- 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
 
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- 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

3- 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

4- 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

5- 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- 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

2- 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

3- 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- 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

2- 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
 
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- 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

3- 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

4- 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

5- 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
 
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- 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

3- 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

4- 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


6- 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
 
Publications in 2004
1- 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

2- 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

3- 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


5- 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

6- 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- 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
 
Publications in 2002
1- 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

2- 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

3- 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

4- 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

5- 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

6- 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- 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

2- Víctor Braberman, Alfredo Olivero , "Preserving Branching-Time Structure in Timed Systems" , Workshop Argentino de Ciencias de la Computación - 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
 
Publications in 1999
1- Víctor Braberman, Miguel Felder , "Automatic Verification of Real-Time Designs" , Doctoral Workshop at ICSE 1999 - - 1999

2- 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- Víctor Braberman, Fabio Pieniazek, Miguel Felder , "Enhancing the adoption of Formal Methods to Design Real Time Systems" , 2nd CACIC - 1996