Matthias Fruth

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 2

Top Topics

Associative Classifiers

Frequent Itemsets

Association Rules

Practical Experience

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Claudius Jordan, Philipp Foth, Alexander Pretschner, Matthias Fruth
Unreliable Test Infrastructures in Automotive Testing Setups. ICSE (SEIP) (2022)
Claudius Jordan, Philipp Foth, Matthias Fruth, Alexander Pretschner
Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). ISSRE (2022)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
Optimizing ZigBee Security using Stochastic Model Checking CoRR (2012)
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver
CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST (2008)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang
07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems (2007)
Matthias Fruth
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. ISoLA (2006)
Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan
Model Checking in an Industrial Environment. MBMV (2003)