Login / Signup
Sven Mehlhop
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Control System
Petri Net
Industrial Automation
Asynchronous Circuits
Top Venues
ICIT
ETFA
CASE
</>
Publications
</>
Friederike Bruns
,
Sven Mehlhop
,
Bianca Wiesmayr
,
Alois Zoitl
Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems.
ICIT
(2024)
Bianca Wiesmayr
,
Sven Mehlhop
,
Alois Zoitl
Close Enough? Criteria for Sufficient Simulations of IEC 61499 Models.
CASE
(2023)
Sven Mehlhop
,
Jörg Walter
Model-aware Simulation of IEC 61499 Designs.
ETFA
(2022)