Sven Mehlhop Wissenschaftlicher Mitarbeiter

Sven Mehlhop
Kontaktdaten

+49 441 9722-556

sven.mehlhop(at)offis.de

O80

Publikationen
von Sven Mehlhop

2024

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

Bruns, Friederike and Rauh, Andreas and Tosoni, Francesco and Fummi, Franco and Mehlhop, Sven and Oppenheimer, Frank; 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA); 2024

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

Bruns, Friederike and Mehlhop, Sven and Wiesmayr, Bianca and Zoitl, Alois; IEEE International Conference on Industrial Technology (ICIT); 2024

Timing-Monitor co-processor in safety infrastructure

Mehlhop, Sven and Oppenheimer, Frank and Walter, Jörg; edaBarCamp; 09 / 2024

Towards a Methodology for Evaluating the Execution Semantics of IEC 61499 Runtime Environments

Pfefferkorn, Christian and Mehlhop, Sven and Rauh, Andreas and Walter, Jörg; MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen; 02 / 2024

2023

Close Enough? Criteria for Sufficient Simulations of IEC 61499 Models

Wiesmayr, Bianca and Mehlhop, Sven and Zoitl, Alois; IEEE 19th International Conference on Automation Science and Engineering (CASE); 08 / 2023

PHD Forum Submission - Ensuring Real-Time Correctness for IEC 61499 Designs

Mehlhop, Sven; FDL 2023 - Forum on specification & Design Languages; 09 / 2023

WiP A Time Model for an Event-Queue based IEC 61499 Runtime

Mehlhop, Sven; FDL 2023 - Forum on specification & Design Languages; 09 / 2023

2022

Model-aware Simulation of IEC 61499 Designs

Mehlhop, Sven and Walter, Jörg; 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA); 09 / 2022

BIB