Increasing the reliability of wireless sensor networks with a distributed testing framework. - Matthias Woehrle; Christian Plessl; Jan Beutel; Lothar Thiele (EmNets, 2007)

Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs. - Matthias Woehrle; Dimo Brockhoff; Tim Hohm; Stefan Bleuler (MCDM, 2008)

EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. - Matthias Woehrle; Christian Plessl; Roman Lim; Jan Beutel; Lothar Thiele (SUTC, 2008)

Wireless Sensor Networks Testing and Validation. - Matthias Woehrle; Jan Beutel; Lothar Thiele (Networked Embedded Systems, 2009)

Exploiting Timed Automata for Conformance Testing of Power Measurements. - Matthias Woehrle; Kai Lampka; Lothar Thiele (FORMATS, 2009)

PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. - Jan Beutel; Stephan Gruber; Andreas Hasler; Roman Lim; Andreas Meier 003; Christian Plessl; Igor Talzi; Lothar Thiele; Christian F. Tschudin; Matthias Woehrle; Mustafa Yuecel (IPSN, 2009)

Demo abstract: Operating a sensor network at 3500 m above sea level. - Jan Beutel; Stephan Gruber; Andreas Hasler; Roman Lim; Andreas Meier 003; Christian Plessl; Igor Talzi; Lothar Thiele; Christian F. Tschudin; Matthias Woehrle; Mustafa Yuecel (IPSN, 2009)

MoMi: model-based diagnosis middleware for sensor networks. - Adriaan de Jong; Matthias Woehrle; Koen Langendoen (MidSens, 2009)

NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks. - Andreas Meier 003; Matthias Woehrle; Mischa Weise; Jan Beutel; Lothar Thiele (SECON, 2009)

The FlockLab testbed architecture. - Jan Beutel; Roman Lim; Andreas Meier 003; Lothar Thiele; Christoph Walser; Matthias Woehrle; Mustafa Yuecel (SenSys, 2009)

ZeroCal: Automatic MAC Protocol Calibration. - Andreas Meier 003; Matthias Woehrle; Marco Zimmerling; Lothar Thiele (DCOSS, 2010)

On the potential of software rejuvenation for long-running sensor network deployments. - Matthias Woehrle; Andreas Meier 003; Koen Langendoen (SESENA@ICSE, 2010)

Chamaeleon - Exploiting multiple channels to mitigate interference. - Venkatraman Iyer; Matthias Woehrle; Koen Langendoen (INSS, 2010)

Rupeas: Ruby powered event analysis DSL. - Matthias Woehrle; Christian Plessl; Lothar Thiele (INSS, 2010)

Exploiting protocol models for generating feasible communication stack configurations. - Marco Zimmerling; Federico Ferrari; Matthias Woehrle; Lothar Thiele (IPSN, 2010)

If you have time, save energy with pull. - David Hasenfratz; Andreas Meier 003; Matthias Woehrle; Marco Zimmerling; Lothar Thiele (SenSys, 2010)

Testing of wireless sensor networks. - Matthias Woehrle (Shaker, 2010)

Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. - Matthias Woehrle; Kai Lampka; Lothar Thiele (FORMATS, 2011)

On mining sensor network software repositories. - Andreas Loukas; Matthias Woehrle; Koen Langendoen (SESENA@ICSE, 2011)

Comparative performance analysis of the PermaDozer protocol in diverse deployments. - Matthias Keller; Matthias Woehrle; Roman Lim; Jan Beutel; Lothar Thiele (LCN, 2011)

Chrysso - A multi-channel approach to mitigate external interference. - Venkat Iyer; Matthias Woehrle; Koen Langendoen (SECON, 2011)

Poster Abstract: If You Have Time, Save Energy with Pull - David Hasenfratz; Andreas Meier 003; Matthias Woehrle; Marco Zimmerling; Lothar Thiele (CoRR, 2011)

On distributed computation of information potentials. - Andreas Loukas; Matthias Woehrle; Philipp M. Glatz; Koen Langendoen (FOMC, 2012)

Search-Based Stress Testing of Wireless Network Protocol Stacks. - Matthias Woehrle (ICST, 2012)

Mechanized Extraction of Topology Anti-patterns in Wireless Networks. - Matthias Woehrle; Rena Bakhshi; Mohammad Reza Mousavi 001 (IFM, 2012)

868 MHz: A noiseless environment, but no free lunch for protocol design. - Matthias Woehrle; Martin C. Bor; Koen Langendoen (INSS, 2012)

Conformance testing for cyber-physical systems. - Matthias Woehrle; Kai Lampka; Lothar Thiele (ACM Trans. Embed. Comput. Syst., 2012)

Think globally, act locally: on the reshaping of information landscapes. - Andreas Loukas; Marco Zuniga; Matthias Woehrle; Marco Cattani; Koen Langendoen (IPSN, 2013)

Fairness for All, Rate Allocation for Mobile Wireless Networks. - Andreas Loukas; Matthias Woehrle; Marco Zuniga; Koen Langendoen (MASS, 2013)

Communication in extreme wireless sensor networks. - Marco Cattani; Marco Zuniga; Matthias Woehrle; Koen Langendoen (SenSys, 2013)

Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation. - Niels Brouwers; Matthias Woehrle (Pervasive Mob. Comput., 2013)

Benchmark: Reachability on a model with holes. - Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2014)

SOFA: Communication in Extreme Wireless Sensor Networks. - Marco Cattani; Marco Zuniga; Matthias Woehrle; Koen Langendoen (EWSN, 2014)

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. - Goran Frehse; Arne Hamann 001; Sophie Quinton; Matthias Woehrle (RTSS, 2014)

Industrial Examples of Formal Specifications for Test Case Generation. - Hendrik Roehm; Rainer Gmehlich; Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2015)

Reachset Conformance Testing of Hybrid Automata. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (HSCC, 2016)

Experience Report: White Box Test Case Generation for Automotive Embedded Software. - Andreas Hoffmann; Jochen Quante; Matthias Woehrle (ICST Workshops, 2016)

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. - Goran Frehse; Nikolaos Kekatos; Dejan Nickovic; Jens Oehlerking; Simone Schuler; Alexander Walsch; Matthias Woehrle (ACC, 2018)

Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. - Matthias Woehrle; Christoph Gladisch; Christian Heinzemann (SAFECOMP Workshops, 2019)

Model Conformance for Cyber-Physical Systems: A Survey. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (ACM Trans. Cyber Phys. Syst., 2019)

Leveraging combinatorial testing for safety-critical computer vision datasets. - Christoph Gladisch; Christian Heinzemann; Martin Herrmann; Matthias Woehrle (CVPR Workshops, 2020)

Scenario-based threat metric evaluation based on the highd dataset. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (IV, 2020)

Revisiting Neuron Coverage and Its Application to Test Generation. - Stephanie Abrecht; Maram Akila; Sujan Sai Gannamaneni; Konrad Groh; Christian Heinzemann; Sebastian Houben; Matthias Woehrle (SAFECOMP Workshops, 2020)

From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (CVPR Workshops, 2021)

Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (ICCVW, 2021)

On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. - Lydia Gauerhof; Roman Gansch; Christian Heinzemann; Matthias Woehrle; Andreas Heyl (ISSRE Workshops, 2021)

Towards threat metric evaluation in complex urban scenarios. - Patrick Schneider; Martin Butz; Christian Heinzemann; Jens Oehlerking; Matthias Woehrle (ITSC, 2021)

Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. - 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; et al. (CoRR, 2021)

Testing Deep Learning-based Visual Perception for Automated Driving. - Stephanie Abrecht; Lydia Gauerhof; Christoph Gladisch; Konrad Groh; Christian Heinzemann; Matthias Woehrle (ACM Trans. Cyber Phys. Syst., 2021)

Towards Safety-Aware Pedestrian Detection in Autonomous Systems. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (IROS, 2022)

A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. - Maria Lyssenko; Christoph Gladisch; Christian Heinzemann; Matthias Woehrle; Rudolph Triebel (SAFECOMP (Workshops), 2024)

Chances and Challenges of LLM-based Software Reengineering. - Jochen Quante; Matthias Woehrle (Softwaretechnik-Trends, 2024)

Deep Learning Safety Concerns in Automated Driving Perception. - Stephanie Abrecht; Alexander Hirsch; Shervin Raafatnia; Matthias Woehrle (IEEE Trans. Intell. Veh., 2025)

C to Rust Translation via Large Language Models. - Jochen Quante; Jesko Hecking-Harbusch; Matthias Woehrle (Softwaretechnik-Trends, 2025)