You are here: Home Team Vincent Langenfeld

Vincent Langenfeld

 

Research Interests

    Requirement Engeneering, Modelchecking, Cognitive Science in Requirements Engineering, Cognitive Models

    Publications

    DBLP, ORCiD, Google Schloar

    • 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]
    • Fairness modulo theory: A new approach to LTL software model checking. CAV 2015. Together with Daniel Dietsch, Matthias Heizmann and Andreas Podelski. [doi] [pdf]

    Tools

    Lectures & Seminars

    • Software Engineering Lecture ('24)
    • Software Lab ('16, '17, '18, '19, '20, '21, '22 ,'23, '24) and Software Lab for for members of all faculties ('16/17, '17/18, '18/19)
    • Pro-/Seminar Automatentheorie ('24, '23, '20)
    • Seminar Requirements Engineering ('24)

    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).