Matthias Fruth

Überwachung von Java−Programmen mittels Java PathFinder

Matthias Fruth, 2002 .

Optimizing ZigBee Security using Stochastic Model Checking pdf

Flemming Nielson, Hanne Riis Nielson, Marta Z. Kwiatkowska, 2012, ArXiv.

Formal Verification of Embedded Real−Time Systems

Matthias Fruth, M. Fruth, 2005 .

Model Checking in an Industrial Environment

Matthias Fruth, Eva Fordran, Ulrich Hensel, 2003, MBMV.

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Annabelle McIver, Ansgar Fehnker, Athanassios Boulis, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Formal methods for the analysis of wireless network protocols

Matthias Fruth, M. Fruth, Matthias Fruth, 2011 .

07101 Working Group Report -- Performance Measures Other Than Time

Lijun Zhang, Gerard J. M. Smit, Lucia Cloth, 2007, Quantitative Aspects of Embedded Systems.

Trace Checking with Real−Time Specifications

Matthias Fruth, M. Fruth, 2004 .

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols

Annabelle McIver, Ansgar Fehnker, Matthias Fruth, 2009, Methods, Models and Tools for Fault Tolerance.

Optimizing key updates in sensor networks

Flemming Nielson, Hanne Riis Nielson, Marta Kwiatkowska, 2011, 2011 IEEE Sensors Applications Symposium.

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

Matthias Fruth, M. Fruth, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).