Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{Fehnker2009graphical,
  author = "Ansgar Fehnker, Matthias Fruth and Annabelle McIver",
  booktitle = "Methods, Models and Tools for Fault Tolerance",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  volume = "5454",
  year = "2009",
}


    
      @inproceedings{Boulis2008cavi,
  author = "Athanassis Boulis and Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  booktitle = "Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008)",
  pages = "37--38",
  title = "CaVi: Simulation and Model Checking for Wireless Sensor Networks",
  year = "2008",
}


    
      @inproceedings{Fehnker2007graphical,
  author = "Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  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",
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  year = "2007",
}


    
      @inproceedings{Fruth2006probabilistic,
  author = "Matthias Fruth",
  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",
  title = "Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol",
  year = "2006",
}


    
      @mastersthesis{Fruth2005formal,
  address = "Germany",
  author = "Matthias Fruth",
  note = "Diplomarbeit",
  school = "TU Dresden",
  title = "Formal Verification of Embedded Real-Time Systems",
  year = "2005",
}


    
      @inproceedings{Deutschmann2004trace,
  author = "Rocco Deutschmann and Matthias Fruth and Horst Reichel and Hans-Christian Reuss",
  booktitle = "Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)",
  title = "Trace Checking with Real-Time Specifications",
  year = "2004",
}


    
      @inproceedings{Hensel2003model,
  author = "Ulrich Hensel and Eva Fordran and Matthias Fruth and Hu Shaoyu and Madabhushi Srinivasan",
  booktitle = "Proceedings of the GI/ITG/GMM Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"",
  publisher = "Shaker-Verlag",
  title = "Model Checking in an Industrial Environment",
  year = "2003",
}


    
      @misc{Fruth2002ueberwachung,
  author = "Matthias Fruth",
  note = "Bachelor thesis. TU Dresden, Germany.",
  title = "\"Uberwachung von Java-Programmen mittels Java PathFinder",
  year = "2002",
}