Sergio Yovine

Cited by

	All	Since 2017
Citations	11866	1196
h-index	39	14
i10-index	70	19

700

350

175

525

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202261 147 221 259 351 380 421 441 504 527 605 602 649 687 645 590 537 483 458 462 416 378 315 313 291 259 229 182 187 48

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Gerardo LafferriereProfessor of Mathematics, Portland State UniversityVerified email at pdx.edu
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
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, Université Paris CitéVerified email at irif.fr
Christos KloukinasCity, University of LondonVerified email at city.ac.uk
Guillaume SalagnacINSA LyonVerified email at insa-lyon.fr
Franz MayrUniversidad ORT UruguayVerified email at ort.edu.uy
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Gregor GösslerINRIAVerified email at inria.fr

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	2605	1995
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1701	1994
Kronos: A verification tool for real-time systems S Yovine Int. J. Softw. Tools Technol. Transf. 1 (1-2), 123-133, 1997	981	1997
The tool KRONOS C Daws, A Olivero, S Tripakis, S Yovine International Hybrid Systems Workshop, 208-219, 1995	725	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	543	1998
A new class of decidable hybrid systems G Lafferriere, GJ Pappas, S Yovine International Workshop on Hybrid Systems: Computation and Control, 137-151, 1999	281	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	279	2001
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine Hybrid Systems, 149-178, 1992	277	1992
Model checking timed automata S Yovine School organized by the European Educational Forum, 114-152, 1996	259	1996
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18 (1), 25-68, 2001	230	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	223	1995
Compiling real-time specifications into extended automata X Nicollin, J Sifakis, S Yovine IEEE transactions on Software Engineering 18 (9), 794-804, 1992	217	1992
Reducing the number of clock variables of timed automata. C Daws, S Yovine rtss 96, 73, 1996	213	1996
Integration graphs: a class of decidable hybrid systems Y Kesten, A Pnueli, J Sifakis, S Yovine Hybrid systems, 179-208, 1992	201	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	170	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	163	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	136	1997
Verifying et-lotos Programs with Kronos C Daws, A Olivero, S Yovine Formal Description Techniques VII, 227-242, 1995	136	1995
On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997	131	1997

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

Follow this author

Cited by

Co-authors