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

Verisim: Formal analysis of network simulations., , , , , , and . ISSTA, page 2-13. ACM, (2000)Verisim: Formal Analysis of Network Simulations., , , , , , and . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Collocation Map for Overcoming Data Sparseness., , and . EACL, page 53-59. The Association for Computer Linguistics, (1995)Steering of real-time systems based on monitoring and checking., , , , and . WORDS (Fall), page 11-18. IEEE Computer Society, (1999)Wireless Signal Strength-Aware TCP-Friendly Rate Control in Mobile Networks., , , , and . ICWN, page 63-72. CSREA Press, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 212-232. Springer, (1999)Monitoring, Checking, and Steering of Real-Time Systems., , , , and . Electr. Notes Theor. Comput. Sci., (2002)Formally specified monitoring of temporal properties., , , , , and . ECRTS, page 114-122. IEEE Computer Society, (1999)Automatic Calibration of the Optical System in Passive Component Inspection., and . VISIGRAPP (4: VISAPP), page 230-237. SciTePress, (2017)Runtime Assurance Based On Formal Specifications., , , , and . PDPTA, page 279-287. CSREA Press, (1999)