Sergio Yovine

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 10

Top Venues

CD-MAKE

CoRR

ICGI

Mach. Learn. Knowl. Extr.

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Matías Carrasco, Franz Mayr, Sergio Yovine, Johny Kidd, Martín Iturbide, Juan Pedro da Silva, Alejo Garat
Analyzing constrained LLM through PDFA-learning. CoRR (2024)
Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky
A Congruence-based Approach to Active Automata Learning from Neural Language Models. ICGI (2023)
Franz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky
Results of Neural-Checker Toolbox in Taysir 2023 Competition. ICGI (2023)
Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang
Towards Efficient Active Learning of PDFA. CoRR (2022)
Sergio Yovine, Franz Mayr, Sebastián Sosa, Ramiro Visca
An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data. Mach. Learn. Knowl. Extr. 3 (4) (2021)
Franz Mayr, Sergio Yovine, Ramiro Visca
Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. Mach. Learn. Knowl. Extr. 3 (1) (2021)
Franz Mayr, Ramiro Visca, Sergio Yovine
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. CD-MAKE (2020)
Gervasio Pérez, Sergio Yovine
Formal specification and implementation of an automated pattern-based parallel-code generation framework. Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Franz Mayr, Sergio Yovine
Regular Inference on Artificial Neural Networks. CD-MAKE (2018)
Sergio Yovine, Gonzalo Winniczuk
CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis. MOBILESoft@ICSE (2017)
Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92 (2014)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. 23 (14) (2011)
Christos Kloukinas, Sergio Yovine
A model-based approach for multiple QoS in scheduling: from models to implementation. Autom. Softw. Eng. 18 (1) (2011)
Ismail Assayad, Sergio Yovine
A scheduler synthesis methodology for joint SW/HW design exploration of SoC. Des. Autom. Embed. Syst. 14 (2) (2010)
Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
On transforming Java-like programs into memory-predictable code. JTRES (2009)
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) (2008)
Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine
Parametric prediction of heap memory requirements. ISMM (2008)
Ismail Assayad, Sergio Yovine
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. DSD (2007)
Guillaume Salagnac, Christophe Rippert, Sergio Yovine
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA (2007)
Ismail Assayad, Sergio Yovine
Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE (2007)
Ismail Assayad, Sergio Yovine
Performance analysis of embedded multiprocessor industrial applications: methodology and tools. ICECS (2007)
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379 (1-2) (2007)
Ismail Assayad, Sergio Yovine
System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding. IES (2006)
Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. 5 (5) (2006)
Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
Jahuel: A Formal Framework for Software Synthesis. ICFEM (2005)
Ismail Assayad, Sergio Yovine
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS (2005)
Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. Electron. Notes Theor. Comput. Sci. 113 (2005)
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)
Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods Syst. Des. 26 (3) (2005)
Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA (2005)
Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
Fast Escape Analysis for Region-based Memory Management. Electron. Notes Theor. Comput. Sci. 131 (2005)
Joseph Sifakis, Stavros Tripakis, Sergio Yovine
Building models of real-time systems from application software. Proc. IEEE 91 (1) (2003)
Christos Kloukinas, Sergio Yovine
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS (2003)
Christos Kloukinas, Chaker Nakhli, Sergio Yovine
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. EMSOFT (2003)
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)
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC (2002)
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV (2002)
Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
Verification of Asynchronous Circuits using Timed Automata. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Eugene Asarin, Oded Maler, Sergio Yovine
Preface. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Stavros Tripakis, Sergio Yovine
Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods Syst. Des. 18 (1) (2001)
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV (2001)
Gerardo Lafferriere, George J. Pappas, Sergio Yovine
Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32 (3) (2001)
Jean Della Dora, Sergio Yovine
A methodology for analyzing the dynamics of hybrid systems. ECC (2001)
Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine
Hybrid computation. ISSAC (2001)
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC (2001)
Eugene Asarin, Gerardo Schneider, Sergio Yovine
On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC (2001)
Stavros Tripakis, Sergio Yovine
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Peter Niebert, Sergio Yovine
Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode. Eur. J. Control 7 (4) (2001)
Peter Niebert, Sergio Yovine
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC (2000)
Gerardo Lafferriere, George J. Pappas, Sergio Yovine
A New Class of Decidable Hybrid Systems. HSCC (1999)
Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
A Framework for Scheduler Synthesis. RTSS (1999)
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
Decidable Integration Graphs. Inf. Comput. 150 (2) (1999)
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)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Kronos: A Model-Checking Tool for Real-Time Systems. CAV (1998)
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)
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
On-the-fly symbolic model checking for real-time systems. RTSS (1997)
Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
Some Progress in the Symbolic Verification of Timed Automata. CAV (1997)
Sergio Yovine
KRONOS: A Verification Tool for Real-Time Systems. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Sergio Yovine
Model Checking Timed Automata. European Educational Forum: School on Embedded Systems (1996)
Stavros Tripakis, Sergio Yovine
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV (1996)
Joseph Sifakis, Sergio Yovine
Compositional Specification of Timed Systems (Extended Abstract). STACS (1996)
Conrado Daws, Sergio Yovine
Reducing the number of clock variables of timed automata. RTSS (1996)
Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
Model-Checking for Extended Timed Temporal Logics. FTRTFT (1996)
Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
The Tool KRONOS. Hybrid Systems (1995)
Conrado Daws, Sergio Yovine
Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS (1995)
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) (1995)
Conrado Daws, Alfredo Olivero, Sergio Yovine
Verifying ET-LOTOS programmes with KRONOS. FORTE (1994)
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Symbolic Model Checking for Real-Time Systems Inf. Comput. 111 (2) (1994)
Alfredo Olivero, Joseph Sifakis, Sergio Yovine
Using Abstractions for the Verification of Linear Hybrid Systems. CAV (1994)
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
From ATP to Timed Graphs and Hybrid Systems. Acta Informatica 30 (2) (1993)
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Symbolic Model Checking for Real-time Systems LICS (1992)
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems (1992)
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18 (9) (1992)
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems (1992)
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
From ATP to Timed Graphs and Hybrid Systems. REX Workshop (1991)

Sergio Yovine.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergio Yovine