Multimodal Wireless Networks: Distributed Surveillance With Multiple Nodes | 3 | 1.09 | 2005 |
Expanding Database Systems into self-verifying Entities | 1 | 0.35 | 2005 |
An infrastructure for context dependent mobile multimedia communication | 0 | 0.34 | 2004 |
Automated verification of an audio-control protocol using Uppaal | 20 | 1.09 | 2002 |
Model-checking real-time control programs: verifying LEGO® MINDSTROMS™ system using UPPAL | 12 | 1.60 | 2000 |
A Compositional Proof of a Real-Time Mutual Exclusion Protocol | 26 | 4.38 | 1997 |
Verification of an Audio Protocol with Bus Collision Using UPPAAL | 72 | 9.50 | 1996 |
Automatic Synthesis of Real Time Systems | 9 | 0.97 | 1995 |