Author of the publication

Automatic generation of systemc models from component-based designs for early design validation and performance analysis.

, , , and . WOSP, page 139-144. ACM, (2008)

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

Partial Orders for Efficient BMC of Concurrent Software, , and . CoRR, (2013)Partial Orders for Efficient Bounded Model Checking of Concurrent Software., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 141-157. Springer, (2013)CBMC - C Bounded Model Checker - (Competition Contribution)., and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 389-391. Springer, (2014)Navigating the Requirements Jungle., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 354-368. Springer, (2008)Software Verification for Weak Memory via Program Transformation, , , and . CoRR, (2012)Model Checking Boot Code from AWS Data Centers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 467-486. Springer, (2018)FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement., , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 209-213. Springer, (2008)Software Verification for Weak Memory via Program Transformation., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 512-532. Springer, (2013)Reusing Information in Multi-Goal Reachability Analyses., , , and . Software Engineering, volume P-227 of LNI, page 97-98. GI, (2014)Herding Cats., , and . CoRR, (2013)