Folgen
Burkhart Wolff
Burkhart Wolff
Professor für Informatik, Universität Paris-Sud
Bestätigte E-Mail-Adresse bei lri.fr
Titel
Zitiert von
Zitiert von
Jahr
A structure preserving encoding of Z in Isabelle/HOL
Kolyang, T Santen, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 283-298, 1996
1231996
HOL-OCL: A Formal Proof Environment for uml/ocl
AD Brucker, B Wolff
Fundamental Approaches to Software Engineering: 11th International …, 2008
1212008
The hol-ocl book
AD Brucker, B Wolff
ETH, Department of Computer Science, 2006
1122006
A corrected failure-divergence model for CSP in Isabelle/HOL
H Tej, B Wolff
International Symposium of Formal Methods Europe, 318-337, 1997
1121997
A proposal for a formal OCL semantics in Isabelle/HOL
AD Brucker, B Wolff
Theorem Proving in Higher Order Logics: 15th International Conference …, 2002
932002
On theorem prover-based testing
AD Brucker, B Wolff
Formal Aspects of Computing 25 (5), 683-721, 2013
822013
A specification-based test case generation method for UML/OCL
AD Brucker, MP Krieger, D Longuet, B Wolff
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011
732011
HOL-Z 2.0
AD Brucker, F Rittinger, B Wolff
Journal of Universal Computer Science 9 (2), 152-172, 2003
592003
HOL-Boogie—An interactive prover-backend for the Verifying C Compiler
S Böhme, M Moskal, W Schulte, B Wolff
Journal of Automated Reasoning 44, 111-144, 2010
532010
An approach to modular and testable security models of real-world health-care applications
AD Brucker, L Brügger, P Kearney, B Wolff
Proceedings of the 16th ACM symposium on Access control models and …, 2011
522011
Symbolic test case generation for primitive recursive functions
AD Brucker, B Wolff
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
512005
Verified firewall policy transformations for test case generation
AD Brucker, L Brügger, P Kearney, B Wolff
2010 Third International Conference on Software Testing, Verification and …, 2010
492010
A model transformation semantics and analysis methodology for SecureUML
AD Brucker, J Doser, B Wolff
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
472006
Building formal method tools in the Isabelle/Isar framework
M Wenzel, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 352-367, 2007
462007
Formal API specification of the PikeOS separation kernel
F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ...
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
422015
An Extensible Encoding of Object-oriented Data Models in hol with an Application to imp++
AD Brucker, B Wolff
Journal of Automated Reasoning 41, 219-249, 2008
412008
Test-sequence generation with hol-testgen with an application to firewall testing
AD Brucker, B Wolff
Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007
412007
hol-TestGen An Interactive Test-Case Generation Framework
AD Brucker, B Wolff
Fundamental Approaches to Software Engineering: 12th International …, 2009
402009
HOL-Boogie—an interactive prover for the Boogie program-verifier
S Böhme, KRM Leino, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 150-166, 2008
402008
Functional design and implementation of graphical user interfaces for theorem provers
C Lüth, B Wolff
Journal of Functional Programming 9 (2), 167-189, 1999
401999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20