Matthias Fruth

According to our database, Matthias Fruth authored at least 9 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report).

Claudius Jordan, Philipp Foth, Matthias Fruth, Alexander Pretschner

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Unreliable Test Infrastructures in Automotive Testing Setups.

Claudius Jordan, Philipp Foth, Alexander Pretschner, Matthias Fruth

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2012

Optimizing ZigBee Security using Stochastic Model Checking

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska

CoRR, 2012

2011

Formal methods for the analysis of wireless network protocols.

Matthias Fruth

PhD thesis, 2011

2009

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.

Ansgar Fehnker, Matthias Fruth, Annabelle McIver

Proceedings of the Methods, 2009

2008

CaVi -- Simulation and Model Checking for Wireless Sensor Networks.

Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

07101 Working Group Report -- Performance Measures Other Than Time.

Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2006

Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.

Matthias Fruth

Proceedings of the Leveraging Applications of Formal Methods, 2006

2003

Model Checking in an Industrial Environment.

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003