Author of the publication

OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.

, and . RTCSA, volume 2968 of Lecture Notes in Computer Science, page 254-278. Springer, (2003)

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

PyCT: A Python Concolic Tester., , , , and . APLAS, volume 13008 of Lecture Notes in Computer Science, page 38-46. Springer, (2021)Optimal sanitization synthesis for web application vulnerability repair., , , , , and . ISSTA, page 189-200. ACM, (2016)A knowledge-based decision making tool in competitive environments., , , and . BIC-TA, page 359-363. IEEE, (2010)Hierachically Classifying Chinese Web Documents without Dictionary Support and Segmentation Procedure., , , , and . Web-Age Information Management, volume 1846 of Lecture Notes in Computer Science, page 215-226. Springer, (2000)A Field-based Database Management Method for City Air Pollutants Information System., , , and . IGARSS (3), page 1296-1299. IEEE, (2008)Validation of QSCAT-1 Geophysical Model Function Using Seawinds Level 2 and Buoy Data., , , , , and . IGARSS (1), page 339-342. IEEE, (2008)A precision agriculture management system based on Internet of Things and WebGIS., , , and . Geoinformatics, page 1-5. IEEE, (2013)Biparti Majority Learning with Tensors., , and . BigData Congress, page 224-227. IEEE Computer Society, (2018)Target Localization for Autonomous Soccer Robot Based on Vision Perception., , , and . ISICA, volume 5370 of Lecture Notes in Computer Science, page 831-840. Springer, (2008)Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol., , and . J. Embed. Comput., 1 (1): 39-56 (2005)