Send email Copy Email Address
PhD Student

Tom Baumeister

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Tom Baumeister

Year 2025

2025-04-18

Automatic WSTS-based repair and deadlock detection of parameterized systems

Article

Formal methods in system design

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2024

2024-09-11

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

Conference / Medium

Formal Methods (FM)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2020

2020-10

Explainable Reactive Synthesis

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page