| Construction of abstract state graphs with PVS S Graf, H Saïdi International Conference on Computer Aided Verification (CAV 97), 72-83, 1997 | 2043 | 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 | 564 | 1995 |
| Compositional Minimization of Finite State Systems S Graf, B Steffen 2nd Conference on Computer-Aided Verification, CAV 90: DIMACS preliminary …, 1991 | 297* | 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 | 262 | 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 | 164 | 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 | 144 | 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 | 117 | 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 | 109 | 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 | 88 | 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 | 82 | 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 | 77 | 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 | 76 | 2000 |
| Verification of a distributed cache memory by using abstractions S Graf International Conference on Computer Aided Verification (CAV 94), 207-219, 1994 | 74 | 1994 |
| 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 | 71 | 2007 |
| 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 | 68 | 2004 |
| Compositional minimization of finite state processes S Graf, B Steffen Computer-Aided Verification 90, 57-73, 1990 | 64 | 1990 |
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, Franceisae-supaero.fr의 이메일 확인됨