Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector., , , and . EUSIPCO, page 1-5. IEEE, (2006)Automated verification of an audio-control protocol using UPPAAL., , , , , , and . J. Log. Algebraic Methods Program., (2002)An infrastructure for context dependent mobile multimedia communication., , , , , , and . MMSP, page 462-465. IEEE, (2004)Expanding Database Systems into self-verifying Entities., and . MSVVEIS, page 65-70. INSTICC Press, (2005)Automatic Synthesis of Real Time Systems., , , and . ICALP, volume 944 of Lecture Notes in Computer Science, page 535-546. Springer, (1995)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 244-256. Springer, (1996)A Compositional Proof of a Real-Time Mutual Exclusion Protocol., , , , and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 565-579. Springer, (1997)Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL., , , , , , , and . ECRTS, page 147-155. IEEE Computer Society, (2000)An RF-based surveillance system using commercial off-the-shelf wireless LAN components., , , and . EUSIPCO, page 1-4. IEEE, (2005)Verification of Large State/Event Systems Using Compositionality and Dependency Analysis., , , , , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 201-216. Springer, (1998)