default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Woehrle
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2010
[b1]Matthias Woehrle:
Testing of wireless sensor networks. ETH Zurich, Zürich, Switzerland, Shaker 2010, ISBN 978-3-8322-9479-3, pp. 1-144
Journal Articles
- 2024
- [j5]Jochen Quante, Matthias Woehrle:
Chances and Challenges of LLM-based Software Reengineering. Softwaretechnik-Trends 44(2): 46-47 (2024) - 2021
- [j4]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): 37:1-37:28 (2021) - 2019
- [j3]Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3(3): 30:1-30:26 (2019) - 2013
- [j2]Niels Brouwers, Matthias Woehrle:
Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation. Pervasive Mob. Comput. 9(5): 665-680 (2013) - 2012
- [j1]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4): 84:1-84:23 (2012)
Conference and Workshop Papers
- 2024
- [c43]Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. SAFECOMP (Workshops) 2024: 335-350 - 2022
- [c42]Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
Towards Safety-Aware Pedestrian Detection in Autonomous Systems. IROS 2022: 293-300 - 2021
- [c41]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: 38-45 - [c40]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: 988-996 - [c39]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: 23-28 - [c38]Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle:
Towards threat metric evaluation in complex urban scenarios. ITSC 2021: 1192-1198 - 2020
- [c37]Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle:
Leveraging combinatorial testing for safety-critical computer vision datasets. CVPR Workshops 2020: 1314-1321 - [c36]Patrick Schneider, Martin Butz, Christian Heinzemann, Jens Oehlerking, Matthias Woehrle:
Scenario-based threat metric evaluation based on the highd dataset. IV 2020: 213-218 - [c35]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: 289-301 - 2019
- [c34]Matthias Woehrle, Christoph Gladisch, Christian Heinzemann:
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. SAFECOMP Workshops 2019: 333-345 - 2018
- [c33]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: 2384-2391 - 2016
- [c32]Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Reachset Conformance Testing of Hybrid Automata. HSCC 2016: 277-286 - [c31]Andreas Hoffmann, Jochen Quante, Matthias Woehrle:
Experience Report: White Box Test Case Generation for Automotive Embedded Software. ICST Workshops 2016: 269-274 - 2015
- [c30]Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle:
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek 2015: 80-88 - 2014
- [c29]Thomas Heinz, Jens Oehlerking, Matthias Woehrle:
Benchmark: Reachability on a model with holes. ARCH@CPSWeek 2014: 31-36 - [c28]Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen:
SOFA: Communication in Extreme Wireless Sensor Networks. EWSN 2014: 100-115 - [c27]Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle:
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. RTSS 2014: 53-62 - 2013
- [c26]Andreas Loukas, Marco Zuniga, Matthias Woehrle, Marco Cattani, Koen Langendoen:
Think globally, act locally: on the reshaping of information landscapes. IPSN 2013: 265-276 - [c25]Andreas Loukas, Matthias Woehrle, Marco Zuniga, Koen Langendoen:
Fairness for All, Rate Allocation for Mobile Wireless Networks. MASS 2013: 154-162 - [c24]Marco Cattani, Marco Zuniga, Matthias Woehrle, Koen Langendoen:
Communication in extreme wireless sensor networks. SenSys 2013: 44:1-44:2 - 2012
- [c23]Andreas Loukas, Matthias Woehrle, Philipp M. Glatz, Koen Langendoen:
On distributed computation of information potentials. FOMC 2012: 5 - [c22]Matthias Woehrle:
Search-Based Stress Testing of Wireless Network Protocol Stacks. ICST 2012: 794-803 - [c21]Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi:
Mechanized Extraction of Topology Anti-patterns in Wireless Networks. IFM 2012: 158-173 - [c20]Matthias Woehrle, Martin C. Bor, Koen Langendoen:
868 MHz: A noiseless environment, but no free lunch for protocol design. INSS 2012: 1-8 - 2011
- [c19]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS 2011: 193-208 - [c18]Andreas Loukas, Matthias Woehrle, Koen Langendoen:
On mining sensor network software repositories. SESENA@ICSE 2011: 25-30 - [c17]Matthias Keller, Matthias Woehrle, Roman Lim, Jan Beutel, Lothar Thiele:
Comparative performance analysis of the PermaDozer protocol in diverse deployments. LCN 2011: 957-965 - [c16]Venkat Iyer, Matthias Woehrle, Koen Langendoen:
Chrysso - A multi-channel approach to mitigate external interference. SECON 2011: 449-457 - 2010
- [c15]Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele:
ZeroCal: Automatic MAC Protocol Calibration. DCOSS 2010: 31-44 - [c14]Matthias Woehrle, Andreas Meier, Koen Langendoen:
On the potential of software rejuvenation for long-running sensor network deployments. SESENA@ICSE 2010: 44-48 - [c13]Venkatraman Iyer, Matthias Woehrle, Koen Langendoen:
Chamaeleon - Exploiting multiple channels to mitigate interference. INSS 2010: 65-68 - [c12]Matthias Woehrle, Christian Plessl, Lothar Thiele:
Rupeas: Ruby powered event analysis DSL. INSS 2010: 245-248 - [c11]Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele:
Exploiting protocol models for generating feasible communication stack configurations. IPSN 2010: 380-381 - [c10]David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele:
If you have time, save energy with pull. SenSys 2010: 423-424 - 2009
- [c9]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS 2009: 275-290 - [c8]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: 265-276 - [c7]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: 405-406 - [c6]Adriaan de Jong, Matthias Woehrle, Koen Langendoen:
MoMi: model-based diagnosis middleware for sensor networks. MidSens 2009: 19-24 - [c5]Andreas Meier, Matthias Woehrle, Mischa Weise, Jan Beutel, Lothar Thiele:
NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks. SECON 2009: 1-9 - [c4]Jan Beutel, Roman Lim, Andreas Meier, Lothar Thiele, Christoph Walser, Matthias Woehrle, Mustafa Yuecel:
The FlockLab testbed architecture. SenSys 2009: 415-416 - 2008
- [c3]Matthias Woehrle, Dimo Brockhoff, Tim Hohm, Stefan Bleuler:
Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs. MCDM 2008: 211-221 - [c2]Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele:
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks. SUTC 2008: 201-208 - 2007
- [c1]Matthias Woehrle, Christian Plessl, Jan Beutel, Lothar Thiele:
Increasing the reliability of wireless sensor networks with a distributed testing framework. EmNets 2007: 93-97
Parts in Books or Collections
- 2009
- [p1]Matthias Woehrle, Jan Beutel, Lothar Thiele:
Wireless Sensor Networks Testing and Validation. Networked Embedded Systems 2009: 11
Informal and Other Publications
- 2024
- [i4]Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel:
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. CoRR abs/2402.07642 (2024) - 2023
- [i3]Stephanie Abrecht, Alexander Hirsch, Shervin Raafatnia, Matthias Woehrle:
Deep Learning Safety Concerns in Automated Driving Perception. CoRR abs/2309.03774 (2023) - 2021
- [i2]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 abs/2104.14235 (2021) - 2011
- [i1]David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele:
Poster Abstract: If You Have Time, Save Energy with Pull. CoRR abs/1103.5695 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-20 00:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
