Felix Heinzmann
Research Interests
- Real-Time Analysis of Embedded Systems
- Specification of Embedded Real-Time Systems
- Temporal Logic
- Formal Verification
- Model Checking
- SAT-Solving
Teaching
SS2024
- Rechnerarchitektur
WS2023/2024
- Grundlagen der technischen Informatik
- MatLab/Mathematica ProgrammierLab
SS2023
- Rechnerarchitektur
- ProSeminar: Echtzeitbetriebssysteme
- Seminar: Echtzeittheorie
WS2022/2023
- Grundlagen der technischen Informatik
Position
Research Assistant
Contact
Felix Heinzmann, M. Sc.
Room O27/316
Institute of Embedded Systems /
Real-Time Systems
Ulm University
89069 Ulm
Germany
phone: +49 731 50 24177
fax: +49 731 50 24182