Matthias Fruth : Publications
|
[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 |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
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. |
|
[6] |
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 |
|
[7] |
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. |
|
[8] |
Formal Verification of Embedded Real−Time Systems Matthias Fruth Master's Thesis TU Dresden. Germany. 2005. Diplomarbeit |
|
[9] |
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. |
|
[10] |
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. |
|
[11] |
Überwachung von Java−Programmen mittels Java PathFinder Matthias Fruth 2002. Bachelor thesis. TU Dresden‚ Germany. |