28
Publications
815
Citations
16
H-Index
2006
Active since
Achim D. Brucker is an author at ETH Zurich specializing in engineering, software analysis, and computer science.
Top concepts
EngineeringSoftware AnalysisComputer ScienceFormal VerificationInformation SecuritySoftware EngineeringData SecuritySoftware DesignSystems EngineeringFormal Methods
Publications per year
2006–2024
28
28
Extending access control models with break-glass
Achim D. Brucker, Helmut Petritsch · 2009 · 122 citations
Achim D. Brucker, Isabelle Hang, Gero Lückemeyer et al. · 2012 · 90 citations · Full text
Business Process Integration, Business Process, Engineering +13
Achim D. Brucker, Burkhart Wolff · Repository for Publications and Research Data (ETH Zurich) · 2006 · 67 citations · Full text
On theorem prover-based testing
Achim D. Brucker, Burkhart Wolff · Formal Aspects of Computing · 2012 · 51 citations · Full text
Rows per page
1–5 of 28