Diese Seite
[Fachzeitschriften]
[Elektronische Fachzeitschriften]
[Konferenzen]
[Workshop]
[Eingeladene Beiträge]
[Herausgebertätigkeiten]
[Technische Berichte]
[Abschlussarbeiten]
[Zeitschriften]
Koautoren
Michael Altenhofen
David A. Basin
Michele Bezzi
Stephan Braune
Luca Compagna
Lukas Brügger
Stephen Dawson
Jürgen Doser
Matthias Flügge
Pierre Guilleminot
Isabelle Hang
Edzard Höfig
Dieter Hutter
Paul Kearney
Gerald Kleser
Jana Koehler
Mathias Kohler
Matthias P. Krieger
Keqin Li
Delphine Longuet
Gero Lückemeyer
Florian Marienfeld
Theo Dirk Meijler
Sebastian Mödersheim
Ganna Monakova
Jonas Pattberg
Heiko Paulheim
Helmut Petritsch
Florian Probst
Frank Rittinger
Philip Robinson
Raj Ruparel
Andreas Schaad
Gabriel Serme
Wolfgang Theilmann
Michael Wahler
Stefan G. Weber
Burkhart Wolff
Christian Wolter
Nach Publikationsart gruppierte Publikationsliste
Achim Brucker hat über 50 Artikel in internationalen Zeitschriften, begutachten Konferenz- und Workshopbeiträge, technische Berichte und Magazinen. Seine Publikationen spiegeln seine Forschungsinteressen in den Bereichen formale Methoden (), Softwaretechnik (), Informationssicherheit () und Hardware-Design () wieder. Seine Erdős Nummer is maximal 4: Achim D. Brucker → David Basin → Matt Kaufmann → Michael Makkai → Paul Erdős. Die meisten seiner Veröffentlichungen sind auch gelistet bei: DBLP, PubZone, ACM DL, Google Scholar, CiteSeer, Arnetminer, The Collection of Computer Science Bibliographies und Microsoft Academic Search.
Diese Publikationsliste ist nach der Publicationsart gruppiert. Zudem kann die Liste nach Erscheinungsjahr sortiert oder nach Publikationsthema gruppiert angezeigt werden.
Artikel in Fachzeitschriften
| [5] |
Achim D. Brucker und Burkhart Wolff.
On Theorem Prover-based Testing.
In Formal Aspects of Computing, 2012. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s00165-012-0222-y) (   ) |
| [4] |
Michael Wahler, David Basin, Achim D. Brucker und Jana Koehler.
Efficient Analysis of Pattern-Based Constraint Specifications.
In Software and Systems Modeling, 9 (2), pages 225-255, 2010. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s10270-009-0123-6) ( ) |
| [3] |
Achim D. Brucker und Burkhart Wolff.
Semantics, Calculi, and Analysis for Object-oriented Specifications.
In Acta Informatica, 46 (4), pages 255-284, 2009. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s00236-009-0093-8) ( ) |
| [2] |
Achim D. Brucker und Burkhart Wolff.
An Extensible Encoding of Object-oriented Data Models in HOL.
In Journal of Automated Reasoning, 41, pages 219-249, 2008. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s10817-008-9108-3) ( ) |
| [1] |
Achim D. Brucker und Burkhart Wolff.
A Verification Approach for Applied System Security.
In International Journal on Software Tools for Technology (STTT), 7 (3), pages 233-247, 2005. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/s10009-004-0176-3) ( ) |
Artikel in elektronischen Fachzeitschriften
| [5] |
Matthias P. Krieger und Achim D. Brucker.
Extending OCL Operation Contracts with Objective Functions.
In Electronic Communications of the EASST, 44, 2011. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (ECEASST) ( ) |
| [4] |
Achim D. Brucker, Jürgen Doser und Burkhart Wolff.
An MDA Framework Supporting OCL.
In Electronic Communications of the EASST, 5, 2006. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (ECEASST) ( ) |
| [3] |
Achim D. Brucker, Jürgen Doser und Burkhart Wolff.
Semantic Issues of OCL: Past, Present, and Future.
In Electronic Communications of the EASST, 5, 2006. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (ECEASST) ( ) |
| [2] |
Michael Wahler, Jana Koehler und Achim D. Brucker.
Model-Driven Constraint Engineering.
In Electronic Communications of the EASST, 5, 2006. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (ECEASST) ( ) |
| [1] |
Achim D. Brucker, Frank Rittinger und Burkhart Wolff.
HOL-Z 2.0: A Proof Environment for Z-Specifications.
In Journal of Universal Computer Science, 9 (2), pages 152-172, 2003. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.3217/jucs-009-02-0152) (J.UCS) ( ) |
Beiträge in Konferenzbänden
| [22] |
Achim D. Brucker, Lukas Brügger und Burkhart Wolff.
HOL-TestGen/FW: An Environment for Specification-based Firewall Conformance Testing.
In International Colloquium on Theoretical Aspects of Computing (ICTAC). Lecture Notes in Computer Science, Springer-Verlag, 2013. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [21] |
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi und Burkhart Wolff.
Test Program Generation for a Microprocessor: A Case-Study.
In TAP 2013: Tests And Proofs. Lecture Notes in Computer Science (7942), pages 76-95, Springer-Verlag, 2013. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [20] |
Luca Compagna, Pierre Guilleminot und Achim D. Brucker.
Business Process Compliance via Security Validation as a Service.
In Testing Tools Track of International Conference on Software Testing, Verification, and Validation (Tools@ICST)., IEEE Computer Society, 2013. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [19] |
Achim D. Brucker, Isabelle Hang, Gero Lückemeyer und Raj Ruparel.
SecureBPMN: Modeling and Enforcing Access Control Requirements in Business Processes.
In ACM symposium on access control models and technologies (SACMAT)., pages 123-126, ACM Press, 2012. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/2295136.2295160) (ACM) ( ) |
| [18] |
Ganna Monakova, Achim D. Brucker und Andreas Schaad.
Security and Safety of Assets in Business Processes.
In ACM Symposium on Applied Computing (SAC)., pages 1667-1673, ACM Press, 2012. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/2245276.2232045) (ACM) ( ) |
| [17] |
Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel und Andreas Schaad.
Monitoring Security and Safety of Assets in Supply Chains.
In Future Security.Communications in Computer and Information Science, 318, pages 9-20, Springer-Verlag, 2012. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-33161-9_3) ( ) |
| [16] |
Achim D. Brucker, Lukas Brügger, Paul Kearney und Burkhart Wolff.
An Approach to Modular and Testable Security Models of Real-world Health-care Applications.
In ACM symposium on access control models and technologies (SACMAT)., pages 133-142, ACM Press, 2011. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/1998441.1998461) (ACM) ( ) |
| [15] |
Achim D. Brucker und Helmut Petritsch.
A Framework for Managing and Analyzing Changes of Security Policies.
In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY)., pages 105-112, IEEE Computer Society, 2011. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1109/POLICY.2011.47) ( ) |
| [14] |
Achim D. Brucker, Lukas Brügger, Paul Kearney und Burkhart Wolff.
Verified Firewall Policy Transformations for Test-Case Generation.
In Third International Conference on Software Testing, Verification, and Validation (ICST), pages 345-354, IEEE Computer Society, 2010. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1109/ICST.2010.50) ( ) |
| [13] |
Achim D. Brucker und Dieter Hutter.
Information Flow in Disaster Management Systems.
In International Conference on Availability, Reliability and Security (ARES), pages 156-163, IEEE Computer Society, 2010. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1109/ARES.2010.107) ( ) |
| [12] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-11747-3_12) ( ) |
| [11] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/1542207.1542239) (ACM) ( ) |
| [10] |
Achim D. Brucker, Helmut Petritsch und Andreas Schaad.
Delegation Assistance.
In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY)., pages 84-91, IEEE Computer Society, 2009. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1109/POLICY.2009.35) ( ) |
| [9] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-00593-0_28) ( ) |
| [8] |
Mathias Kohler, Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1109/CSE.2009.177) ( ) |
| [7] |
Achim D. Brucker, Lukas Brügger und Burkhart Wolff.
Model-based Firewall Conformance Testing.
In Testcom/FATES 2008. Lecture Notes in Computer Science (5047), pages 103-118, Springer-Verlag, 2008. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-540-68524-1_9) ( ) |
| [6] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-540-78743-3_8) ( ) |
| [5] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-540-70592-5_19) ( ) |
| [4] |
Achim D. Brucker und 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. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-540-73770-4_9) ( ) |
| [3] |
Achim D. Brucker, Jürgen Doser und 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. Kategorien: , , (Zusammenfassung) (Artikel) (Extended Version) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/11880240_22) ( ) |
| [2] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/3-540-45800-X_17) ( ) |
| [1] |
Achim D. Brucker und Burkhart Wolff.
A Proposal for a Formal OCL Semantics in Isabelle/HOL.
In Theorem Proving in Higher Order Logics (TPHOLs). Lecture Notes in Computer Science (2410), pages 99-114, Springer-Verlag, 2002. Kategorien: , (Zusammenfassung) (Artikel) (Extended Version) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/3-540-45685-6_8) ( ) |
Beiträge in Workshopbänden
| [19] |
Achim D. Brucker und Isabelle Hang.
Secure and Compliant Implementation of Business Process-driven Systems.
In Joint Workshop on Security in Business Processes (SBP).Lecture Notes in Business Information Processing (LNBIP), 132, pages 662-674, Springer-Verlag, 2012. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-36285-9_66) ( ) |
| [18] |
Achim D. Brucker und Burkhart Wolff.
Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL.
In Workshop on OCL and Textual Modelling (OCL 2012)., pages 19-24, 2012. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/2428516.2428520) ( ) |
| [17] |
Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li, Theo Dirk Meijler, Heiko Paulheim und Florian Probst.
A Service-Oriented Architecture for Emergency Management Systems.
In Software Engineering 2011 - Workshopband.Lecture Notes in Informatics, P-184, pages 225-232, GI, 2011. Innovative Systeme zur Unterstützung der zivilen Sicherheit: Architekturen und Gestaltungskonzepte. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [16] |
Michael Altenhofen und 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. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-15898-8_2) ( ) |
| [15] |
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet und Burkhart Wolff.
A Specification-based Test Case Generation Method for UML/OCL.
In MoDELS Workshops. Lecture Notes in Computer Science (6627), pages 334-348, Springer-Verlag, 2010. Selected best papers from all satellite events of the MoDELS 2010 conference. Workshop on OCL and Textual Modelling. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-21210-9_33) ( ) |
| [14] |
Achim D. Brucker, Helmut Petritsch und 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. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-12368-9_18) ( ) |
| [13] |
Mathias Kohler und Achim D. Brucker.
Caching Strategies: An Empirical Evaluation.
In International Workshop on Security Measurements and Metrics (MetriSec), pages 1-8, ACM Press, 2010. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1145/1853919.1853930) (ACM) ( ) |
| [12] |
Achim D. Brucker, Matthias P. Krieger und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-12261-3_25) ( ) |
| [11] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (Extended Version) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-12459-4_18) ( ) |
| [10] |
Achim D. Brucker, Lukas Brügger und 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) Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1016/j.entcs.2008.11.003) ( ) |
| [9] |
Achim D. Brucker und Jürgen Doser.
Metamodel-based UML Notations for Domain-specific Languages.
In 4th International Workshop on Software Language Engineering (ATEM 2007), 2007. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [8] |
Achim D. Brucker und 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), 2006. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [7] |
Achim D. Brucker und Burkhart Wolff.
Interactive Testing using HOL-TestGen.
In Formal Approaches to Testing of Software. Lecture Notes in Computer Science (3997), Springer-Verlag, 2005. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/11759744_7) ( ) |
| [6] |
Achim D. Brucker und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/b106767) ( ) |
| [5] |
Achim D. Brucker und 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) Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1016/S1571-0661(04)80807-7) ( ) |
| [4] |
Achim D. Brucker und 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. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/3-540-39185-1_4) ( ) |
| [3] |
Achim D. Brucker, Stefan Friedrich, Frank Rittinger und 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. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [2] |
Achim D. Brucker, Frank Rittinger und 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. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [1] |
Achim D. Brucker und Burkhart Wolff.
Testing Distributed Component Based Systems Using UML/OCL.
In Informatik 2001.Tagungsband der GI/ÖCG Jahrestagung, 1 (157), pages 608-614, 2001. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
Eingeladene Beiträge
| [2] |
Florian Marienfeld, Edzard Höfig, Michele Bezzi, Matthias Flügge, Jonas Pattberg, Gabriel Serme, Achim D. Brucker, Philip Robinson, Stephen Dawson und Wolfgang Theilmann.
Service levels, Security, and Trust.
In Handbook of Service Description: USDL and its Methods, pages 295-326, Springer-Verlag, 2012. Kategorien: , (Zusammenfassung) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-1-4614-1864-1_12) ( ) |
| [1] |
Florian Probst, Heiko Paulheim, Achim D. Brucker und Stefan Schulte.
SoKNOS - Informationsdienste für das Katastrophenmanagement.
In VDE-Kongress 2010 - E-Mobility., 2010. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
Herausgebertätigkeiten
| [1] |
Achim D. Brucker und Jacques Julliand (eds.).
Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 - June 1, 2012. Proceedings. Springer-Verlag, 2012. Kategorien: , (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-30473-6) ( ) |
Technische Berichte
| [10] |
Achim D. Brucker, Lukas Brügger, Matthias P. Krieger und Burkhart Wolff.
HOL-TestGen 1.7.0 User Guide. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France, Technical Report 1551, 2012. Kategorien: , (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [9] |
Achim D. Brucker, Lukas Brügger, Matthias P. Krieger und Burkhart Wolff.
HOL-TestGen 1.5.0 User Guide. ETH Zurich, Technical Report 670, 2010. Kategorien: , (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [8] |
Achim D. Brucker und Sebastian A. Mödersheim.
Integrating Automated and Interactive Protocol Verification (Extended Version). IBM Research Zurich, Technical Report RZ3750, 2009. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [7] |
Achim D. Brucker, Jürgen Doser und Burkhart Wolff.
A Model Transformation Semantics and Analysis Methodology for SecureUML. ETH Zurich, Technical Report 524, 2006. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [6] |
Achim D. Brucker und Burkhart Wolff.
The HOL-OCL Book. ETH Zurich, Technical Report 525, 2006. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [5] |
Achim D. Brucker und Burkhart Wolff.
HOL-TestGen 1.0.0 User Guide. ETH Zurich, Technical Report 482, 2005. Kategorien: , (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [4] |
Achim D. Brucker und Burkhart Wolff.
Symbolic Test Case Generation for Primitive Recursive Functions. ETH Zurich, Technical Report 449, 2004. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [3] |
Achim D. Brucker, Frank Rittinger und Burkhart Wolff.
A CVS-Server Security Architecture - Concepts and Formal Analysis. Albert-Ludwigs-Universität Freiburg, Technical Report 182, 2002. Kategorien: , , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [2] |
Achim D. Brucker und Burkhart Wolff.
A Note on Design Decisions of a Formalization of the OCL. Albert-Ludwigs-Universität Freiburg, Technical Report 168, 2002. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [1] |
Achim D. Brucker und Burkhart Wolff.
Checking OCL Constraints in Distributed Systems Using J2EE/EJB. Albert-Ludwigs-Universität Freiburg, Technical Report 157, 2001. Kategorien: (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
Abschlussarbeiten
| [2] |
Achim D. Brucker.
An Interactive Proof Environment for Object-oriented Specifications. ETH Zurich,2007. ETH Dissertation No. 17097. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [1] |
Achim D. Brucker.
Verifikation von Dividierern mit Word-Level-Decision-Diagrams. Diplomarbeit, Albert-Ludwigs-Universität Freiburg, 2000. Kategorien: , (Zusammenfassung) (Artikel) (BibTeX) (Endnote) (RIS) (Word) ( ) |
Artikel in Zeitschriften
| [2] |
Achim D. Brucker, Andreas Schaad und Christian Wolter.
Prozessmodellierung: Einbinden von Sicherheitsregeln in Geschäftsprozesse.
In iX special - Sicher im Netz, 3, pages 152-155, 2010. Kategorien: , (BibTeX) (Endnote) (RIS) (Word) ( ) |
| [1] |
Achim D. Brucker, Andreas Schaad und Christian Wolter.
Prozessmodellierung: Einbinden von Sicherheitsregeln in Geschäftsprozesse.
In iX, 3, pages 118-121, 2009. Eine aktualisierte Version des Artikels ist im “iX special - Sicher im Netz” (Oktober 2010) erschienen. Kategorien: , (BibTeX) (Endnote) (RIS) (Word) ( ) |
Alle Referenzen in einer Datei: brucker.bib (BibTeX), brucker.enw (Endnote), brucker.ris (RIS), brucker.word.xml (Word 2007)