Search results for "Achim D. Brucker"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Matthias P. Krieger, Achim D. Brucker	Extending OCL Operation Contracts with Objective Functions.	ECEASST	2011	DBLP BibTeX RDF
1	Achim D. Brucker, Helmut Petritsch	A Framework for Managing and Analyzing Changes of Security Policies.	POLICY	2011	DBLP DOI BibTeX RDF
1	Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li 0002, Theo Dirk Meijler, Heiko Paulheim, Florian Probst	A Service-oriented Architecture for Emergency Management Systems.	Software Engineering (Workshops)	2011	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler	Efficient analysis of pattern-based constraint specifications.	Software and System Modeling	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff	Verified Firewall Policy Transformations for Test Case Generation.	ICST	2010	DBLP DOI BibTeX RDF	model-based testing, security testing
1	Michael Altenhofen, Achim D. Brucker	Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.	FMICS	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff	A Specification-Based Test Case Generation Method for UML/OCL.	MoDELS Workshops	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Helmut Petritsch, Stefan G. Weber	Attribute-Based Encryption with Break-Glass.	WISTP	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Dieter Hutter	Information Flow in Disaster Management Systems.	ARES	2010	DBLP DOI BibTeX RDF	liaison officer, access control, information flow, disaster management
1	Achim D. Brucker, Helmut Petritsch	Idea: Efficient Evaluation of Access Control Constraints.	ESSoS	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	Semantics, calculi, and analysis for object-oriented specifications.	Acta Inf.	2009	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Helmut Petritsch, Andreas Schaad	Delegation Assistance.	POLICY	2009	DBLP DOI BibTeX RDF
1	Mathias Kohler, Achim D. Brucker, Andreas Schaad	ProActive Caching: Generating Caching Heuristics for Business Process Environments.	CSE	2009	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Sebastian Mödersheim	Integrating Automated and Interactive Protocol Verification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	hol-TestGen.	FASE	2009	DBLP DOI BibTeX RDF	symbolic test-case generations, theorem proving, black box testing, white box testing, interactive testing
1	Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff	Extending OCL with Null-References.	MoDELS Workshops	2009	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Helmut Petritsch	Extending access control models with break-glass.	SACMAT	2009	DBLP DOI BibTeX RDF	break-glass, model-driven secuirty, access-control, disaster management
1	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Verifying Test-Hypotheses: An Experiment in Test and Proof.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	An Extensible Encoding of Object-oriented Data Models in hol.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Verification, Theorem proving, Object-oriented data models, hol
1	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
1	Achim D. Brucker, Burkhart Wolff	HOL-OCL: A Formal Proof Environment for UML/OCL.	FASE	2008	DBLP DOI BibTeX RDF	holocl, ocl, Formal Method, Theorem Proving, uml
1	Achim D. Brucker, Burkhart Wolff	Extensible Universes for Object-Oriented Data Models.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
1	Michael Wahler, Jana Koehler, Achim D. Brucker	Model-Driven Constraint Engineering.	ECEASST	2006	DBLP BibTeX RDF
1	Achim D. Brucker, Jürgen Doser, Burkhart Wolff	An MDA Framework Supporting OCL.	ECEASST	2006	DBLP BibTeX RDF
1	Achim D. Brucker, Jürgen Doser, Burkhart Wolff	Semantic Issues of OCL: Past, Present, and Future.	ECEASST	2006	DBLP BibTeX RDF
1	Achim D. Brucker, Jürgen Doser, Burkhart Wolff	A Model Transformation Semantics and Analysis Methodology for SecureUML.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	A verification approach to applied system security.	STTT	2005	DBLP DOI BibTeX RDF	Security, Verification, Refinement, Z, POSIX
1	Achim D. Brucker, Burkhart Wolff	Interactive Testing with HOL-TestGen.	FATES	2005	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
1	Achim D. Brucker, Burkhart Wolff	Symbolic Test Case Generation for Primitive Recursive Functions.	FATES	2004	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Frank Rittinger, Burkhart Wolff	HOL-Z 2.0: A Proof Environment for Z-Specifications.	J. UCS	2003	DBLP BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	A Case Study of a Formalized Security Architecture.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	HOL-OCL: Experiences, Consequences and Design Choices.	UML	2002	DBLP DOI BibTeX RDF	refinement, OCL, formal semantics, constraint languages
1	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
1	Achim D. Brucker, Burkhart Wolff	A Proposal for a Formal OCL Semantics in Isabelle/HOL.	TPHOLs	2002	DBLP DOI BibTeX RDF	shallow embedding, UML, testing, OCL, Isabelle
1	Achim D. Brucker, Burkhart Wolff	Testing Distributed Component Based Systems Using UML/OCL.	GI Jahrestagung	2001	DBLP BibTeX RDF

Publications of "Achim D. Brucker" ( http://dblp.L3S.de/Authors/Achim_D._Brucker )