Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Achim D. Brucker
2010 – today
- 2013
[c32]Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff: Test Program Generation for a Microprocessor - A Case-Study. TAP 2013: 76-95- 2012
- [c31]Achim D. Brucker, Isabelle Hang: Secure and Compliant Implementation of Business Process-Driven Systems. Business Process Management Workshops 2012: 662-674
- [c30]Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel, Andreas Schaad: Monitoring Security and Safety of Assets in Supply Chains. Future Security 2012: 9-20
- [c29]Achim D. Brucker, Burkhart Wolff: Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL and Textual Modelling 2012: 19-24
- [c28]Ganna Monakova, Achim D. Brucker, Andreas Schaad: Security and safety of assets in business processes. SAC 2012: 1667-1673
- [c27]Achim D. Brucker, Isabelle Hang, Gero Lückemeyer, Raj Ruparel: SecureBPMN: modeling and enforcing access control requirements in business processes. SACMAT 2012: 123-126
- [e1]Achim D. Brucker, Jacques Julliand (Eds.): Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Lecture Notes in Computer Science 7305, Springer 2012, ISBN 978-3-642-30472-9
- 2011
- [j11]Matthias P. Krieger, Achim D. Brucker: Extending OCL Operation Contracts with Objective Functions. ECEASST 44 (2011)
- [c26]Achim D. Brucker, Helmut Petritsch: A Framework for Managing and Analyzing Changes of Security Policies. POLICY 2011: 105-112
- [c25]Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: An approach to modular and testable security models of real-world health-care applications. SACMAT 2011: 133-142
- [c24]Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li, Theo Dirk Meijler, Heiko Paulheim, Florian Probst: A Service-oriented Architecture for Emergency Management Systems. Software Engineering (Workshops) 2011: 225-232
- 2010
- [j10]Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler: Efficient analysis of pattern-based constraint specifications. Software and System Modeling 9(2): 225-255 (2010)
- [c23]Achim D. Brucker, Dieter Hutter: Information Flow in Disaster Management Systems. ARES 2010: 156-163
- [c22]Achim D. Brucker, Helmut Petritsch: Idea: Efficient Evaluation of Access Control Constraints. ESSoS 2010: 157-165
- [c21]Michael Altenhofen, Achim D. Brucker: Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. FMICS 2010: 17-32
- [c20]Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354
- [c19]Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff: A Specification-Based Test Case Generation Method for UML/OCL. MoDELS Workshops 2010: 334-348
- [c18]Achim D. Brucker, Helmut Petritsch, Stefan G. Weber: Attribute-Based Encryption with Break-Glass. WISTP 2010: 237-244
2000 – 2009
- 2009
- [j9]Achim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)
- [c17]Mathias Kohler, Achim D. Brucker, Andreas Schaad: ProActive Caching: Generating Caching Heuristics for Business Process Environments. CSE (3) 2009: 297-304
- [c16]
- [c15]Achim D. Brucker, Sebastian Mödersheim: Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust 2009: 248-262
- [c14]Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff: Extending OCL with Null-References. MoDELS Workshops 2009: 261-275
- [c13]
- [c12]Achim D. Brucker, Helmut Petritsch: Extending access control models with break-glass. SACMAT 2009: 197-206
- 2008
- [j8]Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Verifying Test-Hypotheses: An Experiment in Test and Proof. Electr. Notes Theor. Comput. Sci. 220(1): 15-27 (2008)
- [j7]Achim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)
- [c11]Achim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462
- [c10]Achim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100
- [c9]Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118
- 2007
- [c8]Achim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168
- 2006
- [j6]
- [j5]Achim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5 (2006)
- [j4]Michael Wahler, Jana Koehler, Achim D. Brucker: Model-Driven Constraint Engineering. ECEASST 5 (2006)
- [c7]Achim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320
- 2005
- [j3]Achim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)
- [c6]
- 2004
- [c5]Achim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32
- 2003
- [j2]Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: 24-40 (2003)
- [j1]Achim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)
- 2002
- [c4]Achim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114
- [c3]Achim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77
- [c2]Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211
- 2001
- [c1]Achim D. Brucker, Burkhart Wolff: Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:35 CEST by the dblp team