Burkhart Wolff

Cited by

	All	Since 2019
Citations	2536	477
h-index	29	11
i10-index	66	14

160

120

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 39 41 58 27 22 38 40 43 58 88 114 120 128 128 114 142 147 133 152 151 103 85 106 100 64 38 57 109

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Achim D. BruckerUniversity of Exeter, Exeter, UKVerified email at exeter.ac.uk
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 SchmaltzCGIVerified email at cgi.com
Tony ClarkAPVC, College of Engineering and Physical Science, Aston University, Birmingham, UKVerified email at aston.ac.uk
Matthias DaumNICTA and UNSWVerified email at nicta.com.au
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Verified email at uct.ac.za
Heinrich HussmannProfessor of Computer Science, Ludwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Verified email at list.lu
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Fatiha ZaïdiUniversité Paris-Sud XIVerified email at lri.fr
Robert ClarisóAssociate professor, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu

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 Kolyang, T Santen, B Wolff International Conference on Theorem Proving in Higher Order Logics, 283-298, 1996	123	1996
HOL-OCL: A Formal Proof Environment for uml/ocl AD Brucker, B Wolff Fundamental Approaches to Software Engineering: 11th International …, 2008	121	2008
A corrected failure-divergence model for CSP in Isabelle/HOL H Tej, B Wolff International Symposium of Formal Methods Europe, 318-337, 1997	113	1997
The hol-ocl book AD Brucker, B Wolff ETH, Department of Computer Science, 2006	112	2006
A proposal for a formal OCL semantics in Isabelle/HOL AD Brucker, B Wolff Theorem Proving in Higher Order Logics: 15th International Conference …, 2002	93	2002
On theorem prover-based testing AD Brucker, B Wolff Formal Aspects of Computing 25 (5), 683-721, 2013	82	2013
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	73	2011
HOL-Z 2.0 AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	59	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, 111-144, 2010	53	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	52	2011
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005	51	2005
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
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	47	2006
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	46	2007
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	42	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, 219-249, 2008	41	2008
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	41	2007
hol-TestGen An Interactive Test-Case Generation Framework AD Brucker, B Wolff Fundamental Approaches to Software Engineering: 12th International …, 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
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	40	1999

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

Cited by

Co-authors