Algebraische und logische Grundlagen der Informatik
Aus International Center for Computational Logic
Algebraische und logische Grundlagen der Informatik
- Kontaktperson Christel Baier
- Sekretariat secretary_alg@mailbox.tu-dresden.de
Die Forschungsgruppe Algebraische und logische Grundlagen der Informatik beschäftigt sich mit der Modellierung, Spezifikation und Verifikation reaktiver Systeme. Zu den Forschungsschwerpunkten gehören die formale Analyse und Synthese stochastischer Systeme sowie Konzepte der Erklärbarkeit im Kontext formaler Methoden. Weitere Forschungsthemen sind Automatentheorie, temporale und modale Logiken, Spieltheorie und dynamische Systeme.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
Ehemalige
Dr.-Ing. Robin Ziemek
- Ehemals Wissenschaftlicher Mitarbeiter
- Algebraische und logische Grundlagen der Informatik
Neueste Publikationen
Komplette Publikationsliste anzeigen
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details
Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer
Details
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 83--94, August 2025. Springer
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download
Clemens Dubslaff, Nils Husung, Nikolai Käfer
Tailoring binary decision diagram compilation for feature models
Journal of Systems and Software, 231, 2025
Details
Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
When to Sample from Feature Diagrams?
Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS '25, 11-20, May 2025. Association for Computing Machinery
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Caros E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Sound Statistical Model Checking for Probabilities and Expected Rewards
In Arie Gurfinkel, Marijn Heule, eds., LNCS, volume 15696, 167-190, 2025. Springer Nature Switzerland
Details
Abschlussarbeiten
Wir bieten Bachelor-, Master- und Diplomarbeiten sowie den großen Beleg (INF-D-950 und INF-25-Ma-GB) an. Die Themen der Arbeiten haben in der Regel einen engen Bezug zu aktuellen Forschungsprojekten des Lehrstuhls. Zur Vorbereitung auf die Bachelorarbeit dient das Bachelorseminar und zur Vorbereitung auf den großen Beleg das Belegseminar (siehe unten).Bei Interesse an einer Abschlussarbeit wenden Sie sich bitte an Sascha Klüppelholz.
Lehrveranstaltungen
Sommersemester 2026
Lecture “Advanced Logics” (SS 2026)
Christel Baier; Jakob Piribauer • 4/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI, INF-25-Ma-FTK-AL
Analyse eines Forschungsthemas (SS 2026)
Christel Baier • Projektbearbeitung • auf Deutsch oder Englisch
Module: INF-D-960, INF-25-MA-AFT
CMS Research Project “Model Checking” (SS 2026)
Sascha Klüppelholz • 0/0/12 SWS • auf Englisch
Module: CMS-PRO
Forschungsprojekt (SS 2026)
Christel Baier • Projekte (100 Stunden) • auf Deutsch oder Englisch
Module: INF-25-MA-FP
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (SS 2026)
Christel Baier • 0/0/8 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS 2026)
Christel Baier • 0/0/4 SWS • auf Deutsch oder Englisch
Module: INF-MA-PR
Lab Course „Modeling and Automated Verification“ (SS 2026)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, MCL-PS
Profilprojekt Anwendungsforschung (SS 2026)
Christel Baier • 8P/PB • auf Deutsch oder Englisch
Module: INF-PM-FPA
Profilprojekt Grundlagenforschung (SS 2026)
Christel Baier • 8P/PB • auf Deutsch oder Englisch
Module: INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“ (SS 2026)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-B-610, INF-D-520, INF-25-Ba-WIA
Proseminar „Theoretische Informatik“ (SS 2026)
Sascha Klüppelholz • 0/2/0 SWS • auf Deutsch
Module: INF-25-BA-WIA, INF-B-610, INF-D-520
Research Seminar “Formal Methods” (SS 2026)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: INF-PM-FOR
Seminar “Selected Topics in Logic and Verification” (SS 2026)
Christel Baier • 0/2/0 SWS • auf Englisch
Module: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
Team Project „Model Checking“ (SS 2026)
Sascha Klüppelholz • 0/0/8 SWS • auf Englisch
Module: CMS-LM-TEA
Alle Lehrveranstaltungen anzeigen
CPEC
Grundlagen verständlicher Softwaresysteme
CeTI
Centre for Tactile Internet with Human-in-the-Loop
SECAI
School of Embedded Composite Artificial Intelligence
SEMECO-Q1: TrustMod
Secure Medical Microsystems and Communications: Stärkung der Vertrauenswürdigkeit und Erleichterung der Zertifizierung durch Separierung und Modularisierung (TrustMod)
