Matthias Fruth
|
Matthias
Fruth
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My main research interests are:
- formal methods for modelling, verification, and performance analysis of distributed systems;
- theory, implementation, and applications of probabilistic model checking, model checking, and runtime monitoring techniques;
- probabilistic model checking for ubiquitous computing;
- Quality of Service properties of wireless sensor networks and communication protocols;
- policy optimisation for power management of partially observable systems.
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
| 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 |
Probabilistic Model Checking | PRISM | Quantitative Analysis and Verification |
|
Projects |
|
|
Supervisor |