Send email Copy Email Address
Placeholder
PhD Student

Paul Eichler

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Paul Eichler

Year 2025

2025-01-24

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction

Conference / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Lecture Notes in Computer Science

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

Parameterized Verification of Disjunctive Timed Networks.

Conference / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page