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)Expanding Database Systems into self-verifying Entities., and . MSVVEIS, page 65-70. INSTICC Press, (2005)An infrastructure for context dependent mobile multimedia communication., , , , , , and . MMSP, page 462-465. IEEE, (2004)Automated verification of an audio-control protocol using UPPAAL., , , , , , and . J. Log. Algebraic Methods Program., (2002)Verification of Large State/Event Systems Using Compositionality and Dependency Analysis., , , , , and . Formal Methods Syst. Des., 18 (1): 5-23 (2001)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)Automatic Synthesis of Real Time Systems., , , and . ICALP, volume 944 of Lecture Notes in Computer Science, page 535-546. Springer, (1995)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)Multimodal wireless networks: distributed surveillance with multiple nodes., , , and . ICASSP (4), page 853-856. IEEE, (2005)