Elias Kuiter

M.Sc. Elias Kuiter

Institut für Technische und Betriebliche Informationssysteme (ITI)
AG Datenbanken & Software Engineering
Universitätsplatz 2, 39106 Magdeburg, G29-109
Vita

Vita

  • ab 04/2024: Forschungsaufenthalt Softwaretechnik (Universität Paderborn)
    Raum: ZM2.B.03.19
    Tel.: +49 5251 60-4511
  • ab 2021: Wissenschaftlicher Mitarbeiter, Otto-von-Guericke-Universität Magdeburg
  • 2019-2020: M.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg
  • 2017-2019: Wissenschaftliche Hilfskraft, Otto-von-Guericke-Universität Magdeburg
  • 2015-2019: B.Sc. Informatik, Otto-von-Guericke-Universität Magdeburg

Forschung

  • Feature-Model Extraction, Transformation, and Analysis
  • Satisfiability Solving, Formal Methods, Applied Category Theory

Projekte und Kooperationen

Lehre

  • Sommersemester 2024: Student Conference
  • Wintersemester 2023/24: ISP, Datenbanken I
  • Sommersemester 2023: Student Conference, Requirements Engineering II (Hochschule Harz)
  • Wintersemester 2022/23: ISP, Datenbanken I
  • Sommersemester 2022: Student Conference
  • Wintersemester 2021/22: ISP, Datenbanken I
  • Sommersemester 2021: ISP, Student Conference
  • Wintersemester 2017/18: TheoInf I

Auszeichnungen und Förderung

  • Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg
    • Bester Absolvent im Masterstudiengang Informatik (2021)
    • Bester Absolvent im Bachelorstudiengang Informatik (2019)
    • Rudolf-Kruse-Preis (2018)
  • Drittmittelförderung
    • pure-systems GmbH: Go SPLC 2019 Challenge

Gutachter- und Gremientätigkeiten

  • Invited Reviewer / PC Member
    • TOSEM, EMSE
    • ICSE 2024: Artifact Evaluation Track
    • Re:Volution 2024
  • Sub-Reviewer
    • EMSE, IST, SPLC, VaMoS, ENASE, ICSOFT, SCICO, ESWA, EAAI, SOFTX, GvDB
  • VaMoS 2024: Publicity Chair
  • VaMoS 2020: Student Volunteer
Publikationen

2024

  • Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake. How Easy is SAT-Based Analysis of a Feature Model?. In Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), pages 149–151. ACM, February 2024.
     

2023

2022

2021

2020

2019

2018

Betreute Arbeiten

2023

  • Till Sehlen. Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas. Master's thesis, University of Magdeburg, May 2023.
     

2022

2021

  • Logesh Babu Radhakrishnan. System Tools' Firmware Flashing Automation in a Complex Software/Hardware Environment. Master's thesis, University of Magdeburg, December 2021.
     
Projekte

Aktuelle Projekte

Compositional Feature-Model Analyses
Laufzeit: 01.01.2021 bis 01.01.2026

Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across all phases of the software development process become possible. Most solvers only accept formulas in conjunctive normal form (CNF), so an additional transformation of feature models is often necessary.
In this project, we investigate whether this transformation has a noticeable impact on analyses and how to influence this impact positively. We raise awareness about CNF transformations for feature-model analysis and mitigate it as a threat to validity for research evaluations to ensure reproducibility and fair comparisons. Furthermore, we investigate other steps in the feature-model analysis process, their alternatives, and their interactions; for instance, we study the potential and impact of knowledge compilation, interfaces, slicing, and evolution on feature-model analyses.
Our vision for this project is to lay a foundation for a compositional feature-model analysis algebra; that is, to understand how complex analyses are made of simple parts, how they can be re-assembled, and how those parts interact with each other.

Projekt im Forschungsportal ansehen

Lehrveranstaltungen

Letzte Änderung: 04.05.2023 - Ansprechpartner: