Fairness modulo theory: A new approach to LTL software model checking D Dietsch, M Heizmann, V Langenfeld, A Podelski Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 48 | 2015 |
Scalable analysis of real-time requirements V Langenfeld, D Dietsch, B Westphal, J Hoenicke, A Post 2019 IEEE 27th International Requirements Engineering Conference (RE), 234-244, 2019 | 25 | 2019 |
Requirements defects over a project lifetime: an empirical analysis of defect data from a 5-year automotive project at Bosch V Langenfeld, A Post, A Podelski Requirements Engineering: Foundation for Software Quality: 22nd …, 2016 | 18 | 2016 |
Hanfor: Semantic Requirements Review at Scale. S Becker, D Dietsch, N Hauff, E Henkel, V Langenfeld, A Podelski, ... REFSQ Workshops 2857, 2021 | 8 | 2021 |
Formal requirements in an informal world D Dietsch, V Langenfeld, B Westphal 2020 IEEE Workshop on Formal Requirements (FORMREQ), 14-20, 2020 | 8 | 2020 |
On Formal Verification of ACT-R Architectures and Models. V Langenfeld, B Westphal, A Podelski CogSci, 618-624, 2019 | 8 | 2019 |
What syntax does not know: Movement triggers beyond integration V Langenfeld, M Rist, C Hoelscher, R Dalton | 8 | 2013 |
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. V Langenfeld, B Westphal, R Albrecht, A Podelski CogSci, 2018 | 5 | 2018 |
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language E Henkel, N Hauff, L Eber, V Langenfeld, A Podelski International Working Conference on Requirements Engineering: Foundation for …, 2023 | 3 | 2023 |
Formalisation and analysis of system requirements V Langenfeld Dissertation, Universität Freiburg, 2023, 2023 | 1 | 2023 |
A Software Lab with On-demand Support D Dietsch, V Langenfeld | 1 | 2022 |
A Formal Operational Model of ACT-R: Structure and Behaviour V Langenfeld, B Westphal, A Podelski Proceedings of the Annual Meeting of the Cognitive Science Society 43 (43), 2021 | 1 | 2021 |
Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building R von Stülpnagel, V Langenfeld, C Hölscher Spatial Cognition XI: 11th International Conference, Spatial Cognition 2018 …, 2018 | | 2018 |
Self-Localization Accuracy and Spatial Ambiguity of Humans and Robots in a Complex Building R Stülpnagel, V Langenfeld, C Hölscher Proceedings of the 13th Biannual Conference of the German Cognitive Science …, 2016 | | 2016 |
Spatial Ambiguity in Indoor Environments–A Comparison Between the Human and the Robot Perspective of Spatial Ambiguity Identification S Kuliga, M Beinhofer, V Langenfeld, F Fleckenstein, S Dufner, ... Poster proceedings of the International Conference on Spatial Cognition …, 2014 | | 2014 |