Sergio Yovine

Christos Kloukinas, Sergio Yovine: A model-based approach for multiple QoS in scheduling: from models to implementation. Autom. Softw. Eng. 18(1): 5-38 (2011)

Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: Quantitative dynamic-memory analysis for Java. Concurrency and Computation: Practice and Experience 23(14): 1665-1678 (2011)

Ismail Assayad, Sergio Yovine: A scheduler synthesis methodology for joint SW/HW design exploration of SoC. Design Autom. for Emb. Sys. 14(2): 75-103 (2010)

Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada: On transforming Java-like programs into memory-predictable code. JTRES 2009: 140-149

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390(1): 1-26 (2008)

Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150

Eugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)

Ismail Assayad, Sergio Yovine: P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. DSD 2007: 181-188

Ismail Assayad, Sergio Yovine: Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE 2007: 433-434

Guillaume Salagnac, Christophe Rippert, Sergio Yovine: Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA 2007: 73-80

Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine: A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. Journal of Object Technology 5(5): 31-58 (2006)

Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati: Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. Electr. Notes Theor. Comput. Sci. 113: 105-121 (2005)

Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)

Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin: Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA 2005: 295-302

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. ETX 2005: 50-54

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine: Jahuel: A Formal Framework for Software Synthesis. ICFEM 2005: 204-218

Ismail Assayad, Sergio Yovine: Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS 2005: 159-170

Yassine Lakhnech, Sergio Yovine (Eds.): Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3253, Springer 2004, isbn 3-540-23167-6

Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)

Christos Kloukinas, Sergio Yovine: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS 2003: 287-294

Christos Kloukinas, Chaker Nakhli, Sergio Yovine: A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. EMSOFT 2003: 274-289

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): 47-59 (2002)

Eugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): 273-274 (2002)

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358

Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine: Speedup Prediction for Selective Compilation of Embedded Java Programs. EMSOFT 2002: 227-239

Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61

Peter Niebert, Sergio Yovine: Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode. Eur. J. Control 7(4): 440-454 (2001)

Stavros Tripakis, Sergio Yovine: Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electr. Notes Theor. Comput. Sci. 55(2): 277-286 (2001)

Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001)

Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001)

Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395

Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104

Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine: Hybrid computation. ISSAC 2001: 101-108

Peter Niebert, Sergio Yovine: Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC 2000: 338-351

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)

Gerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. RTSS 1999: 154-163

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT 1998: 298-302

Stavros Tripakis, Sergio Yovine: Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. IEEE Real Time Technology and Applications Symposium 1998: 165-

Sergio Yovine: KRONOS: A Verification Tool for Real-Time Systems. STTT 1(1-2): 123-133 (1997)

Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine: Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190

Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34

Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243

Sergio Yovine: Model Checking Timed Automata. European Educational Forum: School on Embedded Systems 1996: 114-152

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326

Conrado Daws, Sergio Yovine: Reducing the number of clock variables of timed automata. RTSS 1996: 73-81

Joseph Sifakis, Sergio Yovine: Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)

Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219

Conrado Daws, Sergio Yovine: Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS 1995: 66-75

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994)

Alfredo Olivero, Joseph Sifakis, Sergio Yovine: Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94

Conrado Daws, Alfredo Olivero, Sergio Yovine: Verifying ET-LOTOS programmes with KRONOS. FORTE 1994: 227-242

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. Acta Inf. 30(2): 181-202 (1993)

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992)

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572