Graf, Susanne - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)

Advanced Search

Graf, Susanne - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)

Using an UML profile for timing analysis with the IF validation tool-set Iulian Ober University of Toulouse-II ober@univ-tlse2.fr
Fundamenta Informaticae ASM (2005) 119 1 Time in State Machines
An Approach to Modelling and Verification of Component Based Systems
X. Franch and D. Port (Eds.): ICCBSS 2005, LNCS 3412, p. 1, 2005. Springer-Verlag Berlin Heidelberg 2005
How useful is the UML profile SPT without Semantics?1 Susanne Graf, Ileana Ober
Abstraction as the Key for Invariant Veri cation Saddek Bensalem and Susanne Graf and Yassine Lakhnech
!#"$%'&)(102&34510"66"78'&9@'BAC0D"7%'&EGF%FHEI PQSRUTWVSVSX`YbacTedTWVSfhg'ipTrqsatXbuvqwRxXeTWQ7y
Correct Development of Embedded Systems Susanne Graf1 and Jozef Hooman2
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Contracts for BIP: hierarchical interaction models for compositional verication
International Journal on Software Tools for Technology (2006) 8(2): 128145 DOI 10.1007/s10009-005-0205-x
Powerful Techniques for the Automatic Generation of Invariants
International Journal on Software Tools for Technology (2006) DOI 10.1007/s10009-005-0220-y
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
Ensuring Properties of Interaction Systems G. Gssler(1)
SVERTS Specification and Validation of Real-time and Embedded Systems
Projet Omega : Un profil UML et un outil pour la modlisation et la validation de systmes temps
International Journal on Software Tools for Technology (2006) 8(2): 113127 DOI 10.1007/s10009-005-0213-x