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

    • An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ 2023.
      Together with Elisabeth Henkel, Lukas Eber, Vincent Langenfeld, 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, Vincent Langenfeld, 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) 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).