| 2008 |
|---|
| 56 | EE | Víctor A. Braberman,
Federico Fernández,
Diego Garbervetsky,
Sergio Yovine:
Parametric prediction of heap memory requirements.
ISMM 2008: 141-150 |
| 55 | EE | 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 | EE | Ismail Assayad,
Sergio Yovine:
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications.
DSD 2007: 181-188 |
| 53 | EE | Ismail Assayad,
Sergio Yovine:
Modelling and Exploration Environment for Application Specific Multiprocessor Systems.
HASE 2007: 433-434 |
| 52 | EE | Guillaume Salagnac,
Christophe Rippert,
Sergio Yovine:
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems.
RTCSA 2007: 73-80 |
| 51 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ismail Assayad,
Sergio Yovine:
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.
IICS 2005: 159-170 |
| 45 | EE | 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 | EE | Guillaume Salagnac,
Sergio Yovine,
Diego Garbervetsky:
Fast Escape Analysis for Region-based Memory Management.
Electr. Notes Theor. Comput. Sci. 131: 99-110 (2005) |
| 43 | EE | 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 | EE | Christos Kloukinas,
Sergio Yovine:
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.
ECRTS 2003: 287-294 |
| 40 | EE | 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 | EE | Eugene Asarin,
Gordon J. Pace,
Gerardo Schneider,
Sergio Yovine:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
CAV 2002: 354-358 |
| 37 | EE | 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 | EE | Eugene Asarin,
Gerardo Schneider,
Sergio Yovine:
Towards Computing Phase Portraits of Polygonal Differential Inclusions.
HSCC 2002: 49-61 |
| 35 | EE | Eugene Asarin,
Oded Maler,
Sergio Yovine:
Preface.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 34 | EE | 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 | EE | 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 | EE | Eugene Asarin,
Gerardo Schneider,
Sergio Yovine:
On the Decidability of the Reachability Problem for Planar Differential Inclusions.
HSCC 2001: 89-104 |
| 31 | EE | Jean Della Dora,
Aude Maignan,
Mihaela Mirica-Ruse,
Sergio Yovine:
Hybrid computation.
ISSAC 2001: 101-108 |
| 30 | EE | 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 | EE | Peter Niebert,
Sergio Yovine:
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.
HSCC 2000: 338-351 |
| 1999 |
|---|
| 26 | EE | Gerardo Lafferriere,
George J. Pappas,
Sergio Yovine:
A New Class of Decidable Hybrid Systems.
HSCC 1999: 137-151 |
| 25 | EE | 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 | EE | 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 | EE | 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 | EE | Ahmed Bouajjani,
Stavros Tripakis,
Sergio Yovine:
On-the-fly symbolic model checking for real-time systems.
IEEE Real-Time Systems Symposium 1997: 25- |
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
