We stand with Ukraine  

Paul Eichler

Orcid: 0009-0008-6117-318X

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Paul Eichler authored at least 4 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
TACO: A Toolsuite for the Verification of Threshold Automata.
[BibTeX]
[DOI]
Paul Eichler
,
Tom Baumeister
,
Mouhammad Sakr
,
Mahboubeh Kalateh Dowlati
,
Marcus Völp
,
Swen Jacobs
CoRR, May, 2026

2025
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.
[BibTeX]
[DOI]
Paul Eichler
,
Swen Jacobs
,
Chana Weil-Kennedy
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024
Parameterized Verification of Disjunctive Timed Networks.
[BibTeX]
[DOI]
Étienne André
,
Paul Eichler
,
Swen Jacobs
,
Shyam Lal Karra
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.
[BibTeX]
[DOI]
Tom Baumeister
,
Paul Eichler
,
Swen Jacobs
,
Mouhammad Sakr
,
Marcus Völp
Proceedings of the Formal Methods - 26th International Symposium, 2024


  Loading...