| 2017 | ICSE | CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis. | Sergio Yovine, Gonzalo Winniczuk |
| 2007 | DSD | P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. | Ismail Assayad, Sergio Yovine |
| 2007 | RTCSA | Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. | Guillaume Salagnac, Christophe Rippert, Sergio Yovine |
| 2005 | ICFEM | Jahuel: A Formal Framework for Software Synthesis. | Ismail Assayad, Valrie Bertin, F.-X. Defaut, Philippe Gerner, O. Quvreux, Sergio Yovine |
| 2003 | ECRTS | Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. | Christos Kloukinas, Sergio Yovine |
| 2003 | EMSOFT | A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. | Christos Kloukinas, Chaker Nakhli, Sergio Yovine |
| 2002 | CAV | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2002 | EMSOFT | Speedup Prediction for Selective Compilation of Embedded Java Programs. | Vincent Colin de Verdire, Sbastien Cros, Christian Fabre, Romain Guider, Sergio Yovine |
| 2001 | CAV | TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine |
| 2001 | ISSAC | Hybrid computation. | Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine |
| 1999 | RTSS | A Framework for Scheduler Synthesis. | Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |
| 1998 | CAV | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1998 | RTAS | Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. | Stavros Tripakis, Sergio Yovine |
| 1997 | CAV | Some Progress in the Symbolic Verification of Timed Automata. | Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine |
| 1997 | RTSS | On-the-fly symbolic model checking for real-time systems. | Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine |
| 1996 | CAV | Analysis of Timed Systems Based on Time-Abstracting Bisimulation. | Stavros Tripakis, Sergio Yovine |
| 1996 | STACS | Compositional Specification of Timed Systems (Extended Abstract). | Joseph Sifakis, Sergio Yovine |
| 1996 | RTSS | Reducing the number of clock variables of timed automata. | Conrado Daws, Sergio Yovine |
| 1995 | RTSS | Two Examples of Verification of Multirate Timed Automata with Kronos. | Conrado Daws, Sergio Yovine |
| 1994 | CAV | Using Abstractions for the Verification of Linear Hybrid Systems. | Alfredo Olivero, Joseph Sifakis, Sergio Yovine |
| 1994 | FORTE | Verifying ET-LOTOS programmes with KRONOS. | Conrado Daws, Alfredo Olivero, Sergio Yovine |
| 1992 | LICS | Symbolic Model Checking for Real-time Systems | Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine |