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
Since October 2007, I have been a Doctoral Student at the Department of Computer Science, University of Oxford. I have passed my viva in March 2011.
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. From January 2005 to September 2007, I was a 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.
Selected Publications
| Optimizing Key Updates in Sensor Networks Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska In Proceedings of the 2011 IEEE Sensors Applications Symposium (SAS 2011). 2011. To appear |
| Neue Absicherungsstrategien für Steuergerätesoftware Rocco Deutschmann‚ Matthias Fruth and Manuel Zabelt In Moderne Elektronik im Kraftfahrzeug V. Pages 206–214. Haus der Technik. 2010. |
| Optimizing ZigBee Security using Stochastic Model Checking Ender Yüksel‚ Hanne Riis Nielson‚ Flemming Nielson‚ Matthias Fruth and Marta Kwiatkowska Technical University of Denmark. 2010. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | PRISM | Quantitative Analysis and Verification |
|
Completed Projects |
|
|
Supervisor |
|
