Folgen
Tom Baumeister
Tom Baumeister
CISPA Helmholtz Center for Information Security
Bestätigte E-Mail-Adresse bei cispa.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Explainable reactive synthesis
T Baumeister, B Finkbeiner, H Torfah
International Symposium on Automated Technology for Verification and …, 2020
72020
Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems
T Baumeister, S Jacobs, M Sakr, M Völp
2024
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
T Baumeister, P Eichler, S Jacobs, M Sakr, M Völp
arXiv preprint arXiv:2406.19880, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3