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

Proofs from tests., , , and . ISSTA, page 3-14. ACM, (2008)Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , and . PEPM, page 21-26. ACM, (2015)An empirical study of optimizations in YOGI., and . ICSE (1), page 355-364. ACM, (2010)The YogiProject: Software Property Checking via Static Analysis and Testing., , , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 178-181. Springer, (2009)Interpolants as Classifiers., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 71-87. Springer, (2012)Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes., and . IEEE Trans. Inf. Theory, 52 (10): 4431-4443 (2006)Multimodal Healthcare AI: Identifying and Designing Clinically Relevant Vision-Language Applications for Radiology., , , , , , , , , and 11 other author(s). CoRR, (2024)Combining Relational Learning with SMT Solvers Using CEGAR., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 447-462. Springer, (2013)Termination proofs from tests., and . ESEC/SIGSOFT FSE, page 246-256. ACM, (2013)Bottom-Up Shape Analysis., , , and . SAS, volume 5673 of Lecture Notes in Computer Science, page 188-204. Springer, (2009)