S. Yovine

发表

Reachability computation for linear hybrid systems

George J. Pappas, G. Lafferriere, S. Yovine, 1999 .

Symbolic model checking for real-time systems

Thomas A. Henzinger, Joseph Sifakis, Sergio Yovine, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

Some Progress in the Symbolic Verification of Timed Automata

Amir Pnueli, Sergio Yovine, Oded Maler, 1997, CAV.

Age Prediction of Spanish-speaking Twitter Users

S. Yovine, Declaración de Autoŕıa, 2018 .

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

S. Yovine, I. Assayad, 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).

A Framework for Modelling and Performance Analysis of Multiprocessor Embedded Systems: Models and Benefits

S. Yovine, I. Assayad, 2007 .

A Correct-by-Construction MDE Approach for QoS-Aware Scheduling : From Models to Implementation

S. Yovine, 2017 .

A PRACTICAL APPROACH TOWARDS THE INTEGRATION OF DIFFERENT METHODS AND TOOLS FOR THE ANALYSIS OF HYBRID SYSTEMS

Sergio Yovine, S. Yovine, 1998 .

Using Daikon to automatically estimate the number of executed instructions - Internal preliminary Report

Sergio Yovine, Diego Garbervetsky, Victor Braberman, 2005 .

FXML / Jahuel : A Formal Framework for Software Synthesis

S. Yovine, 2008 .

Formal Approach to Derivation of Concurrent Implementations in Software Product Lines

Marcelo Zanconi, Ismail Assayad, Sergio Yovine, 2008 .

An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data

Sergio Yovine, Ramiro Visca, Franz Mayr, 2021, Machine Learning and Knowledge Extraction.

Kronos: a tool for verifying real-time systems

Sergio Yovine, Alfredo Olivero, S. Yovine, 1992 .

Fast Escape Analysis for Region-based Memory Management

Sergio Yovine, Diego Garbervetsky, Guillaume Salagnac, 2005, AIOOL@VMCAI.

Symbolic Prediction of Dynamic-Memory Requirements

S. Yovine, S. Yovine, F. Fernández, 2007 .

Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.

Christophe Rippert, Sergio Yovine, Guillaume Salagnac, 2006 .

P-Ware: Performance-Aware Transaction-Level Simulation for Network Processor Applications

Ismail Assayad, Sergio Yovine, S. Yovine, 2006 .

BIP : Language and Tools for Component-based Construction Sergio Yovine VERIMAG / CRNS

S. Yovine, Sergio. Yovine, 2008 .

Regular Inference over Recurrent Neural Networks as a Method for Black Box Explainability

S. Yovine, Declaración de Autoŕıa, 2019 .

Hardware Timing Verification using KRONOS Oded Maler

S. Yovine, 1996 .

Towards Efficient Active Learning of PDFA

S. Yovine, Franz Mayr, Nicolas Basset, 2022, ArXiv.

Compositional Speciication of Timed Systems (extended Abstract)

S. Yovine, J. Sifakis, 1996 .

T AXYS: A Tool for the Development and Veri(cid:12)cation of Real-Time Embedded Systems ?

S. Yovine, J. Sifakis, J. Pulou, 2001 .

Towards Efficient Active Learning of PDFA

S. Yovine, Franz Mayr, Nicolas Basset, 2022, ArXiv.

An Approach to the Description and Analysis of Hybrid Systems

Joseph Sifakis, Sergio Yovine, Alfredo Olivero, 1992, Hybrid Systems.

16 Verifying ET-LOTOS programs with KRONOS *

S. Yovine, C. Daws, A. Olivero, 2015 .

!"#$%&' ( )%&*+,& $-. ,*$/$0/& *12)1-&-3"0$,&. ,+24/$3+1-311/ 51% &20&..&. 24/3+)%1*&,1% +-.4,3%+$/ $))/+*$3+1-, 67 8-3%1.4*3+1

S. Yovine, I. Assayad, 2009 .

Building models of real-time systems from application software

Joseph Sifakis, Stavros Tripakis, Sergio Yovine, 2003, Proc. IEEE.

Timing Analysis and Code Generation of Vehicle Control Software using Taxys

Stavros Tripakis, Sergio Yovine, S. Yovine, 2001, RV@CAV.

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

Michel Poize, Jacques Pulou, Joseph Sifakis, 2001, CAV.

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine, S. Yovine, 2001, Formal Methods Syst. Des..

Model Checking Timed Automata

Sergio Yovine, S. Yovine, 1996, European Educational Forum: School on Embedded Systems.

Analysis of Timed Systems Based on Time-Abstracting Bisimulation

Stavros Tripakis, Sergio Yovine, S. Yovine, 1996, CAV.

The Tool KRONOS

Stavros Tripakis, Conrado Daws, Sergio Yovine, 1996, Hybrid Systems.

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

Stavros Tripakis, Conrado Daws, Sergio Yovine, 1998, CAV.

The Algorithmic Analysis of Hybrid Systems

Thomas A. Henzinger, Nicolas Halbwachs, Joseph Sifakis, 1995, Theor. Comput. Sci..

Distributed Implementation of a Linda Kernel

Sergio Yovine, Rogelio Alvez, S. Yovine, 1991 .

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

Sergio Yovine, Peter Niebert, S. Yovine, 2001, Eur. J. Control.

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

Sergio Yovine, Peter Niebert, S. Yovine, 2000, HSCC.

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

Christos Kloukinas, Sergio Yovine, Chaker Nakhli, 2003, EMSOFT.

On transforming Java-like programs into memory-predictable code

Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2009, JTRES '09.

Parametric prediction of heap memory requirements

Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2008, ISMM '08.

JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications

Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2005, eclipse '05.

A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

Sergio Yovine, Diego Garbervetsky, Víctor A. Braberman, 2006, J. Object Technol..

Hybrid computation

Aude Maignan, Sergio Yovine, Jean Della Dora, 2001, ISSAC '01.

SPeeDI - A Verification Tool for Polygonal Hybrid Systems

Gordon J. Pace, Sergio Yovine, Eugene Asarin, 2002, CAV.

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Yassine Lakhnech, Sergio Yovine, Fault-Tolerant Systems, 2004, Lecture Notes in Computer Science.

Model-Checking for Extended Timed Temporal Logics

Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine, 1996, FTRTFT.

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

Christos Kloukinas, Sergio Yovine, S. Yovine, 2011, Automated Software Engineering.

Symbolic Reachability Computation for Families of Linear Vector Fields

Gerardo Lafferriere, George J. Pappas, Sergio Yovine, 2001, J. Symb. Comput..

KRONOS: a verification tool for real-time systems

Sergio Yovine, S. Yovine, 1997, International Journal on Software Tools for Technology Transfer.

A New Class of Decidable Hybrid Systems

Gerardo Lafferriere, George J. Pappas, Sergio Yovine, 1999, HSCC.

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

Sergio Yovine, Diego Garbervetsky, Chaker Nakhli, 2004, RV@ETAPS.

Region-Based Memory Management: An Evaluation of Its Support in RTSJ

M. Teresa Higuera-Toledano, Diego Garbervetsky, Sergio Yovine, 2012 .

On synthesizing parametric specifications of dynamic memory utilization

Sergio Yovine, Diego Garbervetsky, Victor Braberman, 2004 .

Formal specification and implementation of an automated pattern-based parallel-code generation framework

S. Yovine, G. Pérez, 2019, International Journal on Software Tools for Technology Transfer.

Jahuel: A Formal Framework for Software Synthesis

Valérie Bertin, Ismail Assayad, Sergio Yovine, 2005, ICFEM.

Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems

Christos Kloukinas, Sergio Yovine, S. Yovine, 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

Integration Graphs: A Class of Decidable Hybrid Systems

Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1992, Hybrid Systems.

Decidable Integration Graphs

Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1999, Inf. Comput..

A framework for scheduler synthesis

Joseph Sifakis, Amir Pnueli, Stavros Tripakis, 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

V TS-based Specification and Verification of Behavioral Properties of AADL Models

D. Monteverde, A. Olivero, S. Yovine, 2008 .

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Gordon J. Pace, E. Asarin, S. Yovine, 2008, Theor. Comput. Sci..

Compositional Specification of Timed Systems (Extended Abstract)

Joseph Sifakis, Sergio Yovine, S. Yovine, 1996, STACS.

Using Abstractions for the Verification of Linear Hybrid Systems

Joseph Sifakis, Sergio Yovine, Alfredo Olivero, 1994, CAV.

Regular Inference on Artificial Neural Networks

Sergio Yovine, Franz Mayr, S. Yovine, 2018, CD-MAKE.

Verification of Asynchronous Circuits using Timed Automata

Jianmin Hou, Sergio Yovine, Oded Maler, 2002, Theory and Practice of Timed Systems @ ETAPS.

Hardware timing verification using KRONOS

O. Maler, S. Yovine, S. Yovine, 1996, Proceedings of the Seventh Israeli Conference on Computer Systems and Software Engineering.

Compiling Real-Time Specifications into Extended Automata

Joseph Sifakis, Sergio Yovine, Xavier Nicollin, 1992, IEEE Trans. Software Eng..

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Ahmed Bouajjani, Sergio Yovine, 2005, Formal Methods Syst. Des..

From ATP to timed graphs and hybrid systems

Joseph Sifakis, Sergio Yovine, Xavier Nicollin, 1991, Acta Informatica.

Verifying ET-LOTOS programmes with KRONOS

Conrado Daws, Sergio Yovine, Alfredo Olivero, 1994, FORTE.

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

Stavros Tripakis, Ahmed Bouajjani, Sergio Yovine, 1997, Proceedings Real-Time Systems Symposium.

Two examples of verification of multirate timed automata with Kronos

Conrado Daws, Sergio Yovine, S. Yovine, 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

Speedup Prediction for Selective Compilation of Embedded Java Programs

Sergio Yovine, Christian Fabre, Romain Guider, 2002, EMSOFT.

Algorithmic analysis of polygonal hybrid systems, part I: Reachability

Sergio Yovine, Eugene Asarin, Gerardo Schneider, 2007, Theor. Comput. Sci..