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. [pdf][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 Extracting Explanations for Formal Requirement Redundancies (ongoing)
- BSc Project Requirements formalisation as Tandem Effort of AI and Human (ongoing)
- BSc Project Programming abilty Questionnaire (ongoing)
- 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).