Yovine's publications at DC

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

2- 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
 
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
 
Publications in 2009
1- 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
 
Publications in 2008
1- 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

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

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

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

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

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

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