Sven Mehlhop

According to our database, Sven Mehlhop authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring.

Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jörg Walter, Frank Oppenheimer, Franco Fummi

Proceedings of the 29th International Conference on Methods and Models in Automation and Robotics, 2025

Open-Source Timing-Monitor Co-Processor in RISC-V Safety Infrastructure.

Sven Mehlhop, Jörg Walter, Frank Oppenheimer

Proceedings of the Forum on Specification & Design Languages, 2025

2024

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems.

Friederike Bruns, Sven Mehlhop, Bianca Wiesmayr, Alois Zoitl

Proceedings of the IEEE International Conference on Industrial Technology, 2024

Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors.

Friederike Bruns, Andreas Rauh, Francesco Tosoni, Franco Fummi, Sven Mehlhop, Frank Oppenheimer

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2023

Close Enough? Criteria for Sufficient Simulations of IEC 61499 Models.

Bianca Wiesmayr, Sven Mehlhop, Alois Zoitl

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Model-aware Simulation of IEC 61499 Designs.

Sven Mehlhop, Jörg Walter

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022