Burkhart Wolff
TitleCited byYear
A structure preserving encoding of Z in Isabelle/HOL
T Santen, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 283-298, 1996
1151996
The hol-ocl book
AD Brucker, B Wolff
ETH, Department of Computer Science, 2006
1042006
HOL-OCL: A Formal Proof Environment for uml/ocl
AD Brucker, B Wolff
International Conference on Fundamental Approaches to Software Engineering …, 2008
982008
A corrected failure-divergence model for CSP in Isabelle/HOL
H Tej, B Wolff
International Symposium of Formal Methods Europe, 318-337, 1997
971997
A proposal for a formal OCL semantics in Isabelle/HOL
AD Brucker, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 99-114, 2002
852002
On theorem prover-based testing
AD Brucker, B Wolff
Formal Aspects of Computing 25 (5), 683-721, 2013
612013
A specification-based test case generation method for UML/OCL
AD Brucker, MP Krieger, D Longuet, B Wolff
International Conference on Model Driven Engineering Languages and Systems …, 2010
572010
HOL-Z 2.0
AD Brucker, F Rittinger, B Wolff
Journal of Universal Computer Science 9 (2), 152-172, 2003
532003
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 (1-2), 111, 2010
512010
A model transformation semantics and analysis methodology for SecureUML
AD Brucker, J Doser, B Wolff
International Conference on Model Driven Engineering Languages and Systems …, 2006
452006
Symbolic test case generation for primitive recursive functions
AD Brucker, B Wolff
International Workshop on Formal Approaches to Software Testing, 16-32, 2004
442004
Test-sequence generation with hol-testgen with an application to firewall testing
AD Brucker, B Wolff
International Conference on Tests and Proofs, 149-168, 2007
412007
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
402010
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
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
392011
hol-TestGen
AD Brucker, B Wolff
International Conference on Fundamental Approaches to Software Engineering …, 2009
392009
HOL-OCL: Experiences, consequences and design choices
AD Brucker, B Wolff
International Conference on the Unified Modeling Language, 196-211, 2002
372002
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
361999
Correct and user-friendly implementations of transformation systems
T Santen, B Wolff
International Symposium of Formal Methods Europe, 629-648, 1996
361996
Model-based firewall conformance testing
AD Brucker, L Brügger, B Wolff
Testing of Software and Communicating Systems, 103-118, 2008
322008
The system can't perform the operation now. Try again later.
Articles 1–20