default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergio Yovine
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i3]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 abs/2406.08269 (2024)- [i2]Matías Carrasco, Franz Mayr, Sergio Yovine:
Congruence-based Learning of Probabilistic Deterministic Finite Automata. CoRR abs/2412.09760 (2024) - 2023
- [c52]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: 250-264 - [c51]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: 295-298 - 2022
- [i1]Franz Mayr
, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang:
Towards Efficient Active Learning of PDFA. CoRR abs/2206.09004 (2022) - 2021
- [j21]Franz Mayr, Sergio Yovine, Ramiro Visca:
Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. Mach. Learn. Knowl. Extr. 3(1): 205-227 (2021) - [j20]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): 788-801 (2021) - 2020
- [c50]Franz Mayr, Ramiro Visca, Sergio Yovine:
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. CD-MAKE 2020: 343-363
2010 – 2019
- 2019
- [j19]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): 183-202 (2019) - 2018
- [c49]Franz Mayr, Sergio Yovine:
Regular Inference on Artificial Neural Networks. CD-MAKE 2018: 350-369 - 2017
- [c48]Sergio Yovine, Gonzalo Winniczuk:
CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis. MOBILESoft@ICSE 2017: 175-176 - 2014
- [j18]Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine:
Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. 92: 56-84 (2014) - 2011
- [j17]Christos Kloukinas, Sergio Yovine:
A model-based approach for multiple QoS in scheduling: from models to implementation. Autom. Softw. Eng. 18(1): 5-38 (2011) - [j16]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): 1665-1678 (2011) - 2010
- [j15]Ismail Assayad, Sergio Yovine:
A scheduler synthesis methodology for joint SW/HW design exploration of SoC. Des. Autom. Embed. Syst. 14(2): 75-103 (2010)
2000 – 2009
- 2009
- [c47]Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada:
On transforming Java-like programs into memory-predictable code. JTRES 2009: 140-149 - 2008
- [j14]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): 1-26 (2008) - [c46]Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine:
Parametric prediction of heap memory requirements. ISMM 2008: 141-150 - 2007
- [j13]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007) - [c45]Ismail Assayad, Sergio Yovine:
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. DSD 2007: 181-188 - [c44]Ismail Assayad, Sergio Yovine:
Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE 2007: 433-434 - [c43]Ismail Assayad, Sergio Yovine:
Performance analysis of embedded multiprocessor industrial applications: methodology and tools. ICECS 2007: 907-910 - [c42]Guillaume Salagnac, Christophe Rippert, Sergio Yovine:
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA 2007: 73-80 - 2006
- [j12]Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine:
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. 5(5): 31-58 (2006) - [c41]Ismail Assayad, Sergio Yovine:
System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding. IES 2006: 1-10 - 2005
- [j11]Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani:
Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods Syst. Des. 26(3): 267-292 (2005) - [c40]Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin:
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA 2005: 295-302 - [c39]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: 50-54 - [c38]Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine:
Jahuel: A Formal Framework for Software Synthesis. ICFEM 2005: 204-218 - [c37]Ismail Assayad, Sergio Yovine:
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS 2005: 159-170 - [c36]Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky:
Fast Escape Analysis for Region-based Memory Management. AIOOL@VMCAI 2005: 99-110 - 2004
- [c35]Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati:
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. RV@ETAPS 2004: 105-121 - [e2]Yassine Lakhnech, Sergio Yovine:
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3253, Springer 2004, ISBN 3-540-23167-6 [contents] - 2003
- [j10]Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
Building models of real-time systems from application software. Proc. IEEE 91(1): 100-111 (2003) - [c34]Christos Kloukinas, Sergio Yovine:
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS 2003: 287-294 - [c33]Christos Kloukinas, Chaker Nakhli, Sergio Yovine:
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. EMSOFT 2003: 274-289 - 2002
- [c32]Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358 - [c31]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: 227-239 - [c30]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61 - [c29]Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 47-59 - [c28]Eugene Asarin, Oded Maler, Sergio Yovine:
Preface. Theory and Practice of Timed Systems @ ETAPS 2002: 273-274 - [e1]Eugene Asarin, Oded Maler, Sergio Yovine:
Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 [contents] - 2001
- [j9]Peter Niebert, Sergio Yovine:
Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode. Eur. J. Control 7(4): 440-454 (2001) - [j8]Stavros Tripakis, Sergio Yovine:
Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods Syst. Des. 18(1): 25-68 (2001) - [j7]Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001) - [c27]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: 391-395 - [c26]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: 2875-2880 - [c25]Jean Della Dora, Sergio Yovine:
A methodology for analyzing the dynamics of hybrid systems. ECC 2001: 3874-3878 - [c24]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104 - [c23]Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine:
Hybrid computation. ISSAC 2001: 101-108 - [c22]Stavros Tripakis, Sergio Yovine:
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. RV@CAV 2001: 277-286 - 2000
- [c21]Peter Niebert, Sergio Yovine:
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC 2000: 338-351
1990 – 1999
- 1999
- [j6]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999) - [c20]Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151 - [c19]Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163 - 1998
- [c18]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550 - [c17]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: 298-302 - [c16]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: 165-170 - 1997
- [j5]Sergio Yovine:
KRONOS: A Verification Tool for Real-Time Systems. Int. J. Softw. Tools Technol. Transf. 1(1-2): 123-133 (1997) - [c15]Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine:
Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190 - [c14]Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine:
On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34 - 1996
- [c13]Stavros Tripakis, Sergio Yovine:
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243 - [c12]Sergio Yovine:
Model Checking Timed Automata. European Educational Forum: School on Embedded Systems 1996: 114-152 - [c11]Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine:
Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326 - [c10]Conrado Daws, Sergio Yovine:
Reducing the number of clock variables of timed automata. RTSS 1996: 73-81 - [c9]Joseph Sifakis, Sergio Yovine:
Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359 - 1995
- [j4]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): 3-34 (1995) - [c8]Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
The Tool KRONOS. Hybrid Systems 1995: 208-219 - [c7]Conrado Daws, Sergio Yovine:
Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS 1995: 66-75 - 1994
- [j3]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994) - [c6]Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94 - [c5]Conrado Daws, Alfredo Olivero, Sergio Yovine:
Verifying ET-LOTOS programmes with KRONOS. FORTE 1994: 227-242 - 1993
- [b1]Sergio Yovine:
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). Grenoble Institute of Technology, France, 1993 - [j2]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems. Acta Informatica 30(2): 181-202 (1993) - 1992
- [j1]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992) - [c4]Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178 - [c3]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208 - [c2]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406 - 1991
- [c1]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
