Vincent Langenfeld

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Semantically Related

Formal Verification

Linear Time Temporal Logic

Top Venues

Publications

Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski
Systematic adaptation and investigation of the understandability of a formal pattern language. Requir. Eng. 29 (1) (2024)
Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ (2023)
Daniel Dietsch, Vincent Langenfeld
A Software Lab with On-demand Support. HICSS (2022)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci (2021)
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops (2021)
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
Scalable Analysis of Real-Time Requirements. RE (2019)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
On Formal Verification of ACT-R Architectures and Models. CogSci (2019)
Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci (2018)
Rul von Stülpnagel, Vincent Langenfeld, Christoph Hölscher
Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building. Spatial Cognition (2018)
Vincent Langenfeld, Amalinda Post, Andreas Podelski
Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. REFSQ (2016)
Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) (2015)