Matthias Woehrle

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software

Goran Frehse, Arne Hamann, Sophie Quinton et al. · 2014 · 69 citations

Engineering, Computer Science, Systems Engineering +17

Model Conformance for Cyber-Physical Systems

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle et al. · ACM Transactions on Cyber-Physical Systems · 2019 · 52 citations · Full text

Engineering, Computer Science, Systems Engineering +14

PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes

Jan Beutel, Stephan Gruber, Andreas Hasler et al. · Open MIND · 2009 · 50 citations

Engineering, Earth Sciences, Environmental Sciences +16

Reachset Conformance Testing of Hybrid Automata

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle et al. · 2016 · 44 citations · Full text

Computing, Computer Science, Systems Engineering +15

Leveraging combinatorial testing for safety-critical computer vision datasets

Christoph Gladisch, Christian Heinzemann, Martin Herrmann et al. · 2020 · 36 citations

Computing, Computer Science, Artificial Intelligence +14