E-mail senden E-Mail Adresse kopieren
Doktorand:in

Tom Baumeister

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Tom Baumeister

Jahr 2025

2025-04-18

Automatic WSTS-based repair and deadlock detection of parameterized systems

Artikel

Formal methods in system design

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2024

2024-09-11

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata

Konferenz / Medium

Formal Methods (FM)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2020

2020-10

Explainable Reactive Synthesis

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)
Automated Technology for Verification and Analysis

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen