Graf, Susanne.
Graf, Susanne, 19..-...., auteure en informatique
Graf, Susanne 1958-
VIAF ID: 101065172 ( Personal )
Permalink: http://viaf.org/viaf/101065172
Preferred Forms
-
-
-
-
-
- 100 1 _ ‡a Graf, Susanne
- 100 1 _ ‡a Graf, Susanne
- 100 1 _ ‡a Graf, Susanne ‡d 1958-
- 100 1 _ ‡a Graf, Susanne ‡d 1958-
- 100 1 _ ‡a Graf, Susanne, ‡d 19..-...., ‡c auteure en informatique
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (5)
- 510 2 _ ‡a Centre national de la recherche scientifique ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut Polytechnique de Grenoble ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Langen (Hessen) ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 500 1 _ ‡a Lehmann, Susanne
- 510 2 _ ‡a Université Joseph Fourier ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
ATVA 2006 | |
Automated technology for verification and analysis : 4th International symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings | |
Compositional minimization of finite state systems using interface specifications | |
Contribution to the system validation of communicating processes by buffers : static analysis for the buffers reduction. | |
ETAPS 2000 | |
Exploiting model structure in CEGAR verification method | |
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures | |
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings | |
Généralisation d'automates alternatifs sur des alphabets infinis | |
Lesekindheiten : Familie und Lesesozialisation im historischen Wandel | |
Logiques du temps arborescent pour la spécification et la preuve de programmes | |
MARTES 2006 at MoDELS 2006 : International Workshop on Modeling and Analysis of Real-Time and Embedded Systems | |
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings | |
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | |
Modular analysis of numerical properties by abstract interpretation. | |
Nutritive knochenveranderungen bei Fruhgeborenen mit einem Geburtsgewicht von unter 1250g | |
Safety verification of neural network based systems using formal methods. | |
SPIN 2004 | |
Systèmes à base de composants : du design à l'implémentation | |
TACAS 2000 | |
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings | |
Verdachts- und ereignisunabhängige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung | |
Vérification de la sûreté des systèmes basés réseaux de neurones s'appuyant sur les méthodes formelles | |
Vérification symbolique de systèmes réactifs à l'aide d'abstractions |