| 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 | 55 | 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 | 28 | 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 | 19 | 2016 |
| 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 |
| Hanfor: Semantic Requirements Review at Scale. S Becker, D Dietsch, N Hauff, E Henkel, V Langenfeld, A Podelski, ... REFSQ Workshops 2857, 5, 2021 | 7 | 2021 |
| 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 | 5 | 2023 |
| 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 |
| Formalisation and analysis of system requirements V Langenfeld Dissertation, Universität Freiburg, 2023, 2023 | 2 | 2023 |
| Scalable Redundancy Detection for Real-Time Requirements E Henkel, N Hauff, L Funk, V Langenfeld, A Podelski 2024 IEEE 32nd International Requirements Engineering Conference (RE), 193-204, 2024 | 1 | 2024 |
| 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 |
| Systematic adaptation and investigation of the understandability of a formal pattern language E Henkel, N Hauff, V Langenfeld, L Eber, A Podelski Requirements Engineering 29 (1), 3-23, 2024 | | 2024 |
| 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 |
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
