Obserwuj
Susanne Graf
Susanne Graf
Research Director, CNRS, Grenoble University, Verimag
Zweryfikowany adres z imag.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Construction of abstract state graphs with PVS
S Graf, H Saïdi
International Conference on Computer Aided Verification (CAV 97), 72-83, 1997
20721997
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
5691995
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
2642004
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
2052002
Compositional minimisation of finite state systems using interface specifications
S Graf, B Steffen, G Lüttgen
Formal Aspects of Computing 8, 607-616, 1996
1671996
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
1462006
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
1281991
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
1211999
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
1091999
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer, 2006
872006
A tool for symbolic program verification and abstraction
S Graf, C Loiseaux
International Conference on Computer Aided Verification (CAV 93), 71-84, 1993
831993
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
821986
A modal characterization of observational congruence on finite terms of CCS
S Graf, J Sifakis
Information and Control 68 (1-3), 125-145, 1986
801986
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
772008
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
762000
Verification of a distributed cache memory by using abstractions
S Graf
International Conference on Computer Aided Verification (CAV 94), 207-219, 1994
731994
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
722007
Compositional minimization of finite state processes
S Graf, B Steffen
Computer-Aided Verification 90, 57-73, 1990
701990
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
662004
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20