Matthias Woehrle

58 papers A 3B 7C 2Misc 3Journal 12Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	C to Rust Translation via Large Language Models. Softwaretechnik-Trends Jochen Quante, Jesko Hecking-Harbusch, Matthias Woehrle
2025	J	`jnl`	Deep Learning Safety Concerns in Automated Driving Perception. IEEE Trans. Intell. Veh. Stephanie Abrecht, Alexander Hirsch, Shervin Raafatnia, Matthias Woehrle
2025	J	`jnl`	Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System. CoRR Martin Weiss, Jesko Hecking-Harbusch, Jochen Quante, Matthias Woehrle
2025	—	`conf`	Mitigation of Distribution Shifts for Data-Based Virtual Sensors. ECC Kenzo Uhlig, Michael Hilsch, Eric Lenz, Matthias Woehrle, Rolf Findeisen
2024	—	`conf`	A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. SAFECOMP (Workshops) Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2024	J	`jnl`	A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2024	J	`jnl`	Chances and Challenges of LLM-based Software Reengineering. Softwaretechnik-Trends Jochen Quante, Matthias Woehrle
2023	J	`jnl`	Deep Learning Safety Concerns in Automated Driving Perception. CoRR Stephanie Abrecht, Alexander Hirsch, Shervin Raafatnia, Matthias Woehrle
2022	A	`conf`	Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2021	—	`conf`	From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains. CVPR Workshops Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2021	J	`jnl`	Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. CoRR 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
2021	—	`conf`	Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes. ICCVW Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel
2021	—	`conf`	On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. ISSRE Workshops Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl
2021	J	`jnl`	Testing Deep Learning-based Visual Perception for Automated Driving. ACM Trans. Cyber Phys. Syst. Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle
2021	—	`conf`	Towards threat metric evaluation in complex urban scenarios. ITSC Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
2020	—	`conf`	Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle
2020	—	`conf`	Revisiting Neuron Coverage and Its Application to Test Generation. SAFECOMP Workshops Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle
2020	C	`conf`	Scenario-based threat metric evaluation based on the highd dataset. IV Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle
2019	J	`jnl`	Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
2019	—	`conf`	Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops Matthias Woehrle, Christoph Gladisch, Christian Heinzemann
2018	C	`conf`	A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
2016	—	`conf`	Experience Report: White Box Test Case Generation for Automotive Embedded Software. ICST Workshops Andreas Hoffmann, Jochen Quante, Matthias Woehrle
2016	—	`conf`	Reachset Conformance Testing of Hybrid Automata. HSCC Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
2015	—	`conf`	Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
2014	—	`conf`	Benchmark: Reachability on a model with holes. ARCH@CPSWeek Thomas Heinz, Jens Oehlerking, Matthias Woehrle
2014	A	`conf`	Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle
2014	B	`conf`	SOFA: Communication in Extreme Wireless Sensor Networks. EWSN Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen
2013	Misc	`conf`	Communication in extreme wireless sensor networks. SenSys Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen
2013	J	`jnl`	Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation. Pervasive Mob. Comput. Niels Brouwers, Matthias Woehrle
2013	B	`conf`	Fairness for All, Rate Allocation for Mobile Wireless Networks. MASS Andreas Loukas, Matthias Woehrle, Marco Zuniga, Koen Langendoen
2013	—	`conf`	Think globally, act locally: on the reshaping of information landscapes. IPSN Andreas Loukas, Marco Zuniga, Matthias Woehrle, Marco Cattani, Koen Langendoen
2012	—	`conf`	868 MHz: A noiseless environment, but no free lunch for protocol design. INSS Matthias Woehrle, Martin C. Bor, Koen Langendoen
2012	J	`jnl`	Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. Matthias Woehrle, Kai Lampka, Lothar Thiele
2012	B	`conf`	Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
2012	—	`conf`	On distributed computation of information potentials. FOMC Andreas Loukas, Matthias Woehrle, Philipp M. Glatz, Koen Langendoen
2012	A	`conf`	Search-Based Stress Testing of Wireless Network Protocol Stacks. ICST Matthias Woehrle
2011	B	`conf`	Chrysso - A multi-channel approach to mitigate external interference. SECON Venkat Iyer, Matthias Woehrle, Koen Langendoen
2011	B	`conf`	Comparative performance analysis of the PermaDozer protocol in diverse deployments. LCN Matthias Keller, Matthias Woehrle, Roman Lim, Jan Beutel, Lothar Thiele
2011	—	`conf`	On mining sensor network software repositories. SESENA@ICSE Andreas Loukas, Matthias Woehrle, Koen Langendoen
2011	J	`jnl`	Poster Abstract: If You Have Time, Save Energy with Pull CoRR David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
2011	—	`conf`	Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS Matthias Woehrle, Kai Lampka, Lothar Thiele
2010	—	`conf`	Chamaeleon - Exploiting multiple channels to mitigate interference. INSS Venkatraman Iyer, Matthias Woehrle, Koen Langendoen
2010	—	`conf`	Exploiting protocol models for generating feasible communication stack configurations. IPSN Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele
2010	Misc	`conf`	If you have time, save energy with pull. SenSys David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
2010	—	`conf`	On the potential of software rejuvenation for long-running sensor network deployments. SESENA@ICSE Matthias Woehrle, Andreas Meier, Koen Langendoen
2010	—	`conf`	Rupeas: Ruby powered event analysis DSL. INSS Matthias Woehrle, Christian Plessl, Lothar Thiele
2010	—	`—`	Testing of wireless sensor networks. Matthias Woehrle
2010	B	`conf`	ZeroCal: Automatic MAC Protocol Calibration. DCOSS Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele
2009	—	`conf`	Demo abstract: Operating a sensor network at 3500 m above sea level. IPSN Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel
2009	—	`conf`	Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS Matthias Woehrle, Kai Lampka, Lothar Thiele
2009	—	`conf`	MoMi: model-based diagnosis middleware for sensor networks. MidSens Adriaan de Jong, Matthias Woehrle, Koen Langendoen
2009	B	`conf`	NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks. SECON Andreas Meier, Matthias Woehrle, Mischa Weise, Jan Beutel, Lothar Thiele
2009	—	`conf`	PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. IPSN Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel
2009	Misc	`conf`	The FlockLab testbed architecture. SenSys Jan Beutel, Roman Lim, Andreas Meier, Lothar Thiele, Christoph Walser, Matthias Woehrle, Mustafa Yuecel
2009	—	`ch.`	Wireless Sensor Networks Testing and Validation. Networked Embedded Systems Matthias Woehrle, Jan Beutel, Lothar Thiele
2008	—	`conf`	EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. SUTC Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele
2008	—	`conf`	Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs. MCDM Matthias Woehrle, Dimo Brockhoff, Tim Hohm, Stefan Bleuler
2007	—	`conf`	Increasing the reliability of wireless sensor networks with a distributed testing framework. EmNets Matthias Woehrle, Christian Plessl, Jan Beutel, Lothar Thiele