| 2026 | CAV | TACO: A Toolsuite for the Verification of Threshold Automata. | Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs |
| 2025 | VMCAI | Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. | Paul Eichler, Swen Jacobs, Chana Weil-Kennedy |
| 2024 | FM | Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. | Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2024 | RO-MAN | A Hybrid Approach of No-Code Robot Programming for Agile Production: Integrating Finger-Gesture and Point Cloud. | Jayanto Halim, Paul Eichler, Sebastian Krusche, Mohamad Bdiwi, Steffen Ihlenfeldt |
| 2024 | VMCAI | Parameterized Verification of Disjunctive Timed Networks. | tienne Andr, Paul Eichler, Swen Jacobs, Shyam Lal Karra |
| 2023 | RO-MAN | Enhanced No-Code Finger-Gesture-Based Robot Programming: Simultaneous Path and Contour Awareness for Orientation Estimation. | Jayanto Halim, Paul Eichler, Sebastian Krusche, Mohamad Bdiwi, Steffen Ihlenfeldt |
| 2021 | RO-MAN | Modular System Design Approach for Online Ergonomics Assessment in Agile Production Environment | Paul Eichler, Aquib Rashid, Ibrahim Al Nasser, Jayanto Halim, Mohamad Bdiwi |