Sergio Yovine

According to our database, Sergio Yovine authored at least 73 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Congruence-based Approach to Active Automata Learning from Neural Language Models.

Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky

Proceedings of the International Conference on Grammatical Inference, 2023

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

Proceedings of the International Conference on Grammatical Inference, 2023

2022

Towards Efficient Active Learning of PDFA.

Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang

CoRR, 2022

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

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.

Franz Mayr, Sergio Yovine, Ramiro Visca

Mach. Learn. Knowl. Extr., 2021

2020

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.

Franz Mayr, Ramiro Visca, Sergio Yovine

Proceedings of the Machine Learning and Knowledge Extraction, 2020

2019

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

2018

Regular Inference on Artificial Neural Networks.

Franz Mayr, Sergio Yovine

Proceedings of the Machine Learning and Knowledge Extraction, 2018

2017

CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis.

Sergio Yovine, Gonzalo Winniczuk

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

2014

Summary-based inference of quantitative bounds of live heap objects.

Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine

Sci. Comput. Program., 2014

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

A model-based approach for multiple QoS in scheduling: from models to implementation.

Christos Kloukinas, Sergio Yovine

Autom. Softw. Eng., 2011

2010

A scheduler synthesis methodology for joint SW/HW design exploration of SoC.

Ismail Assayad, Sergio Yovine

Des. Autom. Embed. Syst., 2010

2009

On transforming Java-like programs into memory-predictable code.

Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

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

Parametric prediction of heap memory requirements.

Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine

Proceedings of the 7th International Symposium on Memory Management, 2008

2007

Algorithmic analysis of polygonal hybrid systems, part I: Reachability.

Eugene Asarin, Gerardo Schneider, Sergio Yovine

Theor. Comput. Sci., 2007

Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems.

Guillaume Salagnac, Christophe Rippert, Sergio Yovine

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Performance analysis of embedded multiprocessor industrial applications: methodology and tools.

Ismail Assayad, Sergio Yovine

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Modelling and Exploration Environment for Application Specific Multiprocessor Systems.

Ismail Assayad, Sergio Yovine

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications.

Ismail Assayad, Sergio Yovine

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.

Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine

J. Object Technol., 2006

System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding.

Ismail Assayad, Sergio Yovine

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

2005

Checking Timed Büchi Automata Emptiness Efficiently.

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Formal Methods Syst. Des., 2005

Fast Escape Analysis for Region-based Memory Management.

Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.

Ismail Assayad, Sergio Yovine

Proceedings of the Innovative Internet Community Systems, 5th International Workshop, 2005

Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.

Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin

Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005

2004

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java.

Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati

Proceedings of the Fourth Workshop on Runtime Verification, 2004

2003

Building models of real-time systems from application software.

Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Proc. IEEE, 2003

A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.

Christos Kloukinas, Chaker Nakhli, Sergio Yovine

Proceedings of the Embedded Software, Third International Conference, 2003

Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.

Christos Kloukinas, Sergio Yovine

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002

Verification of Asynchronous Circuits using Timed Automata.

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine

Proceedings of the Theory and Practice of Timed Systems, 2002

Preface.

Eugene Asarin, Oded Maler, Sergio Yovine

Proceedings of the Theory and Practice of Timed Systems, 2002

Towards Computing Phase Portraits of Polygonal Differential Inclusions.

Eugene Asarin, Gerardo Schneider, Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Speedup Prediction for Selective Compilation of Embedded Java Programs.

Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine

Proceedings of the Embedded Software, Second International Conference, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Symbolic Reachability Computation for Families of Linear Vector Fields.

Gerardo Lafferriere, George J. Pappas, Sergio Yovine

J. Symb. Comput., 2001

Analysis of Timed Systems Using Time-Abstracting Bisimulations.

Stavros Tripakis, Sergio Yovine

Formal Methods Syst. Des., 2001

Timing Analysis and Code Generation of Vehicle Control Software using Taxys.

Stavros Tripakis, Sergio Yovine

Proceedings of the Workshop on Runtime Verification, 2001

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode.

Peter Niebert, Sergio Yovine

Eur. J. Control, 2001

Hybrid computation.

Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

On the Decidability of the Reachability Problem for Planar Differential Inclusions.

Eugene Asarin, Gerardo Schneider, Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

A methodology for analyzing the dynamics of hybrid systems.

Jean Della Dora, Sergio Yovine

Proceedings of the 6th European Control Conference, 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

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.

Peter Niebert, Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Decidable Integration Graphs.

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine

Inf. Comput., 1999

A Framework for Scheduler Synthesis.

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

A New Class of Decidable Hybrid Systems.

Gerardo Lafferriere, George J. Pappas, Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998

Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos.

Stavros Tripakis, Sergio Yovine

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

KRONOS: A Verification Tool for Real-Time Systems.

Sergio Yovine

Int. J. Softw. Tools Technol. Transf., 1997

On-the-fly symbolic model checking for real-time systems.

Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Some Progress in the Symbolic Verification of Timed Automata.

Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Compositional Specification of Timed Systems (Extended Abstract).

Joseph Sifakis, Sergio Yovine

Proceedings of the STACS 96, 1996

Reducing the number of clock variables of timed automata.

Conrado Daws, Sergio Yovine

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Model-Checking for Extended Timed Temporal Logics.

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Model Checking Timed Automata.

Sergio Yovine

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Analysis of Timed Systems Based on Time-Abstracting Bisimulation.

Stavros Tripakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

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

Two Examples of Verification of Multirate Timed Automata with Kronos.

Conrado Daws, Sergio Yovine

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

The Tool KRONOS.

Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Inf. Comput., June, 1994

Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws, Alfredo Olivero, Sergio Yovine

Proceedings of the Formal Description Techniques VII, 1994

Using Abstractions for the Verification of Linear Hybrid Systems.

Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

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

PhD thesis, 1993

From ATP to Timed Graphs and Hybrid Systems.

Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Acta Informatica, 1993

1992

Compiling Real-Time Specifications into Extended Automata.

Xavier Nicollin, Joseph Sifakis, Sergio Yovine

IEEE Trans. Software Eng., 1992

An Approach to the Description and Analysis of Hybrid Systems.

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Proceedings of the Hybrid Systems, 1992

Integration Graphs: A Class of Decidable Hybrid Systems.

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine

Proceedings of the Hybrid Systems, 1992