Technische Universität Braunschweig
  • Study & Teaching
    • Beginning your Studies
      • Prospective Students
      • Degree Programmes
      • Application
      • Fit4TU
      • Why Braunschweig?
    • During your Studies
      • Fresher's Hub
      • Term Dates
      • Courses
      • Practical Information
      • Beratungsnavi
      • Additional Qualifications
      • Financing and Costs
      • Special Circumstances
      • Health and Well-being
      • Campus life
    • At the End of your Studies
      • Discontinuation and Credentials Certification
      • After graduation
      • Alumni
    • For Teaching Staff
      • Strategy, Offers and Information
      • Learning Management System Stud.IP
    • Contact
      • Study Service Centre
      • Academic Advice Service
      • Student Office
      • Career Service
  • Research
    • Research Profile
      • Core Research Areas
      • Clusters of Excellence at TU Braunschweig
      • Research Projects
      • Research Centres
      • Professors‘ Research Profiles
    • Early Career Researchers
      • Support in the early stages of an academic career
      • PhD-Students
      • Postdocs
      • Junior research group leaders
      • Junior Professorship and Tenure-Track
      • Habilitation
      • Service Offers for Scientists
    • Research Data & Transparency
      • Transparency in Research
      • Research Data
      • Open Access Strategy
      • Digital Research Announcement
    • Research Funding
      • Research Funding Network
      • Research funding
    • Contact
      • Research Services
      • Academy for Graduates
  • International
    • International Students
      • Why Braunschweig?
      • Degree seeking students
      • Exchange Studies
      • TU Braunschweig Summer School
      • Refugees
      • International Student Support
      • International Career Service
    • Going Abroad
      • Studying abroad
      • Internships abroad
      • Teaching and research abroad
      • Working abroad
    • International Researchers
      • Welcome Support for International Researchers
      • Service for Host Institutes
    • Language and intercultural competence training
      • Learning German
      • Learning Foreign Languages
      • Intercultural Communication
    • International Profile
      • Internationalisation
      • International Cooperations
      • Strategic partnerships
      • International networks
    • International House
      • About us
      • Contact & Office Hours
      • News and Events
      • International Days
      • 5th Student Conference: Internationalisation of Higher Education
      • Newsletter, Podcast & Videos
      • Job Advertisements
  • TU Braunschweig
    • Our Profile
      • Aims & Values
      • Regulations and Guidelines
      • Alliances & Partners
      • The University Development Initiative 2030
      • Ecoversity – the TU Braunschweig as a university ecosystem
      • Facts & Figures
      • Our History
    • Career
      • Working at TU Braunschweig
      • Vacancies
    • Economy & Business
      • Entrepreneurship
      • Friends & Supporters
    • General Public
      • Check-in for Students
      • CampusXperience
      • The Student House
      • Access to the University Library
    • Media Services
      • Communications and Press Service
      • Services for media
      • Film and photo permits
      • Advices for scientists
      • Topics and stories
    • Contact
      • General Contact
      • Getting here
  • Organisation
    • Presidency & Administration
      • Executive Board
      • Designated Offices
      • Administration
      • Committees
    • Faculties
      • Carl-Friedrich-Gauß-Fakultät
      • Faculty of Life Sciences
      • Faculty of Architecture, Civil Engineering and Environmental Sciences
      • Faculty of Mechanical Engineering
      • Faculty of Electrical Engineering, Information Technology, Physics
      • Faculty of Humanities and Education
    • Institutes
      • Institutes from A to Z
    • Facilities
      • University Library
      • Gauß-IT-Zentrum
      • Professional and Personnel Development
      • International House
      • The Project House of the TU Braunschweig
      • Transfer Service
      • University Sports Center
      • Facilities from A to Z
    • Equal Opportunity Office
      • Equal Opportunity Office
      • Family
      • Diversity for Students
  • Search
  • Quicklinks
    • People Search
    • Webmail
    • cloud.TU Braunschweig
    • Messenger
    • Cafeteria
    • Courses
    • Stud.IP
    • Library Catalogue
    • IT Services
    • Information Portal (employees)
    • Link Collection
    • DE
    • EN
    • Instagram
    • YouTube
    • LinkedIn
    • Mastodon
    • Bluesky
Menu
  • Organisation
  • Faculties
  • Carl-Friedrich-Gauß-Fakultät
  • Institutes
  • Institute of Software Engineering and Automotive Informatics
  • Team
  • Former staff
Logo Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig
Alexander Knüppel, M.Sc.
  • Former staff
    • Kamil Rosiak, M.Sc
    • Michael Seidel-Burgdorf
    • Tobias Pett, M.Sc.
    • Dr. Lukas Linsbauer
    • Alexander Knüppel, M.Sc.
    • Tabea Bordis, M.Sc.
    • Prof. Dr.-Ing. habil. Joachim Axmann
    • Tobias Runge, M.Sc.
    • Prof. Dr. Ina Schaefer
    • Alexander Schlie, M.Sc.
    • Michael Nieke, M.Sc.
    • Prof. Dr.-Ing. Christoph Seidl
    • Dr.-Ing. David Wille
    • Dr.-Ing. Sascha Lity

Alexander Knüppel, M.Sc.

Institute of Software Engineering and Automotive Informatics
Technische Universität Braunschweig

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

Room: IZ 412
Phone: +49 531 391-2289

Email: a.knueppel(at)tu-bs.de

ResearchGate

Profile Picture

Research Interests

  • Feature-oriented software development (FOSD)
  • Software Product Lines (SPLs) and analysis
  • Feature modeling
  • Formal methods/formal verification: deductive verification, model checking, type systems, static analysis, assertion checking
  • Formal specification: Design by Contracts (DbC), Z-Notation, B-Method
  • Theorem proving with Coq

Activities

  • Participation in the Dagstuhlevent: Software Engineering Research Methods Training at Schloss Dagstuhl, Germany, from 31th March to 3rd April 2019
  • Participation in the FOSD Meeting 2019 in Weimar, Germany, from 12th March to 15th March 2019
  • Participation in the Marktoberdorf Summer School 2018 in Marktoberdorf from 31st July to 11th August 2018
  • Participation in the FOSD Meeting 2018 in Gothenburg from 3rd to 6th June 2018
  • Participation in the DeepSpec Summer School 2017 in Philadelphia from 13th to 28th July 2017
  • Participation in the FOSD Meeting 2017 in Odenwald from 14th to 17th March 2017

Projects

  • CCC: Controlling Concurrent Change

Teaching

TODO

 

Currently offered student projects and theses

TODO

(Co)-Supervised Theses

  • Tabea Bordis. Supporting Method Calls in CorC for Developing Correct-by-Construction Software Product Lines. Master's thesis, 2019. In english.
  • Maren Süwer. Parameter Guidance in the Deductive Program Verier KeY. Master's thesis, 2019. In english.
  • Markus Gamperle. Specifying Software Components with Multi-Viewpoint Contracts. Bachelor's thesis, 2018. In english.
  • Enis Belli. Implementing a Graphical Skill Graph Editor for Monitoring Vehicle Guidance Systems. Bachelor's thesis, 2018. In english.
  • Carsten Padylla. Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY. Master's thesis, 2017. In german.
  • Stefanie Bolle. Feature-orientiertes Framing für die Verifikation von Software-Produktlinien. Master's thesis, 2017. In german.

Publications

2019

  • Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, and Ina Schaefer. Feature-Oriented Contract Composition. In Journal of Systems and Software (JSS), Elsevier, 2019.
  • Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, and Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In Software Engineering, Bonn, Germany, February 2019. Gesellschaft für Informatik (GI).

2018

  • Tobias Runge, Ina Schaefer, Alexander Knüppel, Loek Cleophas, Derrick Kourie, and Bruce W. Watson. Tool support for Confidentiality by Construction. In HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems (HILT'18), November 2018. To appear.
  • Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick Kourie, and Bruce W. Watson. Towards Confidentiality-by-Construction. In 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18), November 2018. Springer.
  • Alexander Knüppel, Thomas Thüm, Carsten I. Pardylla, and Ina Schaefer. Scalability of Deductive Verification Depends on Method Call Treatment. In 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18), November 2018. Springer.
  • Alexander Knüppel, Thomas Thüm, Carsten Pardylla, and Ina Schaefer. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. In Fourth Workshop on Formal Integrated Development Environment (F-IDE), July 2018.
  • Alexander Knüppel, Thomas Thüm, Carsten Pardylla, and Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In 9th International Conference on Interactive Theorem Proving (ITP), Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018. Springer.
  • Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch Between Real-World Feature Models and Product-Line Research?. In Software Engineering, Bonn, Germany, March 2018. Gesellschaft für Informatik (GI).

2017

  • Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch Between Real-World Feature Models and Product-Line Research?. In Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2017. Software artifacts available: GitHub

2016

  • Alexander Knüppel. The Role of Complex Constraints in Feature Modeling. Master's thesis, TU Braunschweig, Germany, July 2016. In English.
Photo credits on this page

For All Visitors

Vacancies of TU Braunschweig
Career Service' Job Exchange 
Merchandising

For Students

Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard

Internal Tools

Glossary (GER-EN)
Change your Personal Data

Contact

Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig

P. O. Box: 38092 Braunschweig
GERMANY

Phone: +49 (0) 531 391-0

Getting here

© Technische Universität Braunschweig
Legal Notice Privacy Accessibility

TU Braunschweig uses the software Matomo for anonymised web analysis. The data serve to optimise the web offer.
You can find more information in our data protection declaration.