Paul Eichler

According to our database, Paul Eichler authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

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

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Parameterized Verification of Disjunctive Timed Networks.

Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

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

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

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

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

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

Proceedings of the IEEE International Symposium on Robotic and Sensors Environments, 2022

2021

Modular System Design Approach for Online Ergonomics Assessment in Agile Production Environment^*.

Paul Eichler, Aquib Rashid, Ibrahim Al Nasser, Jayanto Halim, Mohamad Bdiwi

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021