Sergio Yovine

Cited by

	All	Since 2018
Citations	12209	1125
h-index	40	13
i10-index	71	17

720

360

180

540

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202331 65 123 203 268 330 400 446 421 527 566 579 616 702 697 668 590 534 489 456 458 415 384 322 321 298 265 234 187 184 193 62

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
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
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
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
Franz MayrUniversidad ORT UruguayVerified email at ort.edu.uy
Guillaume SalagnacINSA LyonVerified email at insa-lyon.fr
Ramiro ViscaUniversidad 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

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	2690	1995
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1750	1994
Kronos: A verification tool for real-time systems S Yovine Int. J. Softw. Tools Technol. Transf. 1 (1-2), 123-133, 1997	1012	1997
The tool Kronos C Daws, A Olivero, S Tripakis, S Yovine Hybrid Systems III: Verification and Control 3, 208-219, 1996	733	1996
Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT’98 M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998	565	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	292	2001
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine Hybrid Systems, 149-178, 2005	290	2005
A new class of decidable hybrid systems G Lafferriere, GJ Pappas, S Yovine Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999	287	1999
Model checking timed automata S Yovine Lectures on Embedded Systems: European Educational Forum School on Embedded …, 1998	265	1998
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18, 25-68, 2001	241	2001
Reducing the number of clock variables of timed automata. C Daws, S Yovine rtss 96, 73, 1996	225	1996
Two examples of verification of multirate timed automata with Kronos C Daws, S Yovine Proceedings 16th IEEE Real-Time Systems Symposium, 66-75, 1995	224	1995
Compiling real-time specifications into extended automata X Nicollin, J Sifakis, S Yovine IEEE transactions on Software Engineering 18 (9), 794-804, 1992	223	1992
Integration graphs: a class of decidable hybrid systems Y Kesten, A Pnueli, J Sifakis, S Yovine Hybrid systems, 179-208, 1993	206	1993
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	183	1992
Compositional specification of timed systems J Sifakis, S Yovine STACS 96, 345-359, 1996	171	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	164	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	139	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	135	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	133	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