| Isabelle/PIDE as platform for educational tools M Wenzel, B Wolff arXiv preprint arXiv:1202.4835, 2012 | 276 | 2012 |
| HOL-OCL: A Formal Proof Environment for uml/ocl AD Brucker, B Wolff International conference on fundamental approaches to software engineering …, 2008 | 124 | 2008 |
| 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 | 120 | 1996 |
| The hol-ocl book AD Brucker, B Wolff ETH, Department of Computer Science, 2006 | 118 | 2006 |
| A corrected failure-divergence model for CSP in Isabelle/HOL H Tej, B Wolff International Symposium of Formal Methods Europe, 318-337, 1997 | 115 | 1997 |
| 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 | 92 | 2002 |
| On theorem prover-based testing AD Brucker, B Wolff Formal Aspects of Computing 25 (5), 683-721, 2013 | 81 | 2013 |
| 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 | 75 | 2010 |
| Hol-Z 2.0 AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003 | 59 | 2003 |
| 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 | 53 | 2011 |
| 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), 111, 2010 | 53 | 2010 |
| Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff International Workshop on Formal Approaches to Software Testing, 16-32, 2004 | 53 | 2004 |
| 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 | 50 | 2007 |
| 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 | 50 | 2006 |
| 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 | 49 | 2010 |
| Formal API specification of the PikeOS separation kernel F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ... NASA formal methods symposium, 375-389, 2015 | 44 | 2015 |
| An Extensible Encoding of Object-oriented Data Models in hol with an Application to imp++ AD Brucker, B Wolff Journal of Automated Reasoning 41 (3), 219-249, 2008 | 44 | 2008 |
| hol-TestGen An Interactive Test-Case Generation Framework AD Brucker, B Wolff International Conference on Fundamental Approaches to Software Engineering …, 2009 | 43 | 2009 |
| 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 | 43 | 2008 |
| 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 | 41 | 2007 |
Achim D. BruckerUniversity of Exeter, Exeter, UKVerified email at exeter.ac.uk
