|
|
Matthias Fruth: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
CaVi: Simulation and Model Checking for Wireless Sensor Networks
Athanassis Boulis et al.
In Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008) 2008.
Details
|
BibTeX
| Download (pdf) |
|
[2]
|
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
|
BibTeX
| Download (pdf) |
|
[3]
|
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
|
BibTeX
| Download (pdf) |
|
[4]
|
Formal Verification of Embedded Real-Time Systems
Matthias Fruth
Master's Thesis. TU Dresden, Germany. 2005.
Diplomarbeit.
Details
|
BibTeX
| Download (pdf) |
|
[5]
|
Trace Checking with Real-Time Specifications
Rocco Deutschmann et al.
In Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004) 2004.
Details
|
BibTeX
| Download (pdf) |
|
[6]
|
Model Checking in an Industrial Environment
Ulrich Hensel et al.
In Proceedings of the GI/ITG/GMM Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" Shaker-Verlag, 2003.
Details
|
BibTeX
| Download (pdf) |
|
[7]
|
Überwachung von Java-Programmen mittels Java PathFinder
Matthias Fruth
2002.
Bachelor thesis. TU Dresden, Germany.
Details
|
BibTeX
| Download (pdf) |
|
|
|
|
