Burkhart Wolff

Citata da

	Tutte	Dal 2018
Citazioni	2441	473
Indice H	29	12
i10-index	64	15

160

120

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 42 39 51 27 17 35 39 42 58 71 134 120 130 132 112 143 146 132 153 152 107 88 119 93 68 46 59

Accesso pubblico

Visualizza tutto

2 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Achim D. BruckerUniversity of Exeter, Exeter, UKEmail verificata su brucker.ch
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenEmail verificata su dfki.de
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayEmail verificata su lri.fr
David BasinProfessor of Computer Science, ETH ZurichEmail verificata su inf.ethz.ch
Freek VerbeekRadboud University, The NetherlandsEmail verificata su ou.nl
Julien SchmaltzCGIEmail verificata su cgi.com
Tony ClarkAPVC, College of Engineering and Physical Science, Aston University, Birmingham, UKEmail verificata su aston.ac.uk
Matthias DaumNICTA and UNSWEmail verificata su nicta.com.au
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Email verificata su cs.uct.ac.za
Grigore RosuUniversity of Illinois at Urbana ChampaignEmail verificata su illinois.edu
Heinrich HussmannProfessor of Computer Science, Ludwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
Wolfram SchultePrincipal researcher, Microsoft CorporationEmail verificata su microsoft.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail verificata su jpl.nasa.gov
Martin WirsingProfessor of Computer Science, LMU MunichEmail verificata su lmu.de
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityEmail verificata su pps.univ-paris-diderot.fr
Thierry JéronUniv Rennes, Inria, CNRS, IRISAEmail verificata su inria.fr
Bernhard RumpeRWTH Aachen UniversityEmail verificata su se.rwth-aachen.de
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Email verificata su list.lu
Fatiha ZaïdiUniversité Paris-Sud XIEmail verificata su lri.fr
Robert ClarisóAssociate professor, Universitat Oberta de Catalunya (UOC)Email verificata su uoc.edu

Segui

Burkhart Wolff

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

Email verificata su lri.fr

Formal Methods Formal Verification Formal Testing Software-Engineering Modelling


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	125	1996
HOL-OCL: A Formal Proof Environment for uml/ocl AD Brucker, B Wolff Fundamental Approaches to Software Engineering: 11th International …, 2008	119	2008
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	108	1997
A proposal for a formal OCL semantics in Isabelle/HOL AD Brucker, B Wolff Theorem Proving in Higher Order Logics: 15th International Conference …, 2002	95	2002
On theorem prover-based testing AD Brucker, B Wolff Formal Aspects of Computing 25, 683-721, 2013	80	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	72	2011
HOL-Z 2.0 AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	58	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	52	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	51	2011
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005	50	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	48	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	42	2007
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
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 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-OCL: Experiences, Consequences and Design Choices AD Brucker, B Wolff ≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002	39	2002
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	38	2015

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori