Sergio Yovine

According to our database1, Sergio Yovine
  • authored at least 65 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
Concurrency and Computation: Practice and Experience, 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.
Design Autom. for Emb. Sys., 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.
Journal of Object Technology, 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 in System Design, 2005

Fast Escape Analysis for Region-based Memory Management.
Electr. Notes Theor. Comput. Sci., 2005

Program Instrumentation and Run-Time Analysis of Scoped Memory in Java.
Electr. Notes Theor. Comput. Sci., 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

2003
Building models of real-time systems from application software.
Proceedings of the 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.
Electr. Notes Theor. Comput. Sci., 2002

Preface.
Electr. Notes Theor. Comput. Sci., 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 in System Design, 2001

Timing Analysis and Code Generation of Vehicle Control Software using Taxys.
Electr. Notes Theor. Comput. Sci., 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

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.
STTT, 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 Inf., 1993

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

Symbolic Model Checking for Real-time Systems
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 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

1991
From ATP to Timed Graphs and Hybrid Systems.
Proceedings of the Real-Time: Theory in Practice, 1991


  Loading...