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

An Approach to the Description and Analysis of Hybrid Systems. - Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Hybrid Systems, 1992)

Compiling Real-Time Specifications into Extended Automata. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (IEEE Trans. Software Eng., 1992)

From ATP to Timed Graphs and Hybrid Systems. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (Acta Informatica, 1993)

Méthodes et outils pour la vérification symbolique de systèmes temporisés. (Methods and tools for the symbolic verification of real-time systems). - Sergio Yovine (1993)

Using Abstractions for the Verification of Linear Hybrid Systems. - Alfredo Olivero; Joseph Sifakis; Sergio Yovine (CAV, 1994)

Verifying ET-LOTOS programmes with KRONOS. - Conrado Daws; Alfredo Olivero; Sergio Yovine (FORTE, 1994)

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

The Tool KRONOS. - Conrado Daws; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (Hybrid Systems, 1995)

Two Examples of Verification of Multirate Timed Automata with Kronos. - Conrado Daws; Sergio Yovine (RTSS, 1995)

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

Analysis of Timed Systems Based on Time-Abstracting Bisimulation. - Stavros Tripakis; Sergio Yovine (CAV, 1996)

Model Checking Timed Automata. - Sergio Yovine (European Educational Forum: School on Embedded Systems, 1996)

Model-Checking for Extended Timed Temporal Logics. - Ahmed Bouajjani; Yassine Lakhnech; Sergio Yovine (FTRTFT, 1996)

Reducing the number of clock variables of timed automata. - Conrado Daws; Sergio Yovine (RTSS, 1996)

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

Some Progress in the Symbolic Verification of Timed Automata. - Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine (CAV, 1997)

On-the-fly symbolic model checking for real-time systems. - Ahmed Bouajjani; Stavros Tripakis; Sergio Yovine (RTSS, 1997)

KRONOS: A Verification Tool for Real-Time Systems. - Sergio Yovine (Int. J. Softw. Tools Technol. Transf., 1997)

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

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

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

A New Class of Decidable Hybrid Systems. - Gerardo Lafferriere; George J. Pappas; Sergio Yovine (HSCC, 1999)

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

Decidable Integration Graphs. - Yonit Kesten; Amir Pnueli; Joseph Sifakis; Sergio Yovine (Inf. Comput., 1999)

Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. - Peter Niebert; Sergio Yovine (HSCC, 2000)

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 (CAV, 2001)

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. - Valérie Bertin; Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CDC, 2001)

A methodology for analyzing the dynamics of hybrid systems. - Jean Della Dora; Sergio Yovine (ECC, 2001)

On the Decidability of the Reachability Problem for Planar Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2001)

Hybrid computation. - Jean Della Dora; Aude Maignan; Mihaela Mirica-Ruse; Sergio Yovine (ISSAC, 2001)

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

Timing Analysis and Code Generation of Vehicle Control Software using Taxys. - Stavros Tripakis; Sergio Yovine (RV@CAV, 2001)

Analysis of Timed Systems Using Time-Abstracting Bisimulations. - Stavros Tripakis; Sergio Yovine (Formal Methods Syst. Des., 2001)

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

SPeeDI - A Verification Tool for Polygonal Hybrid Systems. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (CAV, 2002)

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

Towards Computing Phase Portraits of Polygonal Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2002)

Preface. - Eugene Asarin; Oded Maler; Sergio Yovine (Theory and Practice of Timed Systems @ ETAPS, 2002)

Verification of Asynchronous Circuits using Timed Automata. - Marius Bozga; Jianmin Hou; Oded Maler; Sergio Yovine (Theory and Practice of Timed Systems @ ETAPS, 2002)

Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. - Christos Kloukinas; Sergio Yovine (ECRTS, 2003)

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

Building models of real-time systems from application software. - Joseph Sifakis; Stavros Tripakis; Sergio Yovine (Proc. IEEE, 2003)

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. - Diego Garbervetsky; Chaker Nakhli; Sergio Yovine; Hichem Zorgati (RV@ETAPS, 2004)

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

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. - Andrés Ferrari; Diego Garbervetsky; Víctor A. Braberman; Pablo Listingart; Sergio Yovine (eTX, 2005)

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

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. - Ismail Assayad; Sergio Yovine (IICS, 2005)

Fast Escape Analysis for Region-based Memory Management. - Guillaume Salagnac; Sergio Yovine; Diego Garbervetsky (AIOOL@VMCAI, 2005)

Checking Timed Büchi Automata Emptiness Efficiently. - Stavros Tripakis; Sergio Yovine; Ahmed Bouajjani (Formal Methods Syst. Des., 2005)

System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding. - Ismail Assayad; Sergio Yovine (IES, 2006)

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. - Víctor A. Braberman; Diego Garbervetsky; Sergio Yovine (J. Object Technol., 2006)

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

Modelling and Exploration Environment for Application Specific Multiprocessor Systems. - Ismail Assayad; Sergio Yovine (HASE, 2007)

Performance analysis of embedded multiprocessor industrial applications: methodology and tools. - Ismail Assayad; Sergio Yovine (ICECS, 2007)

Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. - Guillaume Salagnac; Christophe Rippert; Sergio Yovine (RTCSA, 2007)

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

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

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

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

A scheduler synthesis methodology for joint SW/HW design exploration of SoC. - Ismail Assayad; Sergio Yovine (Des. Autom. Embed. Syst., 2010)

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

Quantitative dynamic-memory analysis for Java. - Diego Garbervetsky; Sergio Yovine; Víctor A. Braberman; Martín Rouaux; Alejandro Taboada (Concurr. Comput. Pract. Exp., 2011)

Summary-based inference of quantitative bounds of live heap objects. - Víctor A. Braberman; Diego Garbervetsky; Samuel Hym; Sergio Yovine (Sci. Comput. Program., 2014)

CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis. - Sergio Yovine; Gonzalo Winniczuk (MOBILESoft@ICSE, 2017)

Regular Inference on Artificial Neural Networks. - Franz Mayr; Sergio Yovine (CD-MAKE, 2018)

Formal specification and implementation of an automated pattern-based parallel-code generation framework. - Gervasio Pérez; Sergio Yovine (Int. J. Softw. Tools Technol. Transf., 2019)

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. - Franz Mayr; Ramiro Visca; Sergio Yovine (CD-MAKE, 2020)

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. - Franz Mayr; Sergio Yovine; Ramiro Visca (Mach. Learn. Knowl. Extr., 2021)

An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data. - Sergio Yovine; Franz Mayr; Sebastián Sosa; Ramiro Visca (Mach. Learn. Knowl. Extr., 2021)

Towards Efficient Active Learning of PDFA. - Franz Mayr; Sergio Yovine; Federico Pan; Nicolas Basset; Thao Dang 001 (CoRR, 2022)

Results of Neural-Checker Toolbox in Taysir 2023 Competition. - Franz Mayr; Sergio Yovine; Matías Carrasco; Alejo Garat; Martín Iturbide; Juan da Silva; Federico Vilensky (ICGI, 2023)

A Congruence-based Approach to Active Automata Learning from Neural Language Models. - Franz Mayr; Sergio Yovine; Matías Carrasco; Federico Pan; Federico Vilensky (ICGI, 2023)

Analyzing constrained LLM through PDFA-learning. - Matías Carrasco; Franz Mayr; Sergio Yovine; Johny Kidd; Martín Iturbide; Juan Pedro da Silva; Alejo Garat (CoRR, 2024)

Congruence-based Learning of Probabilistic Deterministic Finite Automata. - Matías Carrasco; Franz Mayr; Sergio Yovine (CoRR, 2024)