| 2026 | REFSQ | Provably Relevant HAL Interface Requirements for Embedded Systems. | Manuel Bentele, Andreas Podelski, Axel Sikora, Bernd Westphal |
| 2023 | RE | Shaping a GAIA-X Data Ecosystem through Innovation Modeling. | Ali Shakeri, Oliver Klemp, Bernd Westphal |
| 2021 | CogSci | A Formal Operational Model of ACT-R: Structure and Behaviour. | Vincent Langenfeld, Bernd Westphal, Andreas Podelski |
| 2021 | FMICS | On Education and Training in Formal Methods for Industrial Critical Systems. | Bernd Westphal |
| 2021 | REFSQ | Hanfor: Semantic Requirements Review at Scale. | Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal |
| 2020 | FORTE | On Implementable Timed Automata. | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
| 2019 | CogSci | On Formal Verification of ACT-R Architectures and Models. | Vincent Langenfeld, Bernd Westphal, Andreas Podelski |
| 2019 | MODELS | Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. | Bernd Westphal |
| 2019 | RE | Scalable Analysis of Real-Time Requirements. | Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post |
| 2018 | CogSci | But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. | Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski |
| 2018 | RE | An Undergraduate Requirements Engineering Curriculum with Formal Methods. | Bernd Westphal |
| 2016 | TIME | The Model Checking Problem in Networks with Quasi-Equal Clocks. | Christian Herrera, Bernd Westphal |
| 2014 | FM | The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha |
| 2014 | LCN | Optimizing guard time for TDMA in a wireless sensor network - Case study. | Oday Jubran, Bernd Westphal |
| 2014 | TACAS | Quasi-Equal Clock Reduction: More Networks, More Queries. | Christian Herrera, Bernd Westphal, Andreas Podelski |
| 2013 | FORTE | Parameterized Verification of Track Topology Aggregation Protocols. | Sergio Feo-Arenis, Bernd Westphal |
| 2013 | RTNS | Formal approach to guard time optimization for TDMA. | Oday Jubran, Bernd Westphal |
| 2012 | MODELS | Model-based development of embedded systems' user interfaces. | Jelena Barth, Bernd Westphal, Stephan Arlt |
| 2012 | RE | Towards successful subcontracting for software in small to medium-sized enterprises. | Bernd Westphal, Daniel Dietsch, Sergio Feo-Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhfer |
| 2011 | FM | System Verification through Program Verification. | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
| 2011 | RE | Disambiguation of industrial standards through formalization and graphical languages. | Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski |
| 2007 | ATVA | Mind the Shapes: Abstraction Refinement Via Topology Invariants. | Jrg Bauer, Tobe Toben, Bernd Westphal |
| 2007 | VMCAI | The Spotlight Principle. | Bjrn Wachter, Bernd Westphal |
| 2006 | CAV | Check It Out: On the Efficient Formal Verification of Live Sequence Charts. | Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke |
| 2006 | FASE | The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. | Bernd Westphal, Tobe Toben |
| 2004 | SEFM | The Rhapsody UML Verification Environment. | Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |