Vincent Langenfeld

16 papers A 2B 7Journal 1Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements. REFSQ Nico Hauff, Elisabeth Henkel, Elisabeth Fünfgeld, Vincent Langenfeld, Andreas Podelski
2026	B	`conf`	Automata-Represented Requirements in HanforPL - A Visual Approach for Requirements Engineering Practice and Formal Reasoning. REFSQ Tobias Kolzer, Vincent Langenfeld, Nico Hauff, Elisabeth Henkel, Andreas Podelski
2025	—	`conf`	Hanfor: Requirements Formalisation and Beyond. REFSQ Workshops Nico Hauff, Elisabeth Henkel, Tobias Kolzer, Vincent Langenfeld, Andreas Podelski
2024	A	`conf`	Scalable Redundancy Detection for Real-Time Requirements. RE Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski
2024	J	`jnl`	Systematic adaptation and investigation of the understandability of a formal pattern language. Requir. Eng. Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski
2023	B	`conf`	An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski
2023	—	`—`	Formalisation and analysis of system requirements. Vincent Langenfeld
2022	—	`conf`	A Software Lab with On-demand Support. HICSS Daniel Dietsch, Vincent Langenfeld
2021	B	`conf`	A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci Vincent Langenfeld, Bernd Westphal, Andreas Podelski
2021	—	`conf`	Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
2019	B	`conf`	On Formal Verification of ACT-R Architectures and Models. CogSci Vincent Langenfeld, Bernd Westphal, Andreas Podelski
2019	A	`conf`	Scalable Analysis of Real-Time Requirements. RE Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
2018	B	`conf`	But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski
2018	—	`conf`	Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building. Spatial Cognition Rul von Stülpnagel, Vincent Langenfeld, Christoph Hölscher
2016	B	`conf`	Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. REFSQ Vincent Langenfeld, Amalinda Post, Andreas Podelski
2015	—	`conf`	Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski