Achim D. Brucker

	2011
37		Achim D. Brucker, Helmut Petritsch: A Framework for Managing and Analyzing Changes of Security Policies. POLICY 2011: 105-112
36		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
35		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
34		Matthias P. Krieger, Achim D. Brucker: Extending OCL Operation Contracts with Objective Functions. ECEASST 44: (2011)
	2010
33		Achim D. Brucker, Dieter Hutter: Information Flow in Disaster Management Systems. ARES 2010: 156-163
32		Achim D. Brucker, Helmut Petritsch: Idea: Efficient Evaluation of Access Control Constraints. ESSoS 2010: 157-165
31		Michael Altenhofen, Achim D. Brucker: Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. FMICS 2010: 17-32
30		Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354
29		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
28		Achim D. Brucker, Helmut Petritsch, Stefan G. Weber: Attribute-Based Encryption with Break-Glass. WISTP 2010: 237-244
27		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)
	2009
26		Mathias Kohler, Achim D. Brucker, Andreas Schaad: ProActive Caching: Generating Caching Heuristics for Business Process Environments. CSE (3) 2009: 297-304
25		Achim D. Brucker, Burkhart Wolff: hol-TestGen. FASE 2009: 417-420
24		Achim D. Brucker, Sebastian Mödersheim: Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust 2009: 248-262
23		Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff: Extending OCL with Null-References. MoDELS Workshops 2009: 261-275
22		Achim D. Brucker, Helmut Petritsch, Andreas Schaad: Delegation Assistance. POLICY 2009: 84-91
21		Achim D. Brucker, Helmut Petritsch: Extending access control models with break-glass. SACMAT 2009: 197-206
20		Achim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)
	2008
19		Achim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462
18		Achim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100
17		Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118
16		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)
15		Achim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)
	2007
14		Achim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168
	2006
13		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320
12		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: An MDA Framework Supporting OCL. ECEASST 5: (2006)
11		Michael Wahler, Jana Koehler, Achim D. Brucker: Model-Driven Constraint Engineering. ECEASST 5: (2006)
10		Achim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5: (2006)
	2005
9		Achim D. Brucker, Burkhart Wolff: Interactive Testing with HOL-TestGen. FATES 2005: 87-102
8		Achim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)
	2004
7		Achim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32
	2003
6		Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: 24-40 (2003)
5		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
4		Achim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114
3		Achim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77
2		Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211
	2001
1		Achim D. Brucker, Burkhart Wolff: Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614

Coauthor Index

1	Michael Altenhofen	[31]
2	David A. Basin	[27]
3	Stephan Braune	[35]
4	Lukas Brügger	[16] [17] [30] [36]
5	Jürgen Doser	[10] [12] [13]
6	Dieter Hutter	[33]
7	Paul Kearney	[30] [36]
8	Gerald Kleser	[35]
9	Jana Koehler (Jana Köhler)	[11] [27]
10	Mathias Kohler	[26]
11	Matthias P. Krieger	[23] [29] [34]
12	Keqin Li	[35]
13	Delphine Longuet	[29]
14	Theo Dirk Meijler	[35]
15	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[24]
16	Heiko Paulheim	[35]
17	Helmut Petritsch	[21] [22] [28] [32] [37]
18	Florian Probst	[35]
19	Frank Rittinger	[5]
20	Andreas Schaad	[22] [26]
21	Michael Wahler	[11] [27]
22	Stefan G. Weber	[28]
23	Burkhart Wolff	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [20] [23] [25] [29] [30] [36]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page