Sergio Yovine - RankMe

80 papers A* 7A 5B 3C 7Misc 2Journal 25Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis. CoRR Pepe Alonso, Sergio Yovine, Víctor A. Braberman
2024	J	`jnl`	Analyzing constrained LLM through PDFA-learning. CoRR Matías Carrasco, Franz Mayr, Sergio Yovine, Johny Kidd, Martín Iturbide, Juan Pedro da Silva, Alejo Garat
2024	J	`jnl`	Congruence-based Learning of Probabilistic Deterministic Finite Automata. CoRR Matías Carrasco, Franz Mayr, Sergio Yovine
2023	—	`conf`	A Congruence-based Approach to Active Automata Learning from Neural Language Models. ICGI Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky
2023	—	`conf`	Results of Neural-Checker Toolbox in Taysir 2023 Competition. ICGI Franz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky
2022	J	`jnl`	Towards Efficient Active Learning of PDFA. CoRR Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang
2021	J	`jnl`	An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data. Mach. Learn. Knowl. Extr. Sergio Yovine, Franz Mayr, Sebastián Sosa, Ramiro Visca
2021	J	`jnl`	Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. Mach. Learn. Knowl. Extr. Franz Mayr, Sergio Yovine, Ramiro Visca
2020	C	`conf`	On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. CD-MAKE Franz Mayr, Ramiro Visca, Sergio Yovine
2019	J	`jnl`	Formal specification and implementation of an automated pattern-based parallel-code generation framework. Int. J. Softw. Tools Technol. Transf. Gervasio Pérez, Sergio Yovine
2018	C	`conf`	Regular Inference on Artificial Neural Networks. CD-MAKE Franz Mayr, Sergio Yovine
2017	—	`conf`	CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis. MOBILESoft@ICSE Sergio Yovine, Gonzalo Winniczuk
2014	J	`jnl`	Summary-based inference of quantitative bounds of live heap objects. Sci. Comput. Program. Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
2011	J	`jnl`	A model-based approach for multiple QoS in scheduling: from models to implementation. Autom. Softw. Eng. Christos Kloukinas, Sergio Yovine
2011	J	`jnl`	Quantitative dynamic-memory analysis for Java. Concurr. Comput. Pract. Exp. Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
2010	J	`jnl`	A scheduler synthesis methodology for joint SW/HW design exploration of SoC. Des. Autom. Embed. Syst. Ismail Assayad, Sergio Yovine
2009	—	`conf`	On transforming Java-like programs into memory-predictable code. JTRES Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada
2008	J	`jnl`	Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2008	C	`conf`	Parametric prediction of heap memory requirements. ISMM Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine
2007	J	`jnl`	Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. Eugene Asarin, Gerardo Schneider, Sergio Yovine
2007	—	`conf`	Modelling and Exploration Environment for Application Specific Multiprocessor Systems. HASE Ismail Assayad, Sergio Yovine
2007	C	`conf`	P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications. DSD Ismail Assayad, Sergio Yovine
2007	—	`conf`	Performance analysis of embedded multiprocessor industrial applications: methodology and tools. ICECS Ismail Assayad, Sergio Yovine
2007	B	`conf`	Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. RTCSA Guillaume Salagnac, Christophe Rippert, Sergio Yovine
2006	J	`jnl`	A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. J. Object Technol. Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine
2006	C	`conf`	System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding. IES Ismail Assayad, Sergio Yovine
2005	J	`jnl`	Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods Syst. Des. Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
2005	—	`conf`	Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations. IICS Ismail Assayad, Sergio Yovine
2005	—	`conf`	Fast Escape Analysis for Region-based Memory Management. AIOOL@VMCAI Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
2005	—	`conf`	JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications. eTX Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine
2005	C	`conf`	Jahuel: A Formal Framework for Software Synthesis. ICFEM Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
2005	—	`conf`	Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin
2004	—	`ed.`	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 FORMATS/FTRTFT Yassine Lakhnech, Sergio Yovine
2004	—	`conf`	Program Instrumentation and Run-Time Analysis of Scoped Memory in Java. RV@ETAPS Diego Garbervetsky, Chaker Nakhli, Sergio Yovine, Hichem Zorgati
2003	Misc	`conf`	A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. EMSOFT Christos Kloukinas, Chaker Nakhli, Sergio Yovine
2003	J	`jnl`	Building models of real-time systems from application software. Proc. IEEE Joseph Sifakis, Stavros Tripakis, Sergio Yovine
2003	B	`conf`	Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. ECRTS Christos Kloukinas, Sergio Yovine
2002	—	`conf`	Preface. Theory and Practice of Timed Systems @ ETAPS Eugene Asarin, Oded Maler, Sergio Yovine
2002	A*	`conf`	SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2002	Misc	`conf`	Speedup Prediction for Selective Compilation of Embedded Java Programs. EMSOFT Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
2002	—	`ed.`	Theory and Practice of Timed Systems (TPTS), Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002 Theory and Practice of Timed Systems @ ETAPS Eugene Asarin, Oded Maler, Sergio Yovine
2002	—	`conf`	Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC Eugene Asarin, Gerardo Schneider, Sergio Yovine
2002	—	`conf`	Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
2001	—	`conf`	A methodology for analyzing the dynamics of hybrid systems. ECC Jean Della Dora, Sergio Yovine
2001	J	`jnl`	Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods Syst. Des. Stavros Tripakis, Sergio Yovine
2001	J	`jnl`	Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode. Eur. J. Control Peter Niebert, Sergio Yovine
2001	B	`conf`	Hybrid computation. ISSAC Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine
2001	—	`conf`	On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC Eugene Asarin, Gerardo Schneider, Sergio Yovine
2001	J	`jnl`	Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. Gerardo Lafferriere, George J. Pappas, Sergio Yovine
2001	A*	`conf`	TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2001	—	`conf`	TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2001	—	`conf`	Timing Analysis and Code Generation of Vehicle Control Software using Taxys. RV@CAV Stavros Tripakis, Sergio Yovine
2000	—	`conf`	Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC Peter Niebert, Sergio Yovine
1999	A	`conf`	A Framework for Scheduler Synthesis. RTSS Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
1999	—	`conf`	A New Class of Decidable Hybrid Systems. HSCC Gerardo Lafferriere, George J. Pappas, Sergio Yovine
1999	J	`jnl`	Decidable Integration Graphs. Inf. Comput. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
1998	—	`conf`	KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998	A*	`conf`	Kronos: A Model-Checking Tool for Real-Time Systems. CAV Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998	—	`conf`	Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. IEEE Real Time Technology and Applications Symposium Stavros Tripakis, Sergio Yovine
1997	J	`jnl`	KRONOS: A Verification Tool for Real-Time Systems. Int. J. Softw. Tools Technol. Transf. Sergio Yovine
1997	A	`conf`	On-the-fly symbolic model checking for real-time systems. RTSS Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
1997	A*	`conf`	Some Progress in the Symbolic Verification of Timed Automata. CAV Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
1996	A*	`conf`	Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV Stavros Tripakis, Sergio Yovine
1996	A	`conf`	Compositional Specification of Timed Systems (Extended Abstract). STACS Joseph Sifakis, Sergio Yovine
1996	—	`conf`	Model Checking Timed Automata. European Educational Forum: School on Embedded Systems Sergio Yovine
1996	—	`conf`	Model-Checking for Extended Timed Temporal Logics. FTRTFT Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
1996	A	`conf`	Reducing the number of clock variables of timed automata. RTSS Conrado Daws, Sergio Yovine
1995	J	`jnl`	The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1995	—	`conf`	The Tool KRONOS. Hybrid Systems Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1995	A	`conf`	Two Examples of Verification of Multirate Timed Automata with Kronos. RTSS Conrado Daws, Sergio Yovine
1994	J	`jnl`	Symbolic Model Checking for Real-Time Systems Inf. Comput. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1994	A*	`conf`	Using Abstractions for the Verification of Linear Hybrid Systems. CAV Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1994	C	`conf`	Verifying ET-LOTOS programmes with KRONOS. FORTE Conrado Daws, Alfredo Olivero, Sergio Yovine
1993	J	`jnl`	From ATP to Timed Graphs and Hybrid Systems. Acta Informatica Xavier Nicollin, Joseph Sifakis, Sergio Yovine
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
1992	—	`conf`	An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1992	J	`jnl`	Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1992	—	`conf`	Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
1992	A*	`conf`	Symbolic Model Checking for Real-time Systems LICS Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1991	—	`conf`	From ATP to Timed Graphs and Hybrid Systems. REX Workshop Xavier Nicollin, Joseph Sifakis, Sergio Yovine