Combining Methodical Procedures from Knowledge Discovery in Databases and Individual-Oriented Simulation – Data Mining in Time Series. - Frank Köster; Roland Radtke; Bernd Westphal; Michael Sonnenschein (ISMDA, 2000)

Formal Verification of LSCs in the Development Process. - Matthias Brill; Ralf Buschermöhle; Werner Damm; Jochen Klose; Bernd Westphal; Hartmut Wittke (SoftSpez Final Report, 2004)

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. - Matthias Brill; Werner Damm; Jochen Klose; Bernd Westphal; Hartmut Wittke (SoftSpez Final Report, 2004)

Introduction to Subject Area 'Charts'. - Werner Damm; Bernd Westphal (SoftSpez Final Report, 2004)

The Rhapsody UML Verification Environment. - Ingo Schinz; Tobe Toben; Christian Mrugalla; Bernd Westphal (SEFM, 2004)

Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. - Tobe Toben; Bernd Westphal (AVoCS, 2005)

LSC Verification for UML Models with Unbounded Creation and Destruction. - Bernd Westphal (SoftMC@CAV, 2005)

Live and let die: LSC based verification of UML models. - Werner Damm; Bernd Westphal (Sci. Comput. Program., 2005)

Specification and Verification of Dynamic Communication Systems. - Jörg Bauer 001; Ina Schaefer; Tobe Toben; Bernd Westphal (ACSD, 2006)

On the Expressive Power of Live Sequence Charts. - Werner Damm; Tobe Toben; Bernd Westphal (Program Analysis and Compilation, 2006)

Check It Out: On the Efficient Formal Verification of Live Sequence Charts. - Jochen Klose; Tobe Toben; Bernd Westphal; Hartmut Wittke (CAV, 2006)

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. - Bernd Westphal; Tobe Toben (FASE, 2006)

Verification and Synthesis of OCL Constraints Via Topology Analysis. - Jörg Bauer 001; Werner Damm; Tobe Toben; Bernd Westphal (AGTIVE, 2007)

Mind the Shapes: Abstraction Refinement Via Topology Invariants. - Jörg Bauer 001; Tobe Toben; Bernd Westphal (ATVA, 2007)

The Spotlight Principle. - Björn Wachter; Bernd Westphal (VMCAI, 2007)

Specification and verification of dynamic topology systems: on the applicability of query- and data-type-reduction-based abstractions. - Bernd Westphal (2008)

Spotlight Abstraction of Agents and Areas. - Tobe Toben; Bernd Westphal; Jan-Hendrik Rakow (Quantitative and Qualitative Analysis of Network Protocols, 2010)

System Verification through Program Verification. - Daniel Dietsch; Bernd Westphal; Andreas Podelski (FM, 2011)

Disambiguation of industrial standards through formalization and graphical languages. - Daniel Dietsch; Sergio Feo-Arenis; Bernd Westphal; Andreas Podelski (RE, 2011)

Reducing Quasi-Equal Clocks in Networks of Timed Automata. - Christian Herrera; Bernd Westphal; Sergio Feo-Arenis; Marco Muñiz; Andreas Podelski (FORMATS, 2012)

Timed Automata with Disjoint Activity. - Marco Muñiz; Bernd Westphal; Andreas Podelski (FORMATS, 2012)

Model-based development of embedded systems' user interfaces. - Jelena Barth; Bernd Westphal; Stephan Arlt (ACES-MB@MoDELS, 2012)

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 Meierhöfer (RELAW, 2012)

Detecting Quasi-equal Clocks in Timed Automata. - Marco Muñiz; Bernd Westphal; Andreas Podelski (FORMATS, 2013)

Parameterized Verification of Track Topology Aggregation Protocols. - Sergio Feo-Arenis; Bernd Westphal (FMOODS/FORTE, 2013)

Formal Verification of a Parameterized Data Aggregation Protocol. - Sergio Feo-Arenis; Bernd Westphal (NASA Formal Methods, 2013)

Formal approach to guard time optimization for TDMA. - Oday Jubran; Bernd Westphal (RTNS, 2013)

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. - Werner Damm; Hans-Jörg Peter; Jan-Hendrik Rakow; Bernd Westphal (Math. Struct. Comput. Sci., 2013)

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha (FM, 2014)

Quasi-dependent variables in hybrid automata. - Sergiy Bogomolov; Christian Herrera; Marco Muñiz; Bernd Westphal; Andreas Podelski (HSCC, 2014)

Optimizing guard time for TDMA in a wireless sensor network - Case study. - Oday Jubran; Bernd Westphal (LCN Workshops, 2014)

Transformations for Compositional Verification of Assumption-Commitment Properties. - Ahmed Mahdi; Bernd Westphal; Martin Fränzle (RP, 2014)

Quasi-Equal Clock Reduction: More Networks, More Queries. - Christian Herrera; Bernd Westphal; Andreas Podelski (TACAS, 2014)

Quasi-equal Clock Reduction: Eliminating Assumptions on Networks. - Christian Herrera; Bernd Westphal (Haifa Verification Conference, 2015)

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. - Ahmad Siyar Andisha; Martin Wehrle; Bernd Westphal (SPIN, 2015)

The Model Checking Problem in Networks with Quasi-Equal Clocks. - Christian Herrera; Bernd Westphal (TIME, 2016)

Ready for testing: ensuring conformance to industrial standards through formal verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha; Andreas Podelski (Formal Aspects Comput., 2016)

On Global Scheduling Independency in Networks of Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORMATS, 2017)

But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. - Vincent Langenfeld; Bernd Westphal; Rebecca Albrecht; Andreas Podelski (CogSci, 2018)

An Undergraduate Requirements Engineering Curriculum with Formal Methods. - Bernd Westphal (REET@RE, 2018)

On Formal Verification of ACT-R Architectures and Models. - Vincent Langenfeld; Bernd Westphal; Andreas Podelski (CogSci, 2019)

Teaching Software Modelling in an Undergraduate Introduction to Software Engineering. - Bernd Westphal (MoDELS (Companion), 2019)

Scalable Analysis of Real-Time Requirements. - Vincent Langenfeld; Daniel Dietsch; Bernd Westphal; Jochen Hoenicke; Amalinda Post (RE, 2019)

Formale Methoden in der Softwaretechnik-Vorlesung (Formal Methods in the Software Engineering Lecture). - Bernd Westphal (SEUH, 2019)

On Complementing an Undergraduate Software Engineering Course with Formal Methods. - Bernd Westphal (CSEE&T, 2020)

On Implementable Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORTE, 2020)

Automatic Generation of Learning Assignments for Software Engineering Formalisms. - Michael Steinle; Bernd Westphal (SEUH, 2020)

Tutoring with Stylus-enabled Tablets. - Bernd Westphal (SEUH, 2020)

A Formal Operational Model of ACT-R: Structure and Behaviour. - Vincent Langenfeld; Bernd Westphal; Andreas Podelski (CogSci, 2021)

On Education and Training in Formal Methods for Industrial Critical Systems. - Bernd Westphal (FMICS, 2021)

Quasi-Equal Clock Reduction On-the-Fly. - Bernd Westphal (NFM, 2021)

Hanfor: Semantic Requirements Review at Scale. - Samuel Becker; Daniel Dietsch; Nico Hauff; Elisabeth Henkel; Vincent Langenfeld; Andreas Podelski; Bernd Westphal (REFSQ Workshops, 2021)

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. - Dominik Grundt; Anna Köhne; Ishan Saxena; Ralf Stemmer; Bernd Westphal; Eike Möhlmann (FMAS/ASYDE@SEFM, 2022)

Shaping a GAIA-X Data Ecosystem through Innovation Modeling. - Ali Shakeri 001; Oliver Klemp; Bernd Westphal (RE, 2023)

Teaching Cyber-Physical Systems in Student Project Groups. - Henning Schlender; Ralf Stemmer; Kim Grüttner; Günter Ehmen; Bernd Westphal; Friederike Bruns (SEUH, 2023)

IMoG - a methodology for modeling future microelectronic innovations. - Oliver Klemp; Bernd Westphal; Stefan Puch (CoRR, 2023)

Automotive Software Engineering in an increasingly Data-Driven Automotive Sector. - Oliver Denninger; Joachim K. Axmann; Severin Kacianka; Bernd Westphal (Software Engineering Companion, 2025)

Runtime monitoring of complex scenario-based requirements for autonomous driving functions. - Ralf Stemmer; Ishan Saxena; Lukas Panneke; Dominik Grundt; Anna Austel; Eike Möhlmann; Bernd Westphal (Sci. Comput. Program., 2025)