Burkhart Wolff

Cited by

	All	Since 2017
Citations	2331	486
h-index	29	12
i10-index	58	18

160

120

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120227 6 45 31 50 34 20 35 36 43 56 63 129 121 136 136 106 148 142 133 152 146 103 86 99 90 86 21

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
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 TassiProfessor of Physics, Physics Department, University of Calabria, Italy & INFN CosenzaVerified email at fis.unical.it
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Verified email at icrea.cat
Fatiha ZaïdiUniversité Paris-Sud XIVerified email at lri.fr

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	122	1996
HOL-OCL: A Formal Proof Environment for uml/ocl AD Brucker, B Wolff International conference on fundamental approaches to software engineering …, 2008	116	2008
The hol-ocl book AD Brucker, B Wolff ETH, Department of Computer Science, 2006	116	2006
A corrected failure-divergence model for CSP in Isabelle/HOL H Tej, B Wolff International Symposium of Formal Methods Europe, 318-337, 1997	106	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	78	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	68	2010
HOL-Z 2.0 AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	56	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), 111-144, 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	49	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	48	2010
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	47	2011
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff International Workshop on Formal Approaches to Software Testing, 16-32, 2004	46	2004
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	40	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	40	2008
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	38	2007
Semantics, calculi, and analysis for object-oriented specifications AD Brucker, B Wolff Acta Informatica 46 (4), 255-284, 2009	37	2009
An extensible encoding of object-oriented data models in HOL AD Brucker, B Wolff Journal of Automated Reasoning 41 (3), 219-249, 2008	37	2008
HOL-OCL: Experiences, consequences and design choices AD Brucker, B Wolff International Conference on the Unified Modeling Language, 196-211, 2002	37	2002

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

Follow this author

Cited by

Co-authors