Vincent Langenfeld
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | REFSQ | A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements. | Nico Hauff, Elisabeth Henkel, Elisabeth Fnfgeld, Vincent Langenfeld, Andreas Podelski |
| 2026 | REFSQ | Automata-Represented Requirements in HanforPL - A Visual Approach for Requirements Engineering Practice and Formal Reasoning. | Tobias Kolzer, Vincent Langenfeld, Nico Hauff, Elisabeth Henkel, Andreas Podelski |
| 2025 | REFSQ | Hanfor: Requirements Formalisation and Beyond. | Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski |
| 2024 | RE | Scalable Redundancy Detection for Real-Time Requirements. | Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski |
| 2023 | REFSQ | An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. | Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski |
| 2021 | CogSci | A Formal Operational Model of ACT-R: Structure and Behaviour. | Vincent Langenfeld, Bernd Westphal, Andreas Podelski |
| 2021 | REFSQ | Hanfor: Semantic Requirements Review at Scale. | Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal |
| 2019 | CogSci | On Formal Verification of ACT-R Architectures and Models. | Vincent Langenfeld, Bernd Westphal, Andreas Podelski |
| 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 |
| 2016 | REFSQ | 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 |
| 2015 | CAV | Fairness Modulo Theory: A New Approach to LTL Software Model Checking. | Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |