Jelena Barth

Jelena Barth is affiliated with the Department of Informatics at the University of Freiburg. She focuses on domain-specific languages and user interfaces for embedded systems. Her work intersects with software engineering, program analysis, and cyber-physical systems.

Teaching Roles: She has been actively involved in teaching since at least 2011, covering courses such as Software Engineering, Cyber-Physical Systems, Automata Theory, and Decision Procedures. Recent courses include:

• Summer 2025: Automatentheorie (Proseminar), Softwaretechnik
• Winter 2024/25: Cyber-Physical Systems I, Softwarepraktikum

Research Involvement: She contributes to projects like Ultimate, SMTInterpol, and Hybrid Systems Verification. Her work spans formal methods, static code analysis, and model-based testing. She is part of the Software Modeling and Verification (SWT) research group.

Lab/Team Affiliation: Active contributor to the Graduiertenkolleg and involved in projects like Wireless Fire Alarm Systems and Quasi-Dependent Variables research.