www.comlab.ox.ac.uk/people/matthias.fruth/index.html

Matthias Fruth

Personal photo - Matthias Fruth

Matthias  Fruth 



Doctoral Student

Student, Trinity College



matthias.fruth@comlab.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My main research interests are:

Biography

From January 2005 to September 2007, I was a PhD Student and Teaching Assistant in the School of Computer Science of the University of Birmingham. From October to December 2006, I was a Visiting Researcher in the Formal Methods program of National ICT Australia in Sydney and worked with Annabelle McIver and Ansgar Fehnker on the PEWNA project.

Between 1999 and 2005, I studied Computer Science with minor subject Mathematics at the Department of Computer Science of TU Dresden and obtained a Bachelor and a Diploma degree in 2002 and 2005 respectively. From September 2002 to June 2003, I visited the University of Birmingham under the ERASMUS programme and studied Computer Science and Mathematics.

Selected Publications

View all

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.

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.

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

Info

Themes

Activities

Projects

Supervisor