Sergio Yovine

Cited by

	All	Since 2019
Citations	12525	1102
h-index	40	12
i10-index	72	16

700

350

175

525

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202440 56 137 204 285 341 384 468 446 524 562 617 622 666 691 669 601 528 484 469 450 400 381 323 310 289 275 228 189 186 173 177 148

Public access

View all

2 articles

0 articles

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
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Gerardo LafferriereProfessor of Mathematics, Portland State UniversityVerified email at pdx.edu
Franz MayrUniversidad ORT UruguayVerified email at ort.edu.uy
Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
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 St George's, University of LondonVerified email at city.ac.uk
Ramiro ViscaUniversidad ORT UruguayVerified email at ort.edu.uy
Guillaume SalagnacINSA LyonVerified email at insa-lyon.fr
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr

Sergio Yovine

Universidad ORT Uruguay

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	2876	1995
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1800	1994
Kronos: A verification tool for real-time systems S Yovine Int. J. Softw. Tools Technol. Transf. 1 (1-2), 123-133, 1997	1035	1997
The tool Kronos C Daws, A Olivero, S Tripakis, S Yovine Hybrid Systems III: Verification and Control 3, 208-219, 1996	746	1996
Kronos: A model-checking tool for real-time systems M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	574	1998
Symbolic reachability computation for families of linear vector fields G Lafferriere, GJ Pappas, S Yovine Journal of Symbolic Computation 32 (3), 231-253, 2001	309	2001
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine International Hybrid Systems Workshop, 149-178, 1991	301	1991
A new class of decidable hybrid systems G Lafferriere, GJ Pappas, S Yovine Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999	289	1999
Model checking timed automata S Yovine School organized by the European Educational Forum, 114-152, 1996	269	1996
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18, 25-68, 2001	251	2001
Reducing the number of clock variables of timed automata. C Daws, S Yovine rtss 96, 73, 1996	229	1996
Compiling real-time specifications into extended automata X Nicollin, J Sifakis, S Yovine IEEE transactions on Software Engineering 18 (9), 794-804, 1992	227	1992
Two examples of verification of multirate timed automata with Kronos C Daws, S Yovine Proceedings 16th IEEE Real-Time Systems Symposium, 66-75, 1995	225	1995
Integration graphs: a class of decidable hybrid systems Y Kesten, A Pnueli, J Sifakis, S Yovine International Hybrid Systems Workshop, 179-208, 1991	206	1991
Compositional specification of timed systems J Sifakis, S Yovine STACS 96, 345-359, 1996	185	1996
From ATP to timed graphs and hybrid systems X Nicollin, J Sifakis, S Yovine Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992	184	1992
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	167	1999
Some progress in the symbolic verification of timed automata M Bozga, O Maler, A Pnueli, S Yovine Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	141	1997
Verifying et-lotos Programs with Kronos C Daws, A Olivero, S Yovine Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995	140	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	135	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

Cited by

Co-authors