| Probabilistic model checking of contention resolution in the IEEE 802.15. 4 low-rate wireless personal area network protocol M Fruth 2nd International Symposium on Leveraging Applications of Formal Methods …, 2006 | 95 | 2006 |
| Graphical modelling for simulation and formal analysis of wireless network protocols A Fehnker, M Fruth, AK McIver Methods, Models and Tools for Fault Tolerance, 1-24, 2009 | 40 | 2009 |
| Graphical modelling for simulation and formal analysis of wireless network protocols A Fehnker, M Fruth, A McIver Methods, Models and Tools for Fault Tolerance, 1-24, 2009 | 40 | 2009 |
| Formal Methods for the Analysis of Wireless Network Protocols M Fruth University of Oxford, 2011 | 34 | 2011 |
| CaVi: Simulation and Model Checking for Wireless Sensor Networks A Boulis, A Fehnker, M Fruth, A McIver 5th International Conference on Quantitative Evaluation of Systems (QEST …, 2008 | 19 | 2008 |
| Optimizing key updates in sensor networks E Yuksel, HR Nielson, F Nielson, M Fruth, M Kwiatkowska 2011 IEEE Sensors Applications Symposium (SAS 2011), 82-87, 2011 | 8 | 2011 |
| Optimizing ZigBee Security using Stochastic Model Checking E Yuksel, HR Nielson, F Nielson, M Fruth, M Kwiatkowska IMM-Technical Report-2010-08, Technical University of Denmark, 2010 | 8 | 2010 |
| Trace checking with real-time specifications R Deutschmann, M Fruth, H Reichel, HC Reuss 5th Symposium on Formal Methods for Automation and Safety in Railway and …, 2004 | 6 | 2004 |
| Unreliable Test Infrastructures in Automotive Testing Setups C Jordan, P Foth, M Fruth, A Pretschner 44th International Conference on Software Engineering: Software Engineering …, 2022 | 4 | 2022 |
| Neue Absicherungsstrategien für Steuergerätesoftware R Deutschmann, M Fruth, M Zabelt 30th Conference on Elektronics in Vehicles, 206-214, 2010 | 1 | 2010 |
| Formal Verification of Embedded Real-Time Systems M Fruth TU Dresden, Germany, 2005 | 1 | 2005 |
| Überwachung von Java-Programmen mittels Java PathFinder M Fruth TU Dresden, Germany, 2002 | 1 | 2002 |
| Integration automatisierter Fehlerklassenvorhersagen in den Absicherungsprozess für Testausführungen auf Hardware-in-the-loop Prüfständen C Jordan, I Matviets, M Fruth 16th Conference on Diagnostics in Mechatronic Vehicle Systems, 2023 | | 2023 |
| Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report) C Jordan, M Fruth, A Pretschner 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 2022 | | 2022 |
| Anwendung etablierter Absicherungslösungen im gesamten Fahrzeuglebenszyklus: Vorteile und Herausforderungen für Entwicklung, Test und Diagnose M Fruth, M Zabelt, G Menzel, A Richter, A Gellrich 11th Conference on Diagnostics in Mechatronic Vehicle Systems, 2017 | | 2017 |
| Trace-analysis methods for the intuitive and automated validation of control-unit software M Fruth, M Zabelt, R Deutschmann 5th International Symposium on Development Methodology, 2013 | | 2013 |
| Neue Konzepte der Traceanalyse zur effizienten automatisierten Validierung von Steuergerätesoftware M Fruth, M Zabelt, R Deutschmann 4th AutoTest Technical Conference on 'Test of Hardware and Software in …, 2012 | | 2012 |
| Generating optimized stochastic power management strategies for electric car components M Fruth, S Bastian 2nd International Energy Efficient Vehicles Conference (EEVC 2012), 36-45, 2012 | | 2012 |
| New protection strategies for control unit software; Neue Absicherungsstrategien fuer Steuergeraetesoftware R Deutschmann, M Fruth, M Zabelt | | 2010 |
| Verfahren zur Überprüfung eingebetteter Systeme R Deutschmann, M Zabelt, M Fruth DE Patent App. 1,020,100,072,443, 2010 | | 2010 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
