Info Site map An overview of the available content on this site. Keep the pointer still over an item for a few seconds to get its description. Team Andreas Podelski Daniel Dietsch Matthias Heizmann Jochen Hoenicke Bernd Westphal Anna Liolios-Zimmermann Marlis Jost Martin Preen Andreas Dereani Sergio Feo-Arenis Marius Greitschus Nico Hauff Elisabeth Henkel Dominik Klumpp Vincent Langenfeld Alexander Nutz Christian Reuter Tanja Schindler Frank Schüssele Marcel Ebbinghaus Rebecca Albrecht visual_impedance_model Stephan Arlt Jelena Barth Bruno Berstel-Da Silva Sergiy Bogomolov Berit Brauer Jürgen Christ Evren Ermis Harald Fecher Christian Herrera resources Jan Leike Stefan Maus Corina Mitrohin Tobias Morciniec Marco Muniz Amalinda Post Martin Schäf Christian Schilling Mohammed Nassim Seghir Martin Wehrle Manuel Bentele Teaching Student Projects and Thesis Topics Available In progress Finished Winter Term 2024/25 Cyber-Physical Systems I - Discrete Models (Lecture) Softwarepraktikum Advanced Topics in Requirements Engineering (Seminar) Automatentheorie (Proseminar) Summer Term 2024 Automatentheorie (Proseminar) Softwaretechnik / Software Engineering (Lecture) Program Verification (Lecture) Winter Term 2023/24 Cyber-Physical Systems I - Discrete Models (Lecture) Softwarepraktikum Summer Term 2023 Automatentheorie (Proseminar) Softwaretechnik / Software Engineering (Lecture) Theoretische Informatik (Lecture) Winter Term 2022/23 Cyber-Physical Systems I - Discrete Models (Lecture) Softwarepraktikum Automatentheorie (Proseminar) Programanalysis and Verification (Seminar) Summer Term 2022 Decision Procedures (Lecture) Theoretische Informatik (Lecture) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2021/22 Cyber-Physical Systems I - Discrete Models (Lecture) Softwarepraktikum Programmanalyse (Proseminar) Summer Term 2021 Automata Theory (Seminar) Automata Theory (Proseminar) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2020/21 Advanced Topics in Program Analysis (Seminar) Softwarepraktikum Cyber-Physical Systems I - Discrete Models (Lecture) Programmanalyse (Proseminar) Summer Term 2020 Automata Theory (Seminar, Proseminar) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2019/20 Automata Theory (Seminar) Decision Procedures (Lecture) Cyber-Physical Systems I - Discrete Models (Lecture) Programmanalyse (Proseminar) Summer Term 2019 Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2018/19 Automata Theory (Seminar) Program Analysis (Seminar) Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems I - Discrete Models (Lecture) Informatik III (Lecture) Programmanalyse (Proseminar) Summer Term 2018 Automata Theory (Seminar, Proseminar) Decision Procedures (Lecture) Program Analysis (Seminar) Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2017/18 Automata Theory (Seminar, Proseminar) Program Analysis & Software Testing (Seminar) Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems I - Discrete Models (Lecture) Informatik III (Lecture) Real-Time Systems (Lecture) Summer Term 2017 Automata Theory (Seminar, Proseminar) Program Analysis & Software Testing (Seminar) Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems - Hybrid Models (Lecture) Formal Methods for Java (Lecture) Program Verification (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2016/17 Advanced Topics in Requirements Engineering (Seminar) Automata Theory (Seminar, Proseminar) Decision Procedures (Lecture) Program Analysis & Software Testing (Seminar) Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems I - Discrete Models (Lecture) Software Design, Modelling, and Analysis in UML (Lecture) Summer Term 2016 Automata Theory (Seminar, Proseminar) Program Analysis & Software Testing (Seminar) Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems - Hybrid Models (Lecture) Softwaretechnik / Software Engineering (Lecture) Winter Term 2015/16 Automata Theory (Seminar, Proseminar) Decision Procedures (Lecture) Program Analysis & Software Testing (Seminar) Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Software Design, Modelling, and Analysis in UML (Lecture) Summer Term 2015 Automata Theory (Seminar, Proseminar) Program Analysis (Seminar) Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Softwaretechnik / Software Engineering (Lecture) Winter Term 2014/2015 Automatentheorie (Proseminar) Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Informatik III Software Design, Modelling, and Analysis in UML (Lecture) Summer Term 2014 Automata Theory (Seminar) Einführung in die Informatik (Vorlesung) Seminar Formal Methods for C Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Computer Science Theory (Bridging Course) (Tutorial) Real-Time Systems (Lecture) Winter Term 2013/2014 Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Design and Analysis of Cyber Physical Systems (Seminar) Computer Supported Modeling and Reasoning Informatik III Static Code Analysis (Seminar) Software Design, Modelling, and Analysis in UML (Lecture) Software Testing (Seminar) Summer Term 2013 Seminar Automata Theory Decision Procedures (Lecture) Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Seminar Advanced Topics in Requirements Engineering Seminar Advanced Topics in Software Engineering Cyber-Physical Systems - Hybrid Models Seminar Hybrid Systems Real-Time Systems (Lecture) Proseminar Topics in Software Engineering Winter Term 2012/2013 Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Design and Analysis of Cyber Physical Systems (Seminar) Cyber-Physical Systems I - Model Checking (Lecture) Formal Methods for Java (Lecture) Software Design, Modelling, and Analysis in UML (Lecture) Software Testing (Seminar) Testverfahren für Softwaretechnik (Proseminar) Summer Term 2012 Automata Theory Decision Procedures Seminar / Proseminar (Advanced) Topics in Requirements Engineering Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE) Cyber-Physical Systems - Hybrid Models Seminar Hybrid Systems Model-based Testing and Analysis Real-Time Systems (Lecture) Theory I Winter Term 2011/2012 Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE) Design and Anaylsis of Cyber Physical Systems Formal Methods for Java Program Verification Static Code Analysis Software Design, Modelling, and Analysis in UML Software Testing Tools Ultimate SMTInterpol Hanfor Gazoo Hybrid systems Assume-Guarantee Abstraction Refinement in SpaceEx Benchmark Generator for Stratified Controllers of Tank Networks FMI Co-Simulation Guided Model Checking for Hybrid Systems Hybrid automata: from verification to implementation Abstraction-based Parameter Synthesis for Multiaffine Systems Direction Refinement Framework ACSAR AMTV Bohne Exorcise MCTA Projects AVACS Salomo Verisoft XT Graduiertenkolleg Case Study Repository Wireless Fire Alarm System Quasi-Dependent Variables Quasi-equal Clocks Reduction Research Data Base Service Gallery Contact