Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paul Eichler
conf.researchr.org general profile
FM 2026 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Mon 30 Dec 2024
Name:
Paul Eichler
Country:
Germany
Affiliation:
CISPA - Helmholtz Center for Information Security
Contributions
2026
FM
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2025
VMCAI
Author of Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction within the VMCAI 2025-track
2024
VMCAI
Author of Parameterized Verification of Disjunctive Timed Networks within the VMCAI 2024-track
Share
x
Mon 27 Apr 02:58