Matthias Fruth : Publications
Book chapters
-
[1]
Neue Absicherungsstrategien für Steuergerätesoftware
Rocco Deutschmann‚ Matthias Fruth and Manuel Zabelt
In Moderne Elektronik im Kraftfahrzeug V. Pages 206–214. Haus der Technik. 2010.
Details about Neue Absicherungsstrategien für Steuergerätesoftware | BibTeX data for Neue Absicherungsstrategien für Steuergerätesoftware
-
[2]
Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
In Methods‚ Models and Tools for Fault Tolerance. Vol. 5454 of Lecture Notes in Computer Science. Springer. 2009.
Details about Graphical modelling for simulation and formal analysis of wireless network protocols | BibTeX data for Graphical modelling for simulation and formal analysis of wireless network protocols
Conference papers
-
[1]
Optimizing Key Updates in Sensor Networks
Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska
In Proceedings of the 2011 IEEE Sensors Applications Symposium (SAS 2011). 2011.
To appear
Details about Optimizing Key Updates in Sensor Networks | BibTeX data for Optimizing Key Updates in Sensor Networks
-
[2]
CaVi: Simulation and Model Checking for Wireless Sensor Networks
Athanassis Boulis‚ Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
In Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008). Pages 37–38. 2008.
Details about CaVi: Simulation and Model Checking for Wireless Sensor Networks | BibTeX data for CaVi: Simulation and Model Checking for Wireless Sensor Networks | Download (pdf) of CaVi: Simulation and Model Checking for Wireless Sensor Networks
-
[3]
Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
In Proceedings of the Workshop on Methods‚ Models and Tools for Fault Tolerance (MeMoT 2007) at the 7th International Conference on Integrated Formal Methods (IFM 2007). Pages 80–87. 2007.
Technical Report CS−TR−1032‚ University of Newcastle upon Tyne
Details about Graphical modelling for simulation and formal analysis of wireless network protocols | BibTeX data for Graphical modelling for simulation and formal analysis of wireless network protocols | Download (pdf) of Graphical modelling for simulation and formal analysis of wireless network protocols
-
[4]
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
Matthias Fruth
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA 2006). Pages 290–297. IEEE Computer Society. 2006.
Details about Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol | BibTeX data for Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol | Download (pdf) of Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol
-
[5]
Trace Checking with Real−Time Specifications
Rocco Deutschmann‚ Matthias Fruth‚ Horst Reichel and Hans−Christian Reuss
In Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004). 2004.
Details about Trace Checking with Real−Time Specifications | BibTeX data for Trace Checking with Real−Time Specifications | Download (pdf) of Trace Checking with Real−Time Specifications
-
[6]
Model Checking in an Industrial Environment
Ulrich Hensel‚ Eva Fordran‚ Matthias Fruth‚ Hu Shaoyu and Madabhushi Srinivasan
In Proceedings of the GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". Shaker−Verlag. 2003.
Details about Model Checking in an Industrial Environment | BibTeX data for Model Checking in an Industrial Environment | Download (pdf) of Model Checking in an Industrial Environment
Technical reports
-
[1]
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska
Technical University of Denmark. 2010.
Details about Optimizing ZigBee Security using Stochastic Model Checking | BibTeX data for Optimizing ZigBee Security using Stochastic Model Checking
Theses
-
[1]
Formal Verification of Embedded Real−Time Systems
Matthias Fruth
Master's Thesis TU Dresden. Germany. 2005.
Diplomarbeit
Details about Formal Verification of Embedded Real−Time Systems | BibTeX data for Formal Verification of Embedded Real−Time Systems | Download (pdf) of Formal Verification of Embedded Real−Time Systems
Miscellaneous
-
[1]
Überwachung von Java−Programmen mittels Java PathFinder
Matthias Fruth
2002.
Bachelor thesis. TU Dresden‚ Germany.
Details about Überwachung von Java−Programmen mittels Java PathFinder | BibTeX data for Überwachung von Java−Programmen mittels Java PathFinder | Download (pdf) of Überwachung von Java−Programmen mittels Java PathFinder