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

Quantum computing and communication., , and . Advances in Computers, (2002)Queueing Analysis of Oblivious Packet-Routing Networks., and . SODA, page 583-592. ACM/SIAM, (1994)Inference Rules for Programming Languages with Side Effects in Expressions., and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 51-60. Springer, (1996)Comparison of fault classes in specification-based testing., , and . Inf. Softw. Technol., 46 (8): 525-533 (2004)Static analysis summit II.. SIGAda, page 101-107. ACM, (2007)Software vulnerabilities precluded by spark., , , and . SIGAda, page 39-46. ACM, (2011)Mutation Operators for Specifications., , and . ASE, page 81-. IEEE Computer Society, (2000)Verifying Resilient Software., and . HICSS (5), page 262-266. IEEE Computer Society, (1997)Using Model Checking to Generate Tests from Specifications., , and . ICFEM, page 46-55. IEEE Computer Society, (1998)TOOLympics 2019: An Overview of Competitions in Formal Methods., , , , , , , , , and 5 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 3-24. Springer, (2019)