| From Evaluation to Verification: Towards Task-oriented Relevance Metrics for Pedestrian Detection in Safety-critical Domains | 1 | 0.41 | 2021 |
| On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning | 0 | 0.34 | 2021 |
| Towards threat metric evaluation in complex urban scenarios. | 0 | 0.34 | 2021 |
| Testing Deep Learning-based Visual Perception for Automated Driving | 0 | 0.34 | 2021 |
| Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes | 0 | 0.34 | 2021 |
| Scenario-based threat metric evaluation based on the highd dataset | 0 | 0.34 | 2020 |
| Model Conformance for Cyber-Physical Systems: A Survey. | 2 | 0.42 | 2019 |
| Experience Report: White Box Test Case Generation for Automotive Embedded Software | 3 | 0.49 | 2016 |
| Reachset Conformance Testing of Hybrid Automata. | 11 | 0.61 | 2016 |
| Industrial Examples of Formal Specifications for Test Case Generation. | 0 | 0.34 | 2015 |
| SOFA: Communication in Extreme Wireless Sensor Networks | 4 | 0.43 | 2014 |
| Benchmark: Reachability on a model with holes. | 0 | 0.34 | 2014 |
| Think globally, act locally: on the reshaping of information landscapes | 12 | 0.72 | 2013 |
| Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation. | 4 | 0.43 | 2013 |
| Fairness for All, Rate Allocation for Mobile Wireless Networks | 1 | 0.37 | 2013 |
| Communication in extreme wireless sensor networks | 3 | 0.40 | 2013 |
| Conformance testing for cyber-physical systems | 7 | 0.56 | 2012 |
| Search-Based Stress Testing of Wireless Network Protocol Stacks | 3 | 0.44 | 2012 |
| Mechanized extraction of topology anti-patterns in wireless networks | 2 | 0.38 | 2012 |
| 868 MHz: A noiseless environment, but no free lunch for protocol design | 7 | 0.59 | 2012 |
| On distributed computation of information potentials | 5 | 0.49 | 2012 |
| Segmented state space traversal for conformance testing of cyber-physical systems | 4 | 0.41 | 2011 |
| Chrysso — A multi-channel approach to mitigate external interference | 13 | 0.75 | 2011 |
| On mining sensor network software repositories | 0 | 0.34 | 2011 |
| Comparative performance analysis of the PermaDozer protocol in diverse deployments | 10 | 0.88 | 2011 |
| Poster Abstract: If You Have Time, Save Energy with Pull | 0 | 0.34 | 2011 |
| On the potential of software rejuvenation for long-running sensor network deployments | 1 | 0.38 | 2010 |
| If you have time, save energy with pull | 4 | 0.44 | 2010 |
| ZeroCal: automatic MAC protocol calibration | 17 | 0.81 | 2010 |
| Rupeas: Ruby Powered Event Analysis DSL | 1 | 0.38 | 2010 |
| Exploiting protocol models for generating feasible communication stack configurations | 0 | 0.34 | 2010 |
| NoSE: efficient maintenance and initialization of wireless sensor networks | 2 | 0.37 | 2009 |
| MoMi: model-based diagnosis middleware for sensor networks | 2 | 0.36 | 2009 |
| Demo abstract: Operating a sensor network at 3500 m above sea level | 1 | 0.36 | 2009 |
| PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes | 41 | 2.49 | 2009 |
| Exploiting Timed Automata for Conformance Testing of Power Measurements | 10 | 1.09 | 2009 |
| The FlockLab testbed architecture | 6 | 1.52 | 2009 |
| EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks | 4 | 0.43 | 2008 |
| Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs | 3 | 0.40 | 2008 |
| Increasing the reliability of wireless sensor networks with a distributed testing framework | 10 | 0.73 | 2007 |
