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

A solver-aided language for test input generation., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 91:1-91:24 (2017)Code-level model checking in the software development workflow., , , , , , , , and . ICSE (SEIP), page 11-20. ACM, (2020)Specification and synthesis of hardware checkpointing and rollback mechanisms., , , and . DAC, page 1226-1232. ACM, (2012)SideTrail: Verifying Time-Balancing of Cryptosystems., , , , , and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 215-228. Springer, (2018)Supporting RTL flow compatibility in a microarchitecture-level design framework., , , and . CODES+ISSS, page 343-352. ACM, (2009)Parameterized Model Checking of Fine Grained Concurrency., , , and . SPIN, volume 7385 of Lecture Notes in Computer Science, page 208-226. Springer, (2012)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , and . Softw. Pract. Exp., 51 (4): 772-797 (2021)Verifying Dynamic Trait Objects in Rust., , , and . ICSE (SEIP), page 321-330. IEEE, (2022)