@inproceedings{Yueksel2011optimizing,
  title = "Optimizing Key Updates in Sensor Networks",
  author = "Ender Y{\"u}ksel and Hanne {Riis Nielson} and Flemming Nielson and Matthias Fruth and Marta Kwiatkowska",
  year = "2011",
  booktitle = "Proceedings of the 2011 IEEE Sensors Applications Symposium (SAS 2011)",
  note = "To appear",
}
@inbook{Deutschmann2010absicherungsstrategien,
  title = "Neue {A}bsicherungsstrategien f{\"u}r {S}teuerger{\"a}tesoftware",
  author = "Rocco Deutschmann and Matthias Fruth and Manuel Zabelt",
  year = "2010",
  booktitle = "Moderne {E}lektronik im {K}raftfahrzeug {V}",
  pages = "206--214",
  publisher = "Haus der {T}echnik",
}
@techreport{Yueksel2010optimizing,
  title = "Optimizing ZigBee Security using Stochastic Model Checking",
  author = "Ender Y{\"u}ksel and Hanne {Riis Nielson} and Flemming Nielson and Matthias Fruth and Marta Kwiatkowska",
  year = "2010",
  institution = "Technical University of Denmark",
}
@inbook{Fehnker2009graphical,
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  author = "Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  year = "2009",
  booktitle = "Methods, Models and Tools for Fault Tolerance",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5454",
}
@inproceedings{Boulis2008cavi,
  title = "CaVi: Simulation and Model Checking for Wireless Sensor Networks",
  author = "Athanassis Boulis and Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  year = "2008",
  booktitle = "Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008)",
  pages = "37--38",
}
@inproceedings{Fehnker2007graphical,
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  author = "Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  year = "2007",
  booktitle = "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)",
  note = "Technical Report CS-TR-1032, University of Newcastle upon Tyne",
  pages = "80--87",
}
@inproceedings{Fruth2006probabilistic,
  title = "Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol",
  author = "Matthias Fruth",
  year = "2006",
  booktitle = "Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)",
  pages = "290--297",
  publisher = "IEEE Computer Society",
}
@mastersthesis{Fruth2005formal,
  title = "Formal Verification of Embedded Real-Time Systems",
  author = "Matthias Fruth",
  year = "2005",
  address = "Germany",
  note = "Diplomarbeit",
  school = "TU Dresden",
}
@inproceedings{Deutschmann2004trace,
  title = "Trace Checking with Real-Time Specifications",
  author = "Rocco Deutschmann and Matthias Fruth and Horst Reichel and Hans-Christian Reuss",
  year = "2004",
  booktitle = "Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)",
}
@inproceedings{Hensel2003model,
  title = "Model Checking in an Industrial Environment",
  author = "Ulrich Hensel and Eva Fordran and Matthias Fruth and Hu Shaoyu and Madabhushi Srinivasan",
  year = "2003",
  booktitle = "Proceedings of the GI/ITG/GMM Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"",
  publisher = "Shaker-Verlag",
}
@misc{Fruth2002ueberwachung,
  title = "\"Uberwachung von Java-Programmen mittels Java PathFinder",
  author = "Matthias Fruth",
  year = "2002",
  note = "Bachelor thesis. TU Dresden, Germany.",
}