Vincent Langenfeld

According to our database, Vincent Langenfeld authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2024

Scalable Redundancy Detection for Real-Time Requirements.

Elisabeth Henkel, Nico Hauff, Lena Funk, Vincent Langenfeld, Andreas Podelski

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023

Formalisation and analysis of system requirements.

Vincent Langenfeld

PhD thesis, 2023

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.

Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

2022

A Software Lab with On-demand Support.

Daniel Dietsch, Vincent Langenfeld

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021

Hanfor: Semantic Requirements Review at Scale.

Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

A Formal Operational Model of ACT-R: Structure and Behaviour.

Vincent Langenfeld, Bernd Westphal, Andreas Podelski

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

2019

Scalable Analysis of Real-Time Requirements.

Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

On Formal Verification of ACT-R Architectures and Models.

Vincent Langenfeld, Bernd Westphal, Andreas Podelski

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

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

Proceedings of the Spatial Cognition XI, 2018

But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.

Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2016

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

2015

Fairness Modulo Theory: A New Approach to LTL Software Model Checking.

Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski

Proceedings of the Computer Aided Verification - 27th International Conference, 2015