Burkhart Wolff

Cited by

	All	Since 2016
Citations	2214	540
h-index	28	12
i10-index	58	19

160

120

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020217 6 44 32 47 34 20 39 33 42 61 64 121 121 134 136 108 150 136 147 138 146 97 92 104 97 4

Co-authors

Achim D. BruckerUniversity of Exeter, Exeter, UKVerified email at brucker.ch
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenVerified email at dfki.de
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayVerified email at lri.fr
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Freek VerbeekRadboud University, The NetherlandsVerified email at ou.nl
Julien SchmaltzICT GroupVerified email at ict.nl
Matthias DaumNICTA and UNSWVerified email at nicta.com.au
Tony ClarkDeputy Dean, School of Engineering and Applied Science, Aston University, Birmingham, UKVerified email at aston.ac.uk
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Verified email at cs.uct.ac.za
Heinrich HussmannProfessor of Computer Science, Ludwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Enrico TassiUniversita' della Calabria and INFNVerified email at fis.unical.it
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Verified email at icrea.cat

Burkhart Wolff

Professor für Informatik, Universität Paris-Sud

Verified email at lri.fr

Formal Methods Formal Verification Formal Testing Software-Engineering Modelling


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	115	1996
The hol-ocl book AD Brucker, B Wolff ETH, Department of Computer Science, 2006	109	2006
HOL-OCL: A Formal Proof Environment for uml/ocl AD Brucker, B Wolff International Conference on Fundamental Approaches to Software Engineering …, 2008	106	2008
A corrected failure-divergence model for CSP in Isabelle/HOL H Tej, B Wolff International Symposium of Formal Methods Europe, 318-337, 1997	99	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	85	2002
On theorem prover-based testing AD Brucker, B Wolff Formal Aspects of Computing 25 (5), 683-721, 2013	75	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	62	2010
HOL-Z 2.0 AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	55	2003
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	52	2010
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	45	2006
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff International Workshop on Formal Approaches to Software Testing, 16-32, 2004	45	2004
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	42	2011
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	42	2010
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	41	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
hol-TestGen AD Brucker, B Wolff International Conference on Fundamental Approaches to Software Engineering …, 2009	39	2009
HOL-OCL: Experiences, consequences and design choices AD Brucker, B Wolff International Conference on the Unified Modeling Language, 196-211, 2002	38	2002
An Extensible Encoding of Object-oriented Data Models in hol AD Brucker, B Wolff Journal of Automated Reasoning 41 (3-4), 219-249, 2008	36	2008
Semantics, calculi, and analysis for object-oriented specifications AD Brucker, B Wolff Acta Informatica 46 (4), 255-284, 2009	35	2009
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	35	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors