Wolff, Burkhart
Wolff, Burkhart, 1962-
Burkhart Wolff
VIAF ID: 85392343 ( Personal )
Permalink: http://viaf.org/viaf/85392343
Preferred Forms
- 100 0 _ ‡a Burkhart Wolff
- 100 1 _ ‡a Wolff, Burkhart
- 100 1 _ ‡a Wolff, Burkhart
-
- 100 1 _ ‡a Wolff, Burkhart, ‡d 1962-
-
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B. | |
Certification of a Tool Chain for Deductive Program Verification | |
Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL. | |
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B | |
Diagnosability and diagnosis of technological systems : tool-chain development for diagnosis system design of technological systems. | |
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés | |
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers | |
Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés. | |
Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq. | |
Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq | |
Formalizing Time and Causality in Polychronous Polytimed Models | |
A generic calculus of transformations | |
Infeasible Path Detection : a Formal Model and an Algorithm | |
Model-based Testing of Operating System-Level Security Mechanisms | |
Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. | |
TAP 2011 | |
test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation. | |
Test basé sur la sémantique pour Circus. | |
Test generation and animation based on object-oriented specifications | |
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings | |
Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings | |
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings | |
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers | |
UTP 2012. | |
Vérification de programmes avec pointeurs à l'aide de régions et de permissions |