Susanne Graf

Cited by

	All	Since 2018
Citations	5956	599
h-index	33	11
i10-index	61	12

420

210

105

315

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 26 18 40 44 40 56 74 78 97 116 152 186 184 237 296 353 360 404 344 279 310 262 257 260 202 189 177 144 180 130 89 64 75 61

Co-authors

Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerified email at isae-supaero.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Ileana OberUniversity of ToulouseVerified email at irit.Fr
Laurent MounierVERIMAG University of Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Imene Ben HafaiedhUniversity of Tunis El ManarVerified email at isi.utm.tn
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiVerified email at info.uaic.ro
Sebastien GerardCEA ListVerified email at cea.fr
Gregor GösslerINRIAVerified email at inria.fr
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Bran SelicMalina Software Corp.Verified email at acm.org
Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Andreas PrinzProfessor of Systems Engineering, University of AgderVerified email at uia.no

Susanne Graf

Research Director, CNRS, Grenoble University, Verimag

Verified email at imag.fr - Homepage

Computer Science Real Time and Embedded Systems model-checking abstraction techniques Formal design and verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Construction of abstract state graphs with PVS S Graf, H Saïdi International Conference on Computer Aided Verification (CAV 97), 72-83, 1997	2017	1997
Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem Formal Methods in System Design (FMSD) 6 (1), 11-44, 1995	549	1995
Compositional Minimization of Finite State Systems S Graf, B Steffen 2nd Conference on Computer-Aided Verification, CAV 90: DIMACS preliminary …, 1991	292*	1991
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004	254	2004
IF-2.0: A validation environment for component-based real-time systems M Bozga, S Graf, L Mounier International Conference on Computer Aided Verification (CAV 2002), 343-348, 2002	204	2002
Compositional minimisation of finite state systems using interface specifications S Graf, B Steffen, G Lüttgen Formal Aspects of Computing 8, 607-616, 1996	160	1996
Validating timed UML models by simulation and verification I Ober, S Graf, I Ober International Journal on Software Tools for Technology Transfer 8 (2), 128-145, 2006	142	2006
Safety for branching time semantics A Bouajjani, JC Fernandez, S Graf, C Rodriguez, J Sifakis International Conference on Automata, Languages and Programming (ICALP 1991 …, 1991	121	1991
IF: An intermediate representation and validation environment for timed asynchronous systems M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier Internation Formal Methods Conference (FM'99), 307-327, 1999	118	1999
IF: An intermediate representation for SDL and its applications M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier, J Sifakis SDL'99, 423-440, 1999	107	1999
A real-time profile for UML S Graf, I Ober, I Ober International Journal on Software Tools for Technology Transfer 8, 113-127, 2006	86	2006
A tool for symbolic program verification and abstraction S Graf, C Loiseaux International Conference on Computer Aided Verification (CAV 93), 71-84, 1993	84	1993
A modal characterization of observational congruence on finite terms of CCS S Graf, J Sifakis Information and Control 68 (1-3), 125-145, 1986	79	1986
A logic for the description of non-deterministic programs and their properties S Graf, J Sifakis Information and control 68 (1-3), 254-270, 1986	78	1986
Contract-based verification of hierarchical systems of components S Quinton, S Graf IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM'08), 377-381, 2008	75	2008
IF: A validation environment for timed asynchronous systems M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier International Conference on Computer Aided Verification (CAV 2000), 543-547, 2000	75	2000
An approach to modelling and verification of component based systems G Gössler, S Graf, M Majster-Cederbaum, M Martens, J Sifakis International Conference on Current Trends in Theory and Practice of …, 2007	72	2007
Verification of a distributed cache memory by using abstractions S Graf International Conference on Computer Aided Verification (CAV 94), 207-219, 1994	72	1994
Validation of UML models via a mapping to communicating extended timed automata I Ober, S Graf, I Ober SPIN, International Symposium on Model Checking of Software, 127-145, 2004	65	2004
Compositional minimization of finite state processes S Graf, B Steffen Computer-Aided Verification 90, 57-73, 1990	65	1990

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