Projekte Forschungsbereich Formal Methods in Systems Engineering

Laufende Projekte

Titel	Beginn	Ende	Orgeinheit
Abenteuer Informatik für Volksschulen	03.04.2023	31.03.2024	E192-04
Automated Cost Analysis of Data Structures	01.05.2023	30.04.2024	E192-04
Automated Reasoning with Theories and Induction for Software Technologies	01.07.2021	30.06.2026	E192-04
Automatische Amort. Ressourcenanalyse von Datenstrukturen	01.04.2023	31.03.2027	E192-04
Co-Creationspace Einreichung Transformer	01.12.2023	30.11.2026	E192-04
Distribution Recovery for Invariant Generation of Probabilistic Programs	01.05.2020	30.04.2025	E192-04
Effective Formal Methods for Smart-Contract Certification	01.09.2023	31.08.2027	E192-04
Inkrementelles SAT und SMT für skalierbare Verifikation	01.10.2021	30.09.2024	E192-04
LogiCs-Stipendien	01.03.2017	28.02.2025	E192-04
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design	01.01.2023	31.12.2026	E192-04
Spieltheoretische Modellierung des fAsset-Protokolls	01.06.2023	31.05.2024	E192-04
Symbol Elimination in Reliable System Engineering	01.06.2019	30.11.2020	E192-04
Symbolic Computation and Automated Reasoning for Program Analysis	01.04.2016	30.06.2021	E192-04

Titel	Beginn	Ende	Orgeinheit
Abstraction-based Parameterized TLA Checker	01.01.2016	31.12.2019	E192-04
Algorithmen Denken Anders	01.07.2019	30.06.2022	E192-04
AutoTest	01.04.2020	31.03.2021	E192-04
Bit-level Accurate Reasoning and Interpolation	01.08.2016	30.06.2020	E192-04
Domänenspezifisches Schließen in IoT Anwendungen	01.02.2019	31.01.2020	E192-04
FOREST: First-Order Reasoning for Ensuring System Security	01.04.2021	31.03.2022	E192-04
Formal methods for Realistic Environments in MAS	01.02.2019	31.07.2022	E192-04
Holonomic Sequences in Program Verification	01.07.2018	30.06.2021	E192-04
Tools for Concurrent and distributed Systems	01.03.2011	31.08.2019	E192-04