Achim D. Brucker

Cited by

	All	Since 2018
Citations	2974	1167
h-index	31	17
i10-index	71	36

260

130

195

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 21 23 31 51 94 98 85 117 107 149 194 187 178 206 181 206 243 215 205 176 122

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Burkhart WolffProfessor für Informatik, Universität Paris-SudVerified email at lri.fr
Helmut Petritschiteratec GmbHVerified email at petritsch.me
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityVerified email at imm.dtu.dk
Gogolla, MartinProfessor für Informatik, University of BremenVerified email at informatik.uni-bremen.de
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Stanislav DashevskyiForescout TechnologiesVerified email at forescout.com
Paul KearneyProfessor of Cybersecurity, Birmingham City UniversityVerified email at bcu.ac.uk
Lotfi ben OthmaneUniversity of North TexasVerified email at unt.edu
Ruth BREUProfessor of Computer Science, University of Innsbruck, AustriaVerified email at uibk.ac.at
Matthias BüchlerPh.D student in Computer Science, Technical University Munich (Technische Universität München)Verified email at cs.tum.edu
Michael FeldererGerman Aerospace Center (DLR); University of CologneVerified email at dlr.de
Martin JohnsProfessor of Computer Science, TU BraunschweigVerified email at tu-braunschweig.de
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Michael WahlerZurich University of Applied Sciences (ZHAW)Verified email at zhaw.ch
Jana KoehlerProfessor of Computer Science, Lucerne University of Applied Sciences and ArtsVerified email at hslu.ch
Madjid MerabtiUniversity of Sharjah, UAEVerified email at sharjah.ac.ae
Ramsay G. TaylorUniversity of SheffieldVerified email at sheffield.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Michael FosterUniversity Of SheffieldVerified email at sheffield.ac.uk

Achim D. Brucker

University of Exeter, Exeter, UK

Verified email at brucker.ch - Homepage

Security Formal Methods Verification & Testing Software Engineering Theorem Proving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Security testing: A survey M Felderer, M Büchler, M Johns, AD Brucker, R Breu, A Pretschner Advances in Computers 101, 1-51, 2016	212	2016
Extending access control models with break-glass AD Brucker, H Petritsch Proceedings of the 14th ACM symposium on Access control models and …, 2009	185	2009
SecureBPMN: Modeling and enforcing access control requirements in business processes AD Brucker, I Hang, G Lückemeyer, R Ruparel Proceedings of the 17th ACM symposium on Access Control Models and …, 2012	130	2012
HOL-OCL: a formal proof environment for UML/OCL AD Brucker, B Wolff Proceedings of the Theory and practice of software, 11th international …, 2008	120	2008
The HOL-OCL Book AD Brucker, B Wolff Swiss Federal Institute of Technology (ETH) 525, 2006	118	2006
A proposal for a formal OCL semantics in Isabelle/HOL AD Brucker, B Wolff Theorem Proving in Higher Order Logics, 147-175, 2002	95	2002
On Theorem Prover-based Testing AD Brucker, B Wolff Formal Aspects of Computing 25 (5), 683-721, 2013	79	2013
A specification-based test case generation method for UML/OCL AD Brucker, M Krieger, D Longuet, B Wolff Models in Software Engineering, 334-348, 2011	72	2011
HOL-Z 2.0: A proof environment for Z-specifications AD Brucker, F Rittinger, B Wolff Journal of Universal Computer Science 9 (2), 152-172, 2003	58	2003
Attribute-based encryption with break-glass AD Brucker, H Petritsch, SG Weber Information Security Theory and Practices. Security and Privacy of Pervasive …, 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	51	2011
Metamodel-based UML notations for domain-specific languages AD Brucker, J Doser 4th International Workshop on Software Language Engineering (ATEM 2007), 2007	51	2007
Symbolic test case generation for primitive recursive functions AD Brucker, B Wolff Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005	49	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, 306-320, 2006	47	2006
On the static analysis of hybrid mobile apps AD Brucker, M Herzberg Symposium on Engineering Secure Software and Systems, 72-88, 2016	46*	2016
Test-sequence generation with HOL-TestGen with an application to firewall testing AD Brucker, B Wolff Proceedings of the 1st international conference on Tests and proofs, 149-168, 2007	43	2007
An extensible encoding of object-oriented data models in HOL AD Brucker, B Wolff Journal of Automated Reasoning 41 (3), 219-249, 2008	41	2008
HOL-TestGen: An Interactive Test-case Generation Framework. AD Brucker, B Wolff Fundamental Approaches to Software Engineering, 417-420, 2009	40	2009
An interactive proof environment for object-oriented specifications AD Brucker Dissertation Abstracts International 68 (3), 2007	40	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

Follow

Cited by

Co-authors