TY - RPRT
T1 - Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems
T2 - FMWS’08 Toronto, Canada 23 August 2008
A2 - Godskesen, Jens Christian
A2 - Merro, Massimo
PY - 2008
Y1 - 2008
N2 - The FMWS workshops aim at bringing together researchers interested in formal methods for wireless systems, more specifically in theories for semantics, logics, and verification techniques for wireless systems. Wireless systems are rapidly increasing their success in real-world applications while formal methods for modelling, analysing, and verifying the systems are lacking behind. Recently however much attention has been carried out to model, analyse and verify Sensor Networks and, more generally, Ad Hoc Networks. This very first FMWS workshop is co-located with CONCUR '08, held in Toronto. The workshop contains two invited presentations, by Ansgar Fehnker and Holger Hermanns, five regular papers, and one short paper. The selected papers and abstracts for the invited talks appear in these preliminary proceedings.
AB - The FMWS workshops aim at bringing together researchers interested in formal methods for wireless systems, more specifically in theories for semantics, logics, and verification techniques for wireless systems. Wireless systems are rapidly increasing their success in real-world applications while formal methods for modelling, analysing, and verifying the systems are lacking behind. Recently however much attention has been carried out to model, analyse and verify Sensor Networks and, more generally, Ad Hoc Networks. This very first FMWS workshop is co-located with CONCUR '08, held in Toronto. The workshop contains two invited presentations, by Ansgar Fehnker and Holger Hermanns, five regular papers, and one short paper. The selected papers and abstracts for the invited talks appear in these preliminary proceedings.
KW - Formal Methods
KW - Wireless Systems
KW - Semantic Theories
KW - Verification Techniques
KW - Ad Hoc Networks
M3 - Report
SN - 978-87-7949-183-0
VL - TR-2008-109
T3 - IT University Technical Report Series
BT - Preliminary Proceedings First International Workshop on Formal Methods for WirelessSystems
PB - IT-Universitetet i København
CY - Copenhagen
ER -