Publications

Achim Brucker published over 40 publications in international journals, peer-reviewed conference and workshop proceedings, technical reports, and magazines. His publications reflect his research interests: formal methods (), software engineering (), information security (), and hardware design (). His Erdős Number is at most 4: Achim D. Brucker → David Basin → Matt Kaufmann → Michael Makkai → Paul Erdős. Most of his publications are also listed at: DPLP, PubZone, ACM DL, Google Scholar, CiteseerX, Citeseer, Arnetminer, The Collection of Computer Science Bibliographies, and Microsoft Academic Search.

2010

[49]	Michael Altenhofen and Achim D. Brucker. Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study. In International Workshop on Formal Methods for Industrial Critical Systems (FMICS). Lecture Notes in Computer Science (6371), pages 17-32, Springer-Verlag, 2010. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[48]	Achim D. Brucker and Lukas Brügger and Matthias P. Krieger and Burkhart Wolff. HOL-TestGen 1.5.0 User Guide. ETH Zurich, Technical Report 670, 2010. Categories: , (PDF) (BibTeX) (Endnote) (RIS) ( )
[47]	Achim D. Brucker and Lukas Brügger and Paul Kearney and Burkhart Wolff. Verified Firewall Policy Transformations for Test-Case Generation. In Third International Conference on Software Testing, Verification, and Validation (ICST), pages 345-354, 2010. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1109/ICST.2010.50) ( )
[46]	Achim D. Brucker and Dieter Hutter. Information Flow in Disaster Management Systems. In International Conference on Availability, Reliability and Security (ARES), pages 156-163, IEEE Computer Society, 2010. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1109/ARES.2010.107) ( )
[45]	Achim D. Brucker and Helmut Petritsch. Idea: Efficient Evaluation of Access Control Constraints. In International Symposium on Engineering Secure Software and Systems (ESSoS). Lecture Notes in Computer Science (5965), pages 157-165, Springer-Verlag, 2010. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-642-11747-3_12) ( )
[44]	Achim D. Brucker and Helmut Petritsch and Stefan G. Weber. Attribute-based Encryption with Break-glass. In Workshop In Information Security Theory And Practice (WISTP). Lecture Notes in Computer Science (6033), pages 237-244, Springer-Verlag, 2010. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-642-12368-9_18) ( )
[43]	Mathias Kohler and Achim D. Brucker. Caching Strategies: An Empirical Evaluation. In International Symposium on Empirical Software Engineering and Measurement (ESEM), 2010. International Workshop on Security Measurements and Metrics (MetriSec) Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[42]	Michael Wahler and David Basin and Achim D. Brucker and Jana Koehler. Efficient Analysis of Pattern-Based Constraint Specifications. In Software and Systems Modeling, 9 (2), pages 225-255, 2010. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/s10270-009-0123-6) ( )

2009

[41]	Achim D. Brucker and Matthias P. Krieger and Burkhart Wolff. Extending OCL with Null-References. In Models in Software Engineering. Lecture Notes in Computer Science (6002), pages 261-275, Springer-Verlag, 2009. Selected best papers from all satellite events of the MoDELS 2009 conference. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-642-12261-3_25) ( )
[40]	Achim D. Brucker and Sebastian A. Mödersheim. Integrating Automated and Interactive Protocol Verification. In Workshop on Formal Aspects in Security and Trust (FAST 2009). Lecture Notes in Computer Science (5983), pages 248-262, Springer-Verlag, 2009. An extended version of this paper is available as IBM Research Technical Report, RZ3750. Categories: , (abstract) (PDF) (Extended Version) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-642-12459-4_18) ( )
[39]	Achim D. Brucker and Sebastian A. Mödersheim. Integrating Automated and Interactive Protocol Verification (Extended Version). IBM Research Zurich, Technical Report RZ3750, 2009. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[38]	Achim D. Brucker and Helmut Petritsch. Extending Access Control Models with Break-glass. In ACM symposium on access control models and technologies (SACMAT), pages 197-206, ACM Press, 2009. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1145/1542207.1542239) ( )
[37]	Achim D. Brucker and Helmut Petritsch and Andreas Schaad. Delegation Assistance. In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY)., pages 84-91, IEEE Computer Society, 2009. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1109/POLICY.2009.35) ( )
[36]	Achim D. Brucker and Andreas Schaad and Christian Wolter. Prozessmodellierung: Einbinden von Sicherheitsregeln in Geschäftsprozesse. In iX, 3, pages 118-121, 2009. Categories: , (BibTeX) (Endnote) (RIS) ( )
[35]	Achim D. Brucker and Burkhart Wolff. Semantics, Calculi, and Analysis for Object-oriented Specifications. In Acta Informatica, 46 (4), pages 255-284, 2009. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/s00236-009-0093-8) ( )
[34]	Achim D. Brucker and Burkhart Wolff. HOL-TestGen: An Interactive Test-case Generation Framework. In Fundamental Approaches to Software Engineering (FASE09). Lecture Notes in Computer Science (5503), pages 417-420, Springer-Verlag, 2009. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-642-00593-0_28) ( )
[33]	Mathias Kohler and Achim D. Brucker and Andreas Schaad. ProActive Caching: Generating Caching Heuristics for Business Process Environments. In International Conference on Computational Science and Engineering (CSE), pages 207-304, IEEE Computer Society, 2009. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1109/CSE.2009.177) ( )

2008

[32]	Achim D. Brucker and Lukas Brügger and Burkhart Wolff. Verifying Test-Hypotheses: An Experiment in Test and Proof. In Electronic Notes in Theoretical Computer Science, 220 (1), pages 15-27, 2008. Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008) Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1016/j.entcs.2008.11.003) ( )
[31]	Achim D. Brucker and Lukas Brügger and Burkhart Wolff. Model-based Firewall Conformance Testing. In Testcom/FATES 2008. Lecture Notes in Computer Science (5047), pages 103-118, Springer-Verlag, 2008. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-540-68524-1_9) ( )
[30]	Achim D. Brucker and Burkhart Wolff. HOL-OCL - A Formal Proof Environment for UML/OCL. In Fundamental Approaches to Software Engineering (FASE08). Lecture Notes in Computer Science (4961), pages 97-100, Springer-Verlag, 2008. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-540-78743-3_8) ( )
[29]	Achim D. Brucker and Burkhart Wolff. Extensible Universes for Object-oriented Data Models. In ECOOP 2008 - Object-Oriented Programming. Lecture Notes in Computer Science (5142), pages 438-462, Springer-Verlag, 2008. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-540-70592-5_19) ( )
[28]	Achim D. Brucker and Burkhart Wolff. An Extensible Encoding of Object-oriented Data Models in HOL. In Journal of Automated Reasoning, 41, pages 219-249, 2008. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/s10817-008-9108-3) ( )

2007

[27]	Achim D. Brucker. An Interactive Proof Environment for Object-oriented Specifications. ETH Zurich,2007. ETH Dissertation No. 17097. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[26]	Achim D. Brucker and Jürgen Doser. Metamodel-based UML Notations for Domain-specific Languages. In 4th International Workshop on Software Language Engineering (ATEM 2007), 2007. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[25]	Achim D. Brucker and Burkhart Wolff. Test-Sequence Generation with HOL-TestGen - With an Application to Firewall Testing. In TAP 2007: Tests And Proofs. Lecture Notes in Computer Science (4454), pages 149-168, Springer-Verlag, 2007. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/978-3-540-73770-4_9) ( )

2006

[24]	Achim D. Brucker and Jürgen Doser and Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. In MoDELS 2006: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science (4199), pages 306-320, Springer-Verlag, 2006. An extended version of this paper is available as ETH Technical Report, no. 524. Categories: , , (abstract) (PDF) (Extended Version) (BibTeX) (Endnote) (RIS) (doi:10.1007/11880240_22) ( )
[23]	Achim D. Brucker and Jürgen Doser and Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. ETH Zurich, Technical Report 524, 2006. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[22]	Achim D. Brucker and Jürgen Doser and Burkhart Wolff. An MDA Framework Supporting OCL. In Electronic Communications of the EASST, 5, 2006. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (ECEASST) ( )
[21]	Achim D. Brucker and Jürgen Doser and Burkhart Wolff. Semantic Issues of OCL: Past, Present, and Future. In Electronic Communications of the EASST, 5, 2006. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (ECEASST) ( )
[20]	Achim D. Brucker and Burkhart Wolff. A Package for Extensible Object-Oriented Data Models with an Application to IMP++. In International Workshop on Software Verification and Validation (SVV 2006). Computing Research Repository (CoRR), 2006. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[19]	Achim D. Brucker and Burkhart Wolff. The HOL-OCL Book. ETH Zurich, Technical Report 525, 2006. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[18]	Michael Wahler and Jana Koehler and Achim D. Brucker. Model-Driven Constraint Engineering. In Electronic Communications of the EASST, 5, 2006. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (ECEASST) ( )

2005

[17]	Achim D. Brucker and Burkhart Wolff. A Verification Approach for Applied System Security. In International Journal on Software Tools for Technology Transfer (STTT), 7 (3), pages 233-247, 2005. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/s10009-004-0176-3) ( )
[16]	Achim D. Brucker and Burkhart Wolff. HOL-TestGen 1.0.0 User Guide. ETH Zurich, Technical Report 482, 2005. Categories: , (PDF) (BibTeX) (Endnote) (RIS) ( )
[15]	Achim D. Brucker and Burkhart Wolff. Interactive Testing using HOL-TestGen. In Formal Approaches to Testing of Software. Lecture Notes in Computer Science (3997), Springer-Verlag, 2005. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/11759744_7) ( )

2004

[14]	Achim D. Brucker and Burkhart Wolff. Symbolic Test Case Generation for Primitive Recursive Functions. ETH Zurich, Technical Report 449, 2004. (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[13]	Achim D. Brucker and Burkhart Wolff. Symbolic Test Case Generation for Primitive Recursive Functions. In Formal Approaches to Testing of Software. Lecture Notes in Computer Science (3395), pages 16-32, Springer-Verlag, 2004. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/b106767) ( )

2003

[12]	Achim D. Brucker and Frank Rittinger and Burkhart Wolff. HOL-Z 2.0: A Proof Environment for Z-Specifications. In Journal of Universal Computer Science, 9 (2), pages 152-172, 2003. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (J.UCS) ( )
[11]	Achim D. Brucker and Burkhart Wolff. A Case Study of a Formalized Security Architecture. In Electronic Notes in Theoretical Computer Science, 80, pages 24-40, 2003. Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03) Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1016/S1571-0661(04)80807-7) ( )
[10]	Achim D. Brucker and Burkhart Wolff. Using Theory Morphisms for Implementing Formal Methods Tools. In Types for Proof and Programs. Lecture Notes in Computer Science (2646), pages 59-77, Springer-Verlag, 2003. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/3-540-39185-1_4) ( )

2002

[9]	Achim D. Brucker and Stefan Friedrich and Frank Rittinger and Burkhart Wolff. HOL-Z 2.0: A Proof Environment for Z-Specifications. In FM-TOOLS 2002, pages 33-38, 2002. Available as Technical Report, University Augsburg, number 2002-11. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[8]	Achim D. Brucker and Frank Rittinger and Burkhart Wolff. The CVS-Server Case Study: A Formalized Security Architecture. In FM-TOOLS 2002, pages 47-52, 2002. Available as Technical Report, University Augsburg, number 2002-11. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[7]	Achim D. Brucker and Frank Rittinger and Burkhart Wolff. A CVS-Server Security Architecture - Concepts and Formal Analysis. Albert-Ludwigs-Universität Freiburg, Technical Report 182, 2002. Categories: , , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[6]	Achim D. Brucker and Burkhart Wolff. HOL-OCL: Experiences, Consequences and Design Choices. In UML 2002: Model Engineering, Concepts and Tools. Lecture Notes in Computer Science (2460), pages 196-211, Springer-Verlag, 2002. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) (doi:10.1007/3-540-45800-X_17) ( )
[5]	Achim D. Brucker and Burkhart Wolff. A Proposal for a Formal OCL Semantics in Isabelle/HOL. In Theorem Proving in Higher Order Logics (TPHOLs 2003). Lecture Notes in Computer Science (2410), pages 99-114, Springer-Verlag, 2002. Categories: , (abstract) (PDF) (Extended Version) (BibTeX) (Endnote) (RIS) (doi:10.1007/3-540-45685-6_8) ( )
[4]	Achim D. Brucker and Burkhart Wolff. A Note on Design Decisions of a Formalization of the OCL. Albert-Ludwigs-Universität Freiburg, Technical Report 168, 2002. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )

2001

[3]	Achim D. Brucker and Burkhart Wolff. Checking OCL Constraints in Distributed Systems Using J2EE/EJB. Albert-Ludwigs-Universität Freiburg, Technical Report 157, 2001. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )
[2]	Achim D. Brucker and Burkhart Wolff. Testing Distributed Component Based Systems Using UML/OCL. In Informatik 2001.Tagungsband der GI/ÖCG Jahrestagung, 1 (157), pages 608-614, 2001. Categories: (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )

2000

[1]	Achim D. Brucker. Verifikation von Dividierern mit Word-Level-Decision-Diagrams. Diplomarbeit, Albert-Ludwigs-Universität Freiburg, 2000. Categories: , (abstract) (PDF) (BibTeX) (Endnote) (RIS) ( )