Matthias Woehrle

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Venues

CoRR

SAFECOMP Workshops

ACM Trans. Cyber Phys. Syst.

ARCH@CPSWeek

ETH Zurich, Zürich, Switzerland (PHD)

Education History

ETH Zurich, Zürich, Switzerland

PHD

Publications

Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR (2024)
Jochen Quante, Matthias Woehrle
Chances and Challenges of LLM-based Software Reengineering. Softwaretechnik-Trends 44 (2) (2024)
Stephanie Abrecht, Alexander Hirsch, Shervin Raafatnia, Matthias Woehrle
Deep Learning Safety Concerns in Automated Driving Perception. CoRR (2023)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS (2022)
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Towards threat metric evaluation in complex urban scenarios. ITSC (2021)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. CVPR Workshops (2021)
Sebastian Houben, Stephanie Abrecht, Maram Akila, Andreas Bär, Felix Brockherde, Patrick Feifel, Tim Fingscheidt, Sujan Sai Gannamaneni, Seyed Eghbal Ghobadi, Ahmed Hammam, Anselm Haselhoff, Felix Hauser, Christian Heinzemann, Marco Hoffmann, Nikhil Kapoor, Falk Kappel, Marvin Klingner, Jan Kronenberger, Fabian Küppers, Jonas Löhdefink, Michael Mlynarski, Michael Mock, Firas Mualla, Svetlana Pavlitskaya, Maximilian Poretschkin, Alexander Pohl, Varun Ravi Kumar, Julia Rosenzweig, Matthias Rottmann, Stefan Rüping, Timo Sämann, Jan David Schneider, Elena Schulz, Gesina Schwalbe, Joachim Sicking, Toshika Srivastava, Serin Varghese, Michael Weber, Sebastian Wirkert, Tim Wirtz, Matthias Woehrle
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. CoRR (2021)
Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. ISSRE Workshops (2021)
Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle
Testing Deep Learning-based Visual Perception for Automated Driving. ACM Trans. Cyber Phys. Syst. 5 (4) (2021)
Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes. ICCVW (2021)
Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
Scenario-based threat metric evaluation based on the highd dataset. IV (2020)
Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle
Revisiting Neuron Coverage and Its Application to Test Generation. SAFECOMP Workshops (2020)
Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle
Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops (2020)
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Matthias Woehrle, Christoph Gladisch, Christian Heinzemann
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops (2019)
Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Reachset Conformance Testing of Hybrid Automata. HSCC (2016)
Andreas Hoffmann, Jochen Quante, Matthias Woehrle
Experience Report: White Box Test Case Generation for Automotive Embedded Software. ICST Workshops (2016)
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek (2015)
Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen
SOFA: Communication in Extreme Wireless Sensor Networks. EWSN (2014)
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS (2014)
Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Benchmark: Reachability on a model with holes. ARCH@CPSWeek (2014)
Andreas Loukas, Marco Zuniga, Matthias Woehrle, Marco Cattani, Koen Langendoen
Think globally, act locally: on the reshaping of information landscapes. IPSN (2013)
Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen
Communication in extreme wireless sensor networks. SenSys (2013)
Andreas Loukas, Matthias Woehrle, Marco Zuniga, Koen Langendoen
Fairness for All, Rate Allocation for Mobile Wireless Networks. MASS (2013)
Niels Brouwers, Matthias Woehrle
Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation. Pervasive Mob. Comput. 9 (5) (2013)
Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM (2012)
Andreas Loukas, Matthias Woehrle, Philipp M. Glatz, Koen Langendoen
On distributed computation of information potentials. FOMC (2012)
Matthias Woehrle
Search-Based Stress Testing of Wireless Network Protocol Stacks. ICST (2012)
Matthias Woehrle, Martin C. Bor, Koen Langendoen
868 MHz: A noiseless environment, but no free lunch for protocol design. INSS (2012)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Venkat Iyer, Matthias Woehrle, Koen Langendoen
Chrysso - A multi-channel approach to mitigate external interference. SECON (2011)
David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
Poster Abstract: If You Have Time, Save Energy with Pull CoRR (2011)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS (2011)
Andreas Loukas, Matthias Woehrle, Koen Langendoen
On mining sensor network software repositories. SESENA@ICSE (2011)
Matthias Keller, Matthias Woehrle, Roman Lim, Jan Beutel, Lothar Thiele
Comparative performance analysis of the PermaDozer protocol in diverse deployments. LCN (2011)
Matthias Woehrle, Andreas Meier, Koen Langendoen
On the potential of software rejuvenation for long-running sensor network deployments. SESENA@ICSE (2010)
Matthias Woehrle, Christian Plessl, Lothar Thiele
Rupeas: Ruby powered event analysis DSL. INSS (2010)
Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
ZeroCal: Automatic MAC Protocol Calibration. DCOSS (2010)
Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele
Exploiting protocol models for generating feasible communication stack configurations. IPSN (2010)
Venkatraman Iyer, Matthias Woehrle, Koen Langendoen
Chamaeleon - Exploiting multiple channels to mitigate interference. INSS (2010)
David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
If you have time, save energy with pull. SenSys (2010)
Jan Beutel, Roman Lim, Andreas Meier, Lothar Thiele, Christoph Walser, Matthias Woehrle, Mustafa Yuecel
The FlockLab testbed architecture. SenSys (2009)
Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel
Demo abstract: Operating a sensor network at 3500 m above sea level. IPSN (2009)
Adriaan de Jong, Matthias Woehrle, Koen Langendoen
MoMi: model-based diagnosis middleware for sensor networks. MidSens (2009)
Andreas Meier, Matthias Woehrle, Mischa Weise, Jan Beutel, Lothar Thiele
NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks. SECON (2009)
Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel
PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. IPSN (2009)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS (2009)
Matthias Woehrle, Dimo Brockhoff, Tim Hohm, Stefan Bleuler
Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs. MCDM (2008)
Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. SUTC (2008)
Matthias Woehrle, Christian Plessl, Jan Beutel, Lothar Thiele
Increasing the reliability of wireless sensor networks with a distributed testing framework. EmNets (2007)

Matthias Woehrle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Woehrle