Achim D. Brucker

130 papers A 5B 9C 13Misc 1Journal 48Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2025	J	`jnl`	Does Every Computer Scientist Need to Know Formal Methods? Formal Aspects Comput. Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025	J	`jnl`	Ensuring Confidentiality in Supply Chains With an Application to Life-Cycle Assessment. J. Softw. Evol. Process. Achim D. Brucker, Sakine Yalman
2025	J	`jnl`	Formalizing Neural Networks. Arch. Formal Proofs Achim D. Brucker, Amy Stell
2025	J	`jnl`	Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL. Formal Aspects Comput. Diego Marmsoler, Achim D. Brucker
2025	J	`jnl`	PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. J. Comput. Secur. Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D. Brucker, Anders Schlichtkrull
2025	J	`jnl`	Parametric ontologies in formal software engineering. Sci. Comput. Program. Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2025	J	`jnl`	SCALA: Toward Imperceptible and Efficient Black-Box Textual Adversarial Perturbations. IEEE Trans. Inf. Forensics Secur. Siqi Sun, Achim D. Brucker, Jia Hu, Xiaowei Huang, Wenjie Ruan
2024	J	`jnl`	(Extended) Interval Analysis. Arch. Formal Proofs Achim D. Brucker, Amy Stell
2024	—	`conf`	Formally Verified Interval Arithmetic and Its Application to Program Verification. FormaliSE@ICSE Achim D. Brucker, Teddy Cameron-Burke, Amy Stell
2024	J	`jnl`	Isabelle/DOF. Arch. Formal Proofs Achim D. Brucker, Nicolas Méric, Burkhart Wolff
2024	B	`conf`	Secure Smart Contracts with Isabelle/Solidity. SEFM Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2024	—	`conf`	Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security. FMTea Achim D. Brucker, Diego Marmsoler
2023	J	`jnl`	Stateful Protocol Composition in Isabelle/HOL. ACM Trans. Priv. Secur. Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
2023	C	`conf`	Using Deep Ontologies in Formal Software Engineering. ABZ Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2023	B	`conf`	Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. FM Achim D. Brucker, Amy Stell
2022	—	`conf`	Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF Diego Marmsoler, Achim D. Brucker
2022	J	`jnl`	Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs Diego Marmsoler, Achim D. Brucker
2022	J	`jnl`	Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML. Arch. Formal Proofs Achim D. Brucker
2021	B	`conf`	A Denotational Semantics of Solidity in Isabelle/HOL. SEFM Diego Marmsoler, Achim D. Brucker
2021	—	`conf`	Confidentiality Enhanced Life-Cycle Assessment. Business Process Management Workshops Achim D. Brucker, Sakine Yalman
2021	A	`conf`	Performing Security Proofs of Stateful Protocols. CSF Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
2020	J	`jnl`	A Formal Model of Extended Finite State Machines. Arch. Formal Proofs Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020	J	`jnl`	A Formal Model of the Document Object Model with Shadow Roots. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2020	J	`jnl`	A Formal Model of the Safely Composable Document Object Model with Shadow Roots. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2020	J	`jnl`	A Formalization of Safely Composable Web Components. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2020	J	`jnl`	A Formalization of Web Components. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2020	J	`jnl`	Automated Stateful Protocol Verification. Arch. Formal Proofs Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
2020	J	`jnl`	Inference of Extended Finite State Machines. Arch. Formal Proofs Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020	J	`jnl`	Model Transformation as Conservative Theory-Transformation. J. Object Technol. Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2020	J	`jnl`	Stateful Protocol Composition and Typing. Arch. Formal Proofs Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker
2020	J	`jnl`	The Safely Composable DOM. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2019	—	`ed.`	19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019. OCL@MoDELS Achim D. Brucker, Gwendal Daniel, Frédéric Jouault
2019	—	`conf`	A Formally Verified Model of Web Components. FACS Achim D. Brucker, Michael Herzberg
2019	J	`jnl`	A Screening Test for Disclosed Vulnerabilities in FOSS Components. IEEE Trans. Software Eng. Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci
2019	—	`conf`	Emerging Topics in Textual Modelling. OCL@MoDELS Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink
2019	B	`conf`	Incorporating Data into EFSM Inference. SEFM Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
2019	B	`conf`	Isabelle/DOF: Design and Implementation. SEFM Achim D. Brucker, Burkhart Wolff
2019	B	`conf`	Using Ontologies in Formal Developments Targeting Certification. IFM Achim D. Brucker, Burkhart Wolff
2018	J	`jnl`	A Formal Model of the Document Object Model. Arch. Formal Proofs Achim D. Brucker, Michael Herzberg
2018	—	`conf`	A Formal Semantics of the Core DOM in Isabelle/HOL. WWW (Companion Volume) Achim D. Brucker, Michael Herzberg
2018	C	`conf`	Formalising Extended Finite State Machine Transition Merging. ICFEM Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
2018	—	`conf`	Formalizing (Web) Standards - An Application of Test and Proof. TAP@STAF Achim D. Brucker, Michael Herzberg
2018	J	`jnl`	Security policy monitoring of BPMN-based service compositions. J. Softw. Evol. Process. Muhammad Asim, Artsiom Yautsiukhin, Achim D. Brucker, Thar Baker, Qi Shi, Brett Lempereur
2018	—	`conf`	Stateful Protocol Composition. ESORICS (1) Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker
2018	C	`conf`	Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
2017	J	`jnl`	Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2017	J	`jnl`	Modelling, validating, and ranking of secure service compositions. Softw. Pract. Exp. Achim D. Brucker, Bo Zhou, Francesco Malmignati, Qi Shi, Madjid Merabti
2017	J	`jnl`	Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Sci. Eng. Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker
2017	—	`conf`	Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. STAF Workshops Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2016	—	`conf`	Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF Achim D. Brucker, Burkhart Wolff
2016	—	`conf`	On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. ESSoS Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci
2016	—	`conf`	On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation. ESSoS Achim D. Brucker, Michael Herzberg
2016	—	`ed.`	Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016. OCL@MoDELS Achim D. Brucker, Jordi Cabot, Adolfo Sánchez-Barbudo Herrera
2016	—	`conf`	Recent Developments in OCL and Textual Modelling. OCL@MoDELS 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
2016	J	`jnl`	Security Testing: A Survey. Adv. Comput. Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner
2015	C	`conf`	Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study. ISC Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker, Philip Miseldine
2015	J	`jnl`	Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2015	—	`conf`	From Secure Business Process Models to Secure Artifact-Centric Specifications. BMMDS/EMMSAD Mattia Salnitri, Achim D. Brucker, Paolo Giorgini
2015	—	`ed.`	Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. OCL@MoDELS Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
2015	—	`conf`	Testing the IPC Protocol for a Real-Time Operating System. VSTTE Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
2014	—	`ch.`	Compliance Validation of Secure Service Compositions. Secure and Trustworthy Service Composition Achim D. Brucker, Luca Compagna, Pierre Guilleminot
2014	—	`conf`	Deploying Static Application Security Testing on a Large Scale. Sicherheit Achim D. Brucker, Uwe Sodan
2014	J	`jnl`	Developing secure software. Datenschutz und Datensicherheit Ruediger Bachmann, Achim D. Brucker
2014	J	`jnl`	Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. Achim D. Brucker, Jacques Julliand
2014	J	`jnl`	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. Achim D. Brucker, Jacques Julliand
2014	J	`jnl`	Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2014	—	`conf`	Panel Discussion: Proposals for Improving OCL. OCL@MoDELS Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014	—	`ed.`	Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014. OCL@MoDELS Achim D. Brucker, Carolina Dania, Geri Georg, Martin Gogolla
2014	J	`jnl`	Report on the Aachen OCL Meeting. CoRR Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2014	—	`book`	Secure and Trustworthy Service Composition - The Aniketos Approach Secure and Trustworthy Service Composition Achim D. Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios
2014	—	`ch.`	Security Policy Monitoring of Composite Services. Secure and Trustworthy Service Composition Muhammad Asim, Artsiom Yautsiukhin, Achim D. Brucker, Brett Lempereur, Qi Shi
2014	—	`ch.`	The Aniketos Platform. Secure and Trustworthy Service Composition Per Håkon Meland, Erkuden Rios, Vasilis Tountopoulos, Achim D. Brucker
2014	—	`ch.`	The Aniketos Service Composition Framework - Analysing and Ranking of Secure Services. Secure and Trustworthy Service Composition Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi, Bo Zhou
2014	J	`jnl`	The Unified Policy Framework (UPF). Arch. Formal Proofs Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2014	—	`ch.`	Using SecureBPMN for Modelling Security-Aware Service Compositions. Secure and Trustworthy Service Composition Achim D. Brucker
2014	—	`conf`	Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer
2013	—	`conf`	A Framework for Secure Service Composition. SocialCom Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi, Bo Zhou
2013	A	`conf`	Business Process Compliance via Security Validation as a Service. ICST Luca Compagna, Pierre Guilleminot, Achim D. Brucker
2013	J	`jnl`	Integrating Security Aspects into Business Process Models. it Inf. Technol. Achim D. Brucker
2013	—	`conf`	On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013	J	`jnl`	On theorem prover-based testing. Formal Aspects Comput. Achim D. Brucker, Burkhart Wolff
2013	—	`conf`	Report on the Aachen OCL Meeting. OCL@MoDELS Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2013	—	`conf`	Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
2013	C	`conf`	hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2012	—	`conf`	Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS Achim D. Brucker, Burkhart Wolff
2012	—	`conf`	Monitoring Security and Safety of Assets in Supply Chains. Future Security Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel, Andreas Schaad
2012	—	`conf`	Secure and Compliant Implementation of Business Process-Driven Systems. Business Process Management Workshops Achim D. Brucker, Isabelle Hang
2012	C	`conf`	SecureBPMN: modeling and enforcing access control requirements in business processes. SACMAT Achim D. Brucker, Isabelle Hang, Gero Lückemeyer, Raj Ruparel
2012	Misc	`conf`	Security and safety of assets in business processes. SAC Ganna Monakova, Achim D. Brucker, Andreas Schaad
2012	—	`ch.`	Service Levels, Security, and Trust. Handbook of Service Description Florian Marienfeld, Edzard Höfig, Michele Bezzi, Matthias Flügge, Jonas Pattberg, Gabriel Serme, Achim D. Brucker, Philip Robinson, Stephen Dawson, Wolfgang Theilmann
2012	—	`ed.`	Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings TAP@TOOLS Achim D. Brucker, Jacques Julliand
2011	—	`conf`	A Framework for Managing and Analyzing Changes of Security Policies. POLICY Achim D. Brucker, Helmut Petritsch
2011	C	`conf`	A Service-oriented Architecture for Emergency Management Systems. Software Engineering (Workshops) Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li, Theo Dirk Meijler, Heiko Paulheim, Florian Probst
2011	C	`conf`	An approach to modular and testable security models of real-world health-care applications. SACMAT Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff
2011	J	`jnl`	Extending OCL Operation Contracts with Objective Functions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Matthias P. Krieger, Achim D. Brucker
2010	—	`conf`	A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
2010	C	`conf`	Attribute-Based Encryption with Break-Glass. WISTP Achim D. Brucker, Helmut Petritsch, Stefan G. Weber
2010	J	`jnl`	Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler
2010	—	`conf`	Idea: Efficient Evaluation of Access Control Constraints. ESSoS Achim D. Brucker, Helmut Petritsch
2010	B	`conf`	Information Flow in Disaster Management Systems. ARES Achim D. Brucker, Dieter Hutter
2010	C	`conf`	Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. FMICS Michael Altenhofen, Achim D. Brucker
2010	A	`conf`	Verified Firewall Policy Transformations for Test Case Generation. ICST Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff
2009	—	`conf`	Delegation Assistance. POLICY Achim D. Brucker, Helmut Petritsch, Andreas Schaad
2009	—	`conf`	Extending OCL with Null-References. MoDELS (Workshops) Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
2009	C	`conf`	Extending access control models with break-glass. SACMAT Achim D. Brucker, Helmut Petritsch
2009	—	`conf`	Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust Achim D. Brucker, Sebastian Mödersheim
2009	—	`conf`	ProActive Caching: Generating Caching Heuristics for Business Process Environments. CSE (3) Mathias Kohler, Achim D. Brucker, Andreas Schaad
2009	J	`jnl`	Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica Achim D. Brucker, Burkhart Wolff
2009	B	`conf`	hol-TestGen. FASE Achim D. Brucker, Burkhart Wolff
2008	J	`jnl`	An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. Achim D. Brucker, Burkhart Wolff
2008	A	`conf`	Extensible Universes for Object-Oriented Data Models. ECOOP Achim D. Brucker, Burkhart Wolff
2008	B	`conf`	HOL-OCL: A Formal Proof Environment for UML/OCL. FASE Achim D. Brucker, Burkhart Wolff
2008	—	`conf`	Model-Based Firewall Conformance Testing. TestCom/FATES Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2008	—	`conf`	Verifying Test-Hypotheses: An Experiment in Test and Proof. MBT@ETAPS Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2007	—	`—`	An interactive proof environment for object-oriented specifications. Achim D. Brucker
2007	C	`conf`	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP Achim D. Brucker, Burkhart Wolff
2006	A	`conf`	A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2006	J	`jnl`	An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2006	J	`jnl`	Model-Driven Constraint Engineering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Wahler, Jana Koehler, Achim D. Brucker
2006	J	`jnl`	Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2005	J	`jnl`	A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. Achim D. Brucker, Burkhart Wolff
2005	—	`conf`	Interactive Testing with HOL-TestGen. FATES Achim D. Brucker, Burkhart Wolff
2004	—	`conf`	Symbolic Test Case Generation for Primitive Recursive Functions. FATES Achim D. Brucker, Burkhart Wolff
2003	C	`conf`	A Case Study of a Formalized Security Architecture. FMICS Achim D. Brucker, Burkhart Wolff
2003	J	`jnl`	HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. Achim D. Brucker, Frank Rittinger, Burkhart Wolff
2002	—	`conf`	A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs Achim D. Brucker, Burkhart Wolff
2002	—	`conf`	HOL-OCL: Experiences, Consequences and Design Choices. UML Achim D. Brucker, Burkhart Wolff
2002	—	`conf`	Using Theory Morphisms for Implementing Formal Methods Tools. TYPES Achim D. Brucker, Burkhart Wolff
2001	—	`conf`	Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) Achim D. Brucker, Burkhart Wolff