Burkhart Wolff

引用次数

	总计	2020 年至今
引用	2553	386
h 指数	29	10
i10 指数	67	11

160

120

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 39 41 58 27 22 39 39 45 56 88 114 121 132 123 114 142 147 133 157 147 103 88 105 99 63 38 58 107 21

开放获取的出版物数量

查看全部

3 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Achim D. BruckerUniversity of Exeter, Exeter, UK在 exeter.ac.uk 的电子邮件经过验证
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität Bremen在 dfki.de 的电子邮件经过验证
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, Orsay在 lri.fr 的电子邮件经过验证
David BasinProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
Freek VerbeekRadboud University, The Netherlands在 ou.nl 的电子邮件经过验证
Julien SchmaltzCGI在 cgi.com 的电子邮件经过验证
Tony ClarkAPVC, College of Engineering and Physical Science, Aston University, Birmingham, UK在 aston.ac.uk 的电子邮件经过验证
Matthias DaumNICTA and UNSW在 nicta.com.au 的电子邮件经过验证
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)在 uct.ac.za 的电子邮件经过验证
Heinrich HussmannProfessor of Computer Science, Ludwig-Maximilians-Universität München在 ifi.lmu.de 的电子邮件经过验证
Grigore RosuUniversity of Illinois at Urbana Champaign在 illinois.edu 的电子邮件经过验证
Wolfram SchultePrincipal researcher, Microsoft Corporation在 microsoft.com 的电子邮件经过验证
Martin WirsingProfessor of Computer Science, LMU Munich在 lmu.de 的电子邮件经过验证
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University在 pps.univ-paris-diderot.fr 的电子邮件经过验证
Thierry JéronUniv Rennes, Inria, CNRS, IRISA在 inria.fr 的电子邮件经过验证
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)在 list.lu 的电子邮件经过验证
Bernhard RumpeRWTH Aachen University在 se.rwth-aachen.de 的电子邮件经过验证
Fatiha ZaïdiUniversité Paris-Sud XI在 lri.fr 的电子邮件经过验证
Robert ClarisóAssociate professor, Universitat Oberta de Catalunya (UOC)在 uoc.edu 的电子邮件经过验证

关注

Burkhart Wolff

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

在 lri.fr 的电子邮件经过验证

Formal Methods Formal Verification Formal Testing Software-Engineering Modelling


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	114	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 International Workshop on Formal Approaches to Software Testing, 16-32, 2004	51	2004
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
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	47	2007
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
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	42	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者