Matthias Woehrle
According to our database1,
Matthias Woehrle
authored at least 53 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Softwaretechnik-Trends, May, 2024
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
2021
ACM Trans. Cyber Phys. Syst., 2021
CoRR, 2021
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021
On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
Instance Segmentation in CARLA: Methodology and Analysis for Pedestrian-oriented Synthetic Data Generation in Crowded Scenes.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
From Evaluation to Verification: Towards Task-Oriented Relevance Metrics for Pedestrian Detection in Safety-Critical Domains.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021
2020
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020
2019
ACM Trans. Cyber Phys. Syst., 2019
Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.
Proceedings of the Computer Safety, Reliability, and Security, 2019
2018
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Proceedings of the 2018 Annual American Control Conference, 2018
2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Proceedings of the Wireless Sensor Networks - 11th European Conference, 2014
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
2013
Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation.
Pervasive Mob. Comput., 2013
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013
Proceedings of the IEEE 10th International Conference on Mobile Ad-Hoc and Sensor Systems, 2013
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013
2012
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the Ninth International Conference on Networked Sensing, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the FOMC'12, 2012
2011
Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, 2011
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
2010
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010
Exploiting protocol models for generating feasible communication stack configurations.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010
Proceedings of the Seventh International Conference on Networked Sensing Systems, 2010
Proceedings of the Seventh International Conference on Networked Sensing Systems, 2010
On the potential of software rejuvenation for long-running sensor network deployments.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010
Proceedings of the Distributed Computing in Sensor Systems, 2010
2009
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009
Proceedings of the Fourth International Workshop on Middleware for Sensor Networks, 2009
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009
PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009
2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs.
Proceedings of the Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems, 2008
2007
Increasing the reliability of wireless sensor networks with a distributed testing framework.
Proceedings of the 4th Workshop on Embedded Networked Sensors, 2007