Model Checking in an Industrial Environment. - Eva Fordran; Matthias Fruth; Ulrich Hensel; Hu Shaoyu; Madabhushi Srinivasan (MBMV, 2003)

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. - Matthias Fruth (ISoLA, 2006)

07101 Working Group Report – Performance Measures Other Than Time. - Lucia Cloth; Pepijn Crouzen; Matthias Fruth; Tingting Han 001; David N. Jansen; Mark Kattenbelt; Gerard J. M. Smit; Lijun Zhang 001 (Quantitative Aspects of Embedded Systems, 2007)

CaVi – Simulation and Model Checking for Wireless Sensor Networks. - Athanassios Boulis; Ansgar Fehnker; Matthias Fruth; Annabelle McIver (QEST, 2008)

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. - Ansgar Fehnker; Matthias Fruth; Annabelle McIver (Methods, Models and Tools for Fault Tolerance, 2009)

Formal methods for the analysis of wireless network protocols. - Matthias Fruth (2011)

Optimizing ZigBee Security using Stochastic Model Checking - Ender Yüksel; Hanne Riis Nielson; Flemming Nielson; Matthias Fruth; Marta Z. Kwiatkowska (CoRR, 2012)

Unreliable Test Infrastructures in Automotive Testing Setups. - Claudius Jordan; Philipp Foth; Alexander Pretschner; Matthias Fruth (ICSE (SEIP), 2022)

Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). - Claudius Jordan; Philipp Foth; Matthias Fruth; Alexander Pretschner (ISSRE, 2022)