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

Paul Eichler

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Veröffentlichungen von Paul Eichler

Jahr 2025

2025-01-24

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

Konferenz / Medium

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

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

Parameterized Verification of Disjunctive Timed Networks.

Konferenz / Medium

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

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