PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huang, Xiaowan"

Author of the publication

copydeleteadd this publication to your clipboard
Using integer clocks to verify clock-synchronization protocols.

, , and . ISSE, 7 (2): 119-130 (2011)

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.

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Shih-Min Huang University of Stuttgart

 

Other publications of authors with the same name

Using integer clocks to verify clock-synchronization protocols., , and . ISSE, 7 (2): 119-130 (2011)Open-Source Model Checking., , , and . Electron. Notes Theor. Comput. Sci., 144 (3): 27-44 (2006)InterAspect: aspect-oriented instrumentation with GCC., , , , , , , and . Formal Methods in System Design, 41 (3): 295-320 (2012)Software monitoring with controllable overhead., , , , , , , and . STTT, 14 (3): 327-347 (2012)Compiler-assisted software verification using plug-ins., , , , and . IPDPS, IEEE, (2006)Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol., , and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 77-86. (2010)Dynamic Path Reduction for Software Model Checking., , , , , and . IFM, volume 5423 of Lecture Notes in Computer Science, page 322-336. Springer, (2009)Deep Random Search for Efficient Model Checking of Timed Automata., , , , and . Monterey Workshop, volume 4888 of Lecture Notes in Computer Science, page 111-124. Springer, (2006)Aspect-Oriented Instrumentation with GCC., , , , , , , and . RV, volume 6418 of Lecture Notes in Computer Science, page 405-420. Springer, (2010)