Send email Copy Email Address
Placeholder
PhD Student

Paul Eichler

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Paul Eichler

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
2024-01-20

Parameterized Verification of Disjunctive Timed Networks.

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page