Achim D. Brucker

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 48

Top Venues

Arch. Formal Proofs

Softw. Test. Verification Reliab.

OCL@MoDELS

SEFM

Publications

Achim D. Brucker, Nicolas Méric, Burkhart Wolff
Isabelle/DOF. Arch. Formal Proofs 2024 (2024)
Achim D. Brucker, Amy Stell
(Extended) Interval Analysis. Arch. Formal Proofs 2024 (2024)
Achim D. Brucker, Teddy Cameron-Burke, Amy Stell
Formally Verified Interval Arithmetic and Its Application to Program Verification. FormaliSE@ICSE (2024)
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
Using Deep Ontologies in Formal Software Engineering. ABZ (2023)
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition in Isabelle/HOL. ACM Trans. Priv. Secur. 26 (3) (2023)
Achim D. Brucker, Amy Stell
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. FM (2023)
Diego Marmsoler, Achim D. Brucker
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Diego Marmsoler, Achim D. Brucker
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF (2022)
Achim D. Brucker
Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML. Arch. Formal Proofs 2022 (2022)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Performing Security Proofs of Stateful Protocols. CSF (2021)
Achim D. Brucker, Sakine Yalman
Confidentiality Enhanced Life-Cycle Assessment. Business Process Management Workshops (2021)
Diego Marmsoler, Achim D. Brucker
A Denotational Semantics of Solidity in Isabelle/HOL. SEFM (2021)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Model Transformation as Conservative Theory-Transformation. J. Object Technol. 19 (3) (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Michael Herzberg
A Formal Model of the Document Object Model with Shadow Roots. Arch. Formal Proofs 2020 (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Michael Herzberg
A Formal Model of the Safely Composable Document Object Model with Shadow Roots. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Michael Herzberg
The Safely Composable DOM. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Michael Herzberg
A Formalization of Safely Composable Web Components. Arch. Formal Proofs 2020 (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker
Stateful Protocol Composition and Typing. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Michael Herzberg
A Formalization of Web Components. Arch. Formal Proofs 2020 (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)
Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink
Emerging Topics in Textual Modelling. OCL@MoDELS (2019)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
Incorporating Data into EFSM Inference. SEFM (2019)
Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci
A Screening Test for Disclosed Vulnerabilities in FOSS Components. IEEE Trans. Software Eng. 45 (10) (2019)
Achim D. Brucker, Burkhart Wolff
Isabelle/DOF: Design and Implementation. SEFM (2019)
Achim D. Brucker, Michael Herzberg
A Formally Verified Model of Web Components. FACS (2019)
Achim D. Brucker, Burkhart Wolff
Using Ontologies in Formal Developments Targeting Certification. IFM (2019)
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM (2018)
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
Formalising Extended Finite State Machine Transition Merging. ICFEM (2018)
Achim D. Brucker, Michael Herzberg
Formalizing (Web) Standards - An Application of Test and Proof. TAP@STAF (2018)
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
Stateful Protocol Composition. ESORICS (1) (2018)
Muhammad Asim, Artsiom Yautsiukhin, Achim D. Brucker, Thar Baker, Qi Shi, Brett Lempereur
Security policy monitoring of BPMN-based service compositions. J. Softw. Evol. Process. 30 (9) (2018)
Achim D. Brucker, Michael Herzberg
A Formal Semantics of the Core DOM in Isabelle/HOL. WWW (Companion Volume) (2018)
Achim D. Brucker, Michael Herzberg
A Formal Model of the Document Object Model. Arch. Formal Proofs 2018 (2018)
Achim D. Brucker, Bo Zhou, Francesco Malmignati, Qi Shi, Madjid Merabti
Modelling, validating, and ranking of secure service compositions. Softw. Pract. Exp. 47 (12) (2017)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs 2017 (2017)
Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Sci. Eng. 2 (2) (2017)
Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. STAF Workshops (2017)
Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner
Security Testing: A Survey. Adv. Comput. 101 (2016)
Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
Recent Developments in OCL and Textual Modelling. OCL@MoDELS (2016)
Achim D. Brucker, Michael Herzberg
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation. ESSoS (2016)
Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. ESSoS (2016)
Achim D. Brucker, Burkhart Wolff
Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF (2016)
Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
Testing the IPC Protocol for a Real-Time Operating System. VSTTE (2015)
Mattia Salnitri, Achim D. Brucker, Paolo Giorgini
From Secure Business Process Models to Secure Artifact-Centric Specifications. BMMDS/EMMSAD (2015)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25 (1) (2015)
Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker, Philip Miseldine
Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study. ISC (2015)
Achim D. Brucker, Jacques Julliand
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. 24 (7) (2014)
Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer
Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit (2014)
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting. CoRR (2014)
Achim D. Brucker, Uwe Sodan
Deploying Static Application Security Testing on a Large Scale. Sicherheit (2014)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs 2014 (2014)
Achim D. Brucker, Jacques Julliand
Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. Softw. Test. Verification Reliab. 24 (8) (2014)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
The Unified Policy Framework (UPF). Arch. Formal Proofs 2014 (2014)
Ruediger Bachmann, Achim D. Brucker
Developing secure software. Datenschutz und Datensicherheit 38 (4) (2014)
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS (2014)
Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi, Bo Zhou
A Framework for Secure Service Composition. SocialCom (2013)
Achim D. Brucker
Integrating Security Aspects into Business Process Models. it Inf. Technol. 55 (6) (2013)
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS (2013)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC (2013)
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting. OCL@MoDELS (2013)
Achim D. Brucker, Burkhart Wolff
On theorem prover-based testing. Formal Aspects Comput. 25 (5) (2013)
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF (2013)
Luca Compagna, Pierre Guilleminot, Achim D. Brucker
Business Process Compliance via Security Validation as a Service. ICST (2013)
Achim D. Brucker, Isabelle Hang, Gero Lückemeyer, Raj Ruparel
SecureBPMN: modeling and enforcing access control requirements in business processes. SACMAT (2012)
Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel, Andreas Schaad
Monitoring Security and Safety of Assets in Supply Chains. Future Security (2012)
Ganna Monakova, Achim D. Brucker, Andreas Schaad
Security and safety of assets in business processes. SAC (2012)
Achim D. Brucker, Burkhart Wolff
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS (2012)
Achim D. Brucker, Isabelle Hang
Secure and Compliant Implementation of Business Process-Driven Systems. Business Process Management Workshops (2012)
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)
Achim D. Brucker, Helmut Petritsch
A Framework for Managing and Analyzing Changes of Security Policies. POLICY (2011)
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)
Matthias P. Krieger, Achim D. Brucker
Extending OCL Operation Contracts with Objective Functions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Achim D. Brucker, Dieter Hutter
Information Flow in Disaster Management Systems. ARES (2010)
Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
Verified Firewall Policy Transformations for Test Case Generation. ICST (2010)
Achim D. Brucker, Helmut Petritsch
Idea: Efficient Evaluation of Access Control Constraints. ESSoS (2010)
Michael Altenhofen, Achim D. Brucker
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. FMICS (2010)
Achim D. Brucker, Helmut Petritsch, Stefan G. Weber
Attribute-Based Encryption with Break-Glass. WISTP (2010)
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) (2010)
Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler
Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. 9 (2) (2010)
Achim D. Brucker, Sebastian Mödersheim
Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust (2009)
Mathias Kohler, Achim D. Brucker, Andreas Schaad
ProActive Caching: Generating Caching Heuristics for Business Process Environments. CSE (3) (2009)
Achim D. Brucker, Burkhart Wolff
hol-TestGen. FASE (2009)
Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
Extending OCL with Null-References. MoDELS (Workshops) (2009)
Achim D. Brucker, Burkhart Wolff
Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica 46 (4) (2009)
Achim D. Brucker, Helmut Petritsch
Extending access control models with break-glass. SACMAT (2009)
Achim D. Brucker, Helmut Petritsch, Andreas Schaad
Delegation Assistance. POLICY (2009)
Achim D. Brucker, Burkhart Wolff
Extensible Universes for Object-Oriented Data Models. ECOOP (2008)
Achim D. Brucker, Burkhart Wolff
An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. 41 (3-4) (2008)
Achim D. Brucker, Burkhart Wolff
HOL-OCL: A Formal Proof Environment for UML/OCL. FASE (2008)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Model-Based Firewall Conformance Testing. TestCom/FATES (2008)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Verifying Test-Hypotheses: An Experiment in Test and Proof. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Achim D. Brucker, Burkhart Wolff
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP (2007)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS (2006)
Michael Wahler, Jana Koehler, Achim D. Brucker
Model-Driven Constraint Engineering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Achim D. Brucker, Burkhart Wolff
Interactive Testing with HOL-TestGen. FATES (2005)
Achim D. Brucker, Burkhart Wolff
A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)

Achim D. Brucker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Achim D. Brucker