Modular System Design Approach for Online Ergonomics Assessment in Agile Production Environment*. - Paul Eichler; Aquib Rashid; Ibrahim Al Nasser; Jayanto Halim; Mohamad Bdiwi (RO-MAN, 2021)

Situational zone-based robot control for heterogeneous safety sensors in agile HRI applications. - Mohamad Bdiwi; Sebastian Krusche; Jayanto Halim; Paul Eichler; Shuxiao Hou; Aquib Rashid; Ibrahim Al Naser; Steffen Ihlenfeldt (ROSE, 2022)

Towards safety4.0: A novel approach for flexible human-robot-interaction based on safety-related dynamic finite-state machine with multilayer operation modes. - Mohamad Bdiwi; Ibrahim Al Naser; Jayanto Halim; Sophie Bauer; Paul Eichler; Steffen Ihlenfeldt (Frontiers Robotics AI, 2022)

No-code robotic programming for agile production: A new markerless-approach for multimodal natural interaction in a human-robot collaboration context. - Jayanto Halim; Paul Eichler; Sebastian Krusche; Mohamad Bdiwi; Steffen Ihlenfeldt (Frontiers Robotics AI, 2022)

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 (RO-MAN, 2023)

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. - Tom Baumeister; Paul Eichler; Swen Jacobs; Mouhammad Sakr; Marcus Völp (FM (1), 2024)

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 (RO-MAN, 2024)

Parameterized Verification of Disjunctive Timed Networks. - Étienne André; Paul Eichler; Swen Jacobs; Shyam Lal Karra (VMCAI (1), 2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. - Paul Eichler; Swen Jacobs; Chana Weil-Kennedy (VMCAI (1), 2025)