dblp.uni-trier.de

Sergio Yovine

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

2008
53EEEugene 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
52EEIsmail Assayad, Sergio Yovine: Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE 2007: 433-434
51EEGuillaume Salagnac, Christophe Rippert, Sergio Yovine: Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA 2007: 73-80
50EEEugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)
2006
49EEVí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
48EEIsmail Assayad, Philippe Gerner, Sergio Yovine, Valerie Bertin: Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA 2005: 295-302
47EEIsmail Assayad, Valerie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine: Jahuel: A Formal Framework for Software Synthesis. ICFEM 2005: 204-218
46EEIsmail Assayad, Sergio Yovine: Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS 2005: 159-170
45EEDiego 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)
44EEGuillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005)
43EEStavros 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
41EEChristos Kloukinas, Sergio Yovine: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS 2003: 287-294
40EEChristos 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
38EEEugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
37EEVincent 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
36EEEugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
35EEEugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
34EEMarius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
2001
33EEEtienne 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
32EEEugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
31EEJean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine: Hybrid computation. ISSAC 2001: 101-108
30EEStavros 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
27EEPeter Niebert, Sergio Yovine: Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC 2000: 338-351
1999
26EEGerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
25EEKarine 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
22EEMarius 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
21EEStavros 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
19EEAhmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. IEEE Real-Time Systems Symposium 1997: 25-
18EESergio 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
14EEConrado 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
10EERajeev 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
2EEXavier 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

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

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008