Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch; Matthias Heizmann; Vincent Langenfeld; Andreas Podelski (CAV (1), 2015)

Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. - Vincent Langenfeld; Amalinda Post; Andreas Podelski (REFSQ, 2016)

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)

Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building. - Rul von Stülpnagel; Vincent Langenfeld; Christoph Hölscher (Spatial Cognition, 2018)

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

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

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

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

A Software Lab with On-demand Support. - Daniel Dietsch; Vincent Langenfeld (HICSS, 2022)

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. - Elisabeth Henkel; Nico Hauff; Lukas Eber; Vincent Langenfeld; Andreas Podelski (REFSQ, 2023)

Formalisation and analysis of system requirements. - Vincent Langenfeld (2023)

Scalable Redundancy Detection for Real-Time Requirements. - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (RE, 2024)

Systematic adaptation and investigation of the understandability of a formal pattern language. - Elisabeth Henkel; Nico Hauff; Vincent Langenfeld; Lukas Eber; Andreas Podelski (Requir. Eng., 2024)

Scalable Redundancy Detection for Real-Time Requirements (artefact). - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (Zenodo, 2024)

Hanfor: Requirements Formalisation and Beyond. - Nico Hauff; Elisabeth Henkel; Tobias Kolzer; Vincent Langenfeld; Andreas Podelski (REFSQ Workshops, 2025)