Sergio Yovine

Orcid: 0000-0002-2737-4382

Affiliations:
  • IMAG, Grenoble, France


According to our database1, Sergio Yovine authored at least 74 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Analyzing constrained LLM through PDFA-learning.
CoRR, 2024

2023
A Congruence-based Approach to Active Automata Learning from Neural Language Models.
Proceedings of the International Conference on Grammatical Inference, 2023

Results of Neural-Checker Toolbox in Taysir 2023 Competition.
Proceedings of the International Conference on Grammatical Inference, 2023

2022
Towards Efficient Active Learning of PDFA.
CoRR, 2022

2021
An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data.
Mach. Learn. Knowl. Extr., 2021

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.
Mach. Learn. Knowl. Extr., 2021

2020
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.
Proceedings of the Machine Learning and Knowledge Extraction, 2020

2019
Formal specification and implementation of an automated pattern-based parallel-code generation framework.
Int. J. Softw. Tools Technol. Transf., 2019

2018
Regular Inference on Artificial Neural Networks.
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.
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.
Sci. Comput. Program., 2014

2011
Quantitative dynamic-memory analysis for Java.
Concurr. Comput. Pract. Exp., 2011

A model-based approach for multiple QoS in scheduling: from models to implementation.
Autom. Softw. Eng., 2011

2010
A scheduler synthesis methodology for joint SW/HW design exploration of SoC.
Des. Autom. Embed. Syst., 2010

2009
On transforming Java-like programs into memory-predictable code.
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.
Theor. Comput. Sci., 2008

Parametric prediction of heap memory requirements.
Proceedings of the 7th International Symposium on Memory Management, 2008

2007
Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
Theor. Comput. Sci., 2007

Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems.
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.
Proceedings of the 14th IEEE International Conference on Electronics, 2007

Modelling and Exploration Environment for Application Specific Multiprocessor Systems.
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.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.
J. Object Technol., 2006

System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding.
Proceedings of the International Symposium on Industrial Embedded Systems, 2006

2005
Checking Timed Büchi Automata Emptiness Efficiently.
Formal Methods Syst. Des., 2005

Fast Escape Analysis for Region-based Memory Management.
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.
Proceedings of the Innovative Internet Community Systems, 5th International Workshop, 2005

Jahuel: A Formal Framework for Software Synthesis.
Proceedings of the Formal Methods and Software Engineering, 2005

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.
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.
Proceedings of the Fourth Workshop on Runtime Verification, 2004

2003
Building models of real-time systems from application software.
Proc. IEEE, 2003

A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.
Proceedings of the Embedded Software, Third International Conference, 2003

Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002
Verification of Asynchronous Circuits using Timed Automata.
Proceedings of the Theory and Practice of Timed Systems, 2002

Preface.
Proceedings of the Theory and Practice of Timed Systems, 2002

Towards Computing Phase Portraits of Polygonal Differential Inclusions.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Speedup Prediction for Selective Compilation of Embedded Java Programs.
Proceedings of the Embedded Software, Second International Conference, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Symbolic Reachability Computation for Families of Linear Vector Fields.
J. Symb. Comput., 2001

Analysis of Timed Systems Using Time-Abstracting Bisimulations.
Formal Methods Syst. Des., 2001

Timing Analysis and Code Generation of Vehicle Control Software using Taxys.
Proceedings of the Workshop on Runtime Verification, 2001

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode.
Eur. J. Control, 2001

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

On the Decidability of the Reachability Problem for Planar Differential Inclusions.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

A methodology for analyzing the dynamics of hybrid systems.
Proceedings of the 6th European Control Conference, 2001

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Decidable Integration Graphs.
Inf. Comput., 1999

A Framework for Scheduler Synthesis.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

A New Class of Decidable Hybrid Systems.
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.
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).
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

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

On-the-fly symbolic model checking for real-time systems.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Some Progress in the Symbolic Verification of Timed Automata.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Compositional Specification of Timed Systems (Extended Abstract).
Proceedings of the STACS 96, 1996

Reducing the number of clock variables of timed automata.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Model-Checking for Extended Timed Temporal Logics.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Model Checking Timed Automata.
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

Analysis of Timed Systems Based on Time-Abstracting Bisimulation.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci., 1995

Two Examples of Verification of Multirate Timed Automata with Kronos.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

The Tool KRONOS.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Symbolic Model Checking for Real-Time Systems
Inf. Comput., June, 1994

Verifying ET-LOTOS programmes with KRONOS.
Proceedings of the Formal Description Techniques VII, 1994

Using Abstractions for the Verification of Linear Hybrid Systems.
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).
PhD thesis, 1993

From ATP to Timed Graphs and Hybrid Systems.
Acta Informatica, 1993

1992
Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng., 1992

An Approach to the Description and Analysis of Hybrid Systems.
Proceedings of the Hybrid Systems, 1992

Integration Graphs: A Class of Decidable Hybrid Systems.
Proceedings of the Hybrid Systems, 1992


  Loading...