 | 2009 |
|---|
| 4 |       | Ansgar Fehnker,
Matthias Fruth,
Annabelle McIver:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.
Methods, Models and Tools for Fault Tolerance 2009: 1-24 |
| 2008 |
|---|
| 3 | | Athanassios Boulis,
Ansgar Fehnker,
Matthias Fruth,
Annabelle McIver:
CaVi -- Simulation and Model Checking for Wireless Sensor Networks.
QEST 2008: 37-38 |
| 2007 |
|---|
| 2 | | 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 |
| 2006 |
|---|
| 1 | | Matthias Fruth:
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.
ISoLA 2006: 290-297 |
