Achim D. Brucker

Cited by

	All	Since 2020
Citations	3243	1010
h-index	32	15
i10-index	81	31

240

120

180

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202521 19 24 31 66 79 99 86 112 106 152 194 187 177 208 178 201 226 219 199 182 158 235 15

Public access

View all

16 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
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Diego MarmsolerTechnische Universität MünchenVerified email at tum.de
Stanislav DashevskyiForescout TechnologiesVerified email at forescout.com
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
Paul KearneyProfessor of Cybersecurity, Birmingham City UniversityVerified email at bcu.ac.uk
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
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 exeter.ac.uk - 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	259	2016
Extending access control models with break-glass AD Brucker, H Petritsch Proceedings of the 14th ACM symposium on Access control models and …, 2009	188	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	138	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	122	2008
The HOL-OCL Book AD Brucker, B Wolff Swiss Federal Institute of Technology (ETH) 525, 2006	112	2006
A proposal for a formal OCL semantics in Isabelle/HOL AD Brucker, B Wolff Theorem Proving in Higher Order Logics, 147-175, 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, M Krieger, D Longuet, B Wolff Models in Software Engineering, 334-348, 2011	73	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	59	2003
On the static analysis of hybrid mobile apps AD Brucker, M Herzberg Symposium on Engineering Secure Software and Systems, 72-88, 2016	55*	2016
Metamodel-based UML notations for domain-specific languages AD Brucker, J Doser 4th International Workshop on Software Language Engineering (ATEM 2007), 2007	54	2007
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	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, 306-320, 2006	47	2006
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
A screening test for disclosed vulnerabilities in foss components S Dashevskyi, AD Brucker, F Massacci IEEE Transactions on Software Engineering 45 (10), 945-966, 2018	42	2018
An extensible encoding of object-oriented data models in HOL AD Brucker, B Wolff Journal of Automated Reasoning 41 (3), 219-249, 2008	42	2008
Time for addressing software security issues: Prediction models and impacting factors L Ben Othmane, G Chehrazi, E Bodden, P Tsalovski, AD Brucker Data Science and Engineering 2, 107-124, 2017	40	2017

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