Matthias Fruth
Matthias Fruth
Head of Research, TraceTronic GmbH
Verified email at fruth.org
Title
Cited by
Cited by
Year
Probabilistic model checking of contention resolution in the IEEE 802.15. 4 low-rate wireless personal area network protocol
M Fruth
2nd International Symposium on Leveraging Applications of Formal Methods …, 2006
852006
Graphical modelling for simulation and formal analysis of wireless network protocols
A Fehnker, M Fruth, AK McIver
Methods, Models and Tools for Fault Tolerance, 1-24, 2009
362009
Graphical modelling for simulation and formal analysis of wireless network protocols
A Fehnker, M Fruth, A McIver
Methods, Models and Tools for Fault Tolerance, 1-24, 2009
362009
Formal Methods for the Analysis of Wireless Network Protocols
M Fruth
University of Oxford, 2011
272011
CaVi: Simulation and Model Checking for Wireless Sensor Networks
A Boulis, A Fehnker, M Fruth, A McIver
5th International Conference on Quantitative Evaluation of Systems (QEST …, 2008
162008
Optimizing ZigBee Security using Stochastic Model Checking
E Yuksel, HR Nielson, F Nielson, M Fruth, M Kwiatkowska
IMM-Technical Report-2010-08, Technical University of Denmark, 2010
82010
Optimizing key updates in sensor networks
E Yuksel, HR Nielson, F Nielson, M Fruth, M Kwiatkowska
2011 IEEE Sensors Applications Symposium (SAS 2011), 82-87, 2011
62011
Trace checking with real-time specifications
R Deutschmann, M Fruth, H Reichel, HC Reuss
5th Symposium on Formal Methods for Automation and Safety in Railway and …, 2004
52004
Neue Absicherungsstrategien für Steuergerätesoftware
R Deutschmann, M Fruth, M Zabelt
30th Conference on Elektronics in Vehicles, 206-214, 2010
12010
Graphical modelling for simulation and formalanalysis of wireless network protocols
A Fehnker, M Fruth, A McIver
12008
Formal Verification of Embedded Real-Time Systems
M Fruth
TU Dresden, Germany, 2005
12005
Überwachung von Java-Programmen mittels Java PathFinder
M Fruth
TU Dresden, Germany, 2002
12002
Trace-analysis methods for the intuitive and automated validation of control-unit software
M Fruth, M Zabelt, R Deutschmann
5th International Symposium on Development Methodology, 2013
2013
Neue Konzepte der Traceanalyse zur effizienten automatisierten Validierung von Steuergerätesoftware
M Fruth, M Zabelt, R Deutschmann
4th AutoTest Technical Conference on 'Test of Hardware and Software in …, 2012
2012
Generating optimized stochastic power management strategies for electric car components
M Fruth, S Bastian
2nd International Energy Efficient Vehicles Conference (EEVC 2012), 36-45, 2012
2012
New protection strategies for control unit software; Neue Absicherungsstrategien fuer Steuergeraetesoftware
R Deutschmann, M Fruth, M Zabelt
2010
Verfahren zur Überprüfung eingebetteter Systeme
R Deutschmann, M Zabelt, M Fruth
DE Patent App. 1,020,100,072,443, 2010
2010
Graphical modelling for simulation and formal analysis of wireless network protocols
M Fruth
2007
Performance Measures Other Than Time
L Cloth, P Crouzen, M Fruth, T Han, DN Jansen, M Kattenbelt, GJM Smit, ...
Dagstuhl Seminar on Quantitative Aspects of Embedded Systems, 2007
2007
Model Checking in an Industrial Environment
U Hensel, E Fordran, M Fruth, H Shaoyu, M Srinivasan
GI/ITG/GMM Workshop on Methoden und Beschreibungssprachen zur Modellierung …, 2003
2003
The system can't perform the operation now. Try again later.
Articles 1–20