Sergio Yovine

	2009
57		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
	2008
56		Víctor A. Braberman, Federico Fernández, Diego Garbervetsky, Sergio Yovine: Parametric prediction of heap memory requirements. ISMM 2008: 141-150
55		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)
	2007
54		Ismail Assayad, Sergio Yovine: P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. DSD 2007: 181-188
53		Ismail Assayad, Sergio Yovine: Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE 2007: 433-434
52		Guillaume Salagnac, Christophe Rippert, Sergio Yovine: Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA 2007: 73-80
51		Eugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)
	2006
50		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)
	2005
49		Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin: Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA 2005: 295-302
48		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
47		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
46		Ismail Assayad, Sergio Yovine: Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS 2005: 159-170
45		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)
44		Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)
43		Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)
	2004
42		Yassine Lakhnech, Sergio Yovine: 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 Springer 2004
	2003
41		Christos Kloukinas, Sergio Yovine: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS 2003: 287-294
40		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
39		Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)
	2002
38		Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
37		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
36		Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
35		Eugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
34		Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
	2001
33		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
32		Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
31		Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine: Hybrid computation. ISSAC 2001: 101-108
30		Stavros Tripakis, Sergio Yovine: Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
29		Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001)
28		Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001)
	2000
27		Peter Niebert, Sergio Yovine: Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC 2000: 338-351
	1999
26		Gerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
25		Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163
24		Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)
	1998
23		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
22		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
21		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-
	1997
20		Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine: Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190
19		Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. IEEE Real-Time Systems Symposium 1997: 25-
18		Sergio Yovine: KRONOS: A Verification Tool for Real-Time Systems. STTT 1(1-2): 123-133 (1997)
	1996
17		Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243
16		Sergio Yovine: Model Checking Timed Automata. European Educational Forum: School on Embedded Systems 1996: 114-152
15		Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326
14		Conrado Daws, Sergio Yovine: Reducing the number of clock variables of timed automata. IEEE Real-Time Systems Symposium 1996: 73-81
13		Joseph Sifakis, Sergio Yovine: Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359
	1995
12		Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219
11		Conrado Daws, Sergio Yovine: Two Examples of Verification of Multirate Timed Automata with Kronos. IEEE Real-Time Systems Symposium 1995: 66-75
10		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)
	1994
9		Alfredo Olivero, Joseph Sifakis, Sergio Yovine: Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94
8		Conrado Daws, Alfredo Olivero, Sergio Yovine: Verifying ET-LOTOS programmes with KRONOS. FORTE 1994: 227-242
7		Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems Inf. Comput. 111(2): 193-244 (1994)
	1993
6		Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. Acta Inf. 30(2): 181-202 (1993)
	1992
5		Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178
4		Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208
3		Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems LICS 1992: 394-406
2		Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992)
	1991
1		Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572

Coauthor Index

1	Karine Altisen	[25]
2	Rajeev Alur	[10]
3	Eugene Asarin	[32] [35] [36] [38] [51] [55]
4	Ismail Assayad	[46] [47] [49] [53] [54]
5	Valérie Bertin	[47] [49]
6	Ahmed Bouajjani	[15] [19] [43]
7	Marius Bozga	[20] [22] [23] [34]
8	Víctor A. Braberman	[48] [50] [56] [57]
9	Etienne Closse	[33]
10	Costas Courcoubetis	[10]
11	Sébastien Cros	[37]
12	Conrado Daws	[8] [11] [12] [14] [22] [23]
13	F.-X. Defaut	[47]
14	Jean Della Dora	[31]
15	Christian Fabre	[37]
16	Federico Fernández	[56]
17	Andrés Ferrari	[48]
18	Diego Garbervetsky	[44] [45] [48] [50] [56] [57]
19	Philippe Gerner	[47] [49]
20	Gregor Gößler	[25]
21	Romain Guider	[37]
22	Nicolas Halbwachs	[10]
23	Thomas A. Henzinger	[3] [7] [10]
24	Pei-Hsin Ho	[10]
25	Hou Jianmin	[34]
26	Yonit Kesten	[4] [24]
27	Christos Kloukinas	[40] [41]
28	Gerardo Lafferriere	[26] [28]
29	Yassine Lakhnech	[15] [42]
30	Pablo Listingart	[48]
31	Aude Maignan	[31]
32	Oded Maler	[20] [22] [23] [34] [35]
33	Mihaela Mirica-Ruse	[31]
34	Chaker Nakhli	[40] [45]
35	Xavier Nicollin	[1] [2] [3] [5] [6] [7] [10]
36	Peter Niebert	[27]
37	Alfredo Olivero	[5] [8] [9] [10] [12] [22] [23]
38	Gordon J. Pace	[38] [55]
39	George J. Pappas	[26] [28]
40	Amir Pnueli	[4] [20] [24] [25]
41	Michel Poize	[33]
42	Jacques Pulou	[33]
43	O. Quévreux	[47]
44	Christophe Rippert	[52]
45	Martín Rouaux	[57]
46	Guillaume Salagnac	[44] [52]
47	Gerardo Schneider	[32] [36] [38] [51] [55]
48	Joseph Sifakis	[1] [2] [3] [4] [5] [6] [7] [9] [10] [13] [24] [25] [33] [39]
49	Alejandro Taboada	[57]
50	Stavros Tripakis	[12] [17] [19] [21] [22] [23] [25] [29] [30] [39] [43]
51	Patrick Venter	[33]
52	Vincent Colin de Verdière	[37]
53	Daniel Weil	[33]
54	Hichem Zorgati	[45]

Colors in the list of coauthors