Segui
Matthias Fruth
Matthias Fruth
Head of Research, TraceTronic GmbH
Email verificata su fruth.org
Titolo
Citata da
Citata da
Anno
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
952006
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
402009
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
402009
Formal Methods for the Analysis of Wireless Network Protocols
M Fruth
University of Oxford, 2011
342011
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
192008
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
82011
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
82010
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
62004
Unreliable Test Infrastructures in Automotive Testing Setups
C Jordan, P Foth, M Fruth, A Pretschner
44th International Conference on Software Engineering: Software Engineering …, 2022
42022
Neue Absicherungsstrategien für Steuergerätesoftware
R Deutschmann, M Fruth, M Zabelt
30th Conference on Elektronics in Vehicles, 206-214, 2010
12010
Formal Verification of Embedded Real-Time Systems
M Fruth
TU Dresden, Germany, 2005
12005
Überwachung von Java-Programmen mittels Java PathFinder
M Fruth
TU Dresden, Germany, 2002
12002
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20