Sergio Yovine

Cited by

	All	Since 2016
Citations	11486	1258
h-index	39	14
i10-index	69	19

700

350

175

525

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202129 64 148 200 253 331 357 428 442 504 512 614 589 646 693 632 579 540 473 452 452 412 383 309 314 284 240 221 175 24

Co-authors

Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Thomas HenzingerIST AustriaVerified email at ist.ac.at
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
Gerardo LafferriereProfessor of Mathematics, Portland State UniversityVerified email at pdx.edu
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Pei-Hsin HoSynopsys, Inc.Verified email at synopsys.com
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Christos KloukinasCity, University of LondonVerified email at city.ac.uk
Guillaume SalagnacINSA LyonVerified email at insa-lyon.fr
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Gregor GösslerINRIAVerified email at inria.fr
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt

Sergio Yovine

Universidad ORT Uruguay & Universidad de Buenos Aires

Verified email at ort.edu.uy - Homepage

Timed automata Parallel programming Hybrid systems Model checking Machine learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995	2499	1995
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1656	1994
Kronos: A verification tool for real-time systems S Yovine International Journal on Software Tools for Technology Transfer 1 (1-2), 123-133, 1997	961	1997
The tool KRONOS C Daws, A Olivero, S Tripakis, S Yovine International Hybrid Systems Workshop, 208-219, 1995	697	1995
Kronos: A model-checking tool for real-time systems M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	519	1998
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine Hybrid Systems, 149-178, 1992	278	1992
A new class of decidable hybrid systems G Lafferriere, GJ Pappas, S Yovine International Workshop on Hybrid Systems: Computation and Control, 137-151, 1999	271	1999
Symbolic reachability computation for families of linear vector fields G Lafferriere, GJ Pappas, S Yovine Journal of Symbolic Computation 32 (3), 231-253, 2001	264	2001
Model checking timed automata S Yovine School organized by the European Educational Forum, 114-152, 1996	253	1996
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18 (1), 25-68, 2001	221	2001
Two examples of verification of multirate timed automata with Kronos C Daws, S Yovine Proceedings 16th IEEE Real-Time Systems Symposium, 66-75, 1995	215	1995
Compiling real-time specifications into extended automata X Nicollin, J Sifakis, S Yovine IEEE transactions on Software Engineering 18 (9), 794-804, 1992	212	1992
Reducing the number of clock variables of timed automata. C Daws, S Yovine rtss 96, 73, 1996	205	1996
Integration graphs: a class of decidable hybrid systems Y Kesten, A Pnueli, J Sifakis, S Yovine Hybrid systems, 179-208, 1992	199	1992
From ATP to timed graphs and hybrid systems X Nicollin, J Sifakis, S Yovine Workshop/School/Symposium of the REX Project (Research and Education in …, 1991	186	1991
Compositional specification of timed systems J Sifakis, S Yovine STACS 96, 345-359, 1996	167	1996
A framework for scheduler synthesis K Altisen, G Goßler, A Pnueli, J Sifakis, S Tripakis, S Yovine Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No. 99CB37054), 154-163, 1999	156	1999
Some progress in the symbolic verification of timed automata M Bozga, O Maler, A Pnueli, S Yovine International Conference on Computer Aided Verification, 179-190, 1997	134	1997
On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997	129	1997
Verifying et-lotos Programs with Kronos C Daws, A Olivero, S Yovine Formal Description Techniques VII, 227-242, 1995	126	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors