Vincent Langenfeld
Vincent Langenfeld
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-005 |
Research Interests
Requirement Engeneering, Modelchecking, Cognitive Science in Requirements Engineering, Cognitive Models
Publications
- Scalable Redundancy Detection for Real-Time Requirements. RE24. Together with Elisabeth Henkel, Nico Hauff, Lena Funk and Andreas Podelski. [artefact]
- Systematic Adaptation and Investigation of the Understandability of a Formal Pattern Language. Requirements Engineering Journal. Together with Elisabeth Henkel, Nico Hauff, Lukas Eber and Andreas Podelski. [open access]
- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023.
Together with Elisabeth Henkel, Nico Hauff, Lukas Eber and Andreas Podelski.
⭐ REFSQ'23 Best Paper Award. [doi] [pdf] - Formalisation and analysis of system requirements. 🎓 Dissertation, Universität Freiburg, 2023 [open access]
- A Software Lab with On-demand Support. HICSS 2022. Together with Daniel Dietsch. [open access]
-
Hanfor: Semantic Requirements Review at Scale. REFSQ 2021 Posters and Tools.
Together with Samuel Becker, Daniel Dietsch, Elisabeth Henkel, Andreas Podelski and Bernd Westphal [open access] - A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci 2021. Together with Bernd Westphal and Andreas Podelski. [open access]
- Formal Requirements in an Informal World. FORMREQ 2020. Together with Daniel Dietsch, Bernd Westphal and Andreas Podelski. [doi] [pdf]
- Scalable Analysis of Real-Time Requirements. RE 2019. Together with Daniel Dietsch, Bernd Westphal and Jochen Hoenicke. [doi] [pdf] [artefact]
- On Formal Verification of ACT-R Architectures and Models.CogSci 2019. Together with Bernd Westphal and Andreas Podelski. [pdf]
- But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci 2018. Together with Bernd Westphal, Rebecca Albrecht and Andreas Podelski. [pdf]
- Differences and Commonalities in Self-localization Accuracy of Humans and Robots in a Complex Building. Spatial Cognition 2018. Together with Rul von Stülpnagel and Christoph Hölscher. [doi]
- Requirements defects over a project lifetime: an empirical analysis of defect data from a 5-year automotive project at Bosch. REFSQ 2016. Together with Amalinda Post and Andreas Podelski. [doi]
Tools
Lectures & Seminars
- Software Engineering Lecture ('24)
- Software Lab ('16, '17, '18, '19, '20, '21, '22 ,'23) and Software Lab for for members of all faculties ('16/17, '17/18, '18/19)
- Pro-/Seminar Automatentheorie ('24, '23, '20)
Student Project Co-/Supervisions
If you are interested in a project or thesis, just send an Emai to ask for current topics or suggest your own. I am usually open for all projects somehow related to my reseach interests and/or general topics of software engineering (see list below for reference).
BSc Thesis | Stuck-At-Property: A New Property for Real-Time Requirements | ongoing |
BSc Thesis | Effective Programming Assessment to Evaluate Programming Proficiency | 2023 |
BSc Thesis | Monitoring real-time requirements in ROS2 | 2023 |
BSc Thesis | Complementation of Phase Event Automata |
2023 |
MSc Lab | Minimization of Phase Event Automata |
2023 |
BSc Thesis | ambiHMD - Expansion of the Perceived Horizontal Field of View in a Virtual Reality Head-Mounted Display through the Use of Ambient Light LEDs |
2023 |
MSc Lab | Study about the Intuitive Comprehensibility of the Hanfor Scepcifation Pattern Langauge |
2022 |
MSc Thesis | Simulator for Formalized Requirements |
2022 |
BSc Thesis | Type Based Cooperation Networks |
2022 |
BSc Project | Procedural Tilemap generation using Markov-Chain Wave Function Collapse |
2021 |
MSc Thesis | Identifying and Analyzing Collaboration Patterns in Software Development Projects |
2021 |
BSc Thesis | PAM - Personal Archive Manager |
2021 |
MSc Project | Translating ACT-R: From a Formalised Description to Extended Timed Automata |
2020 |
Consultation Hours
Feel free to send an Email (and feel free to remind me if I do not answer within a week).