Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C. Heitmeyer
Panel: Given That Hardware Verification Has Been an Uphill Battle, What Is the Future of Software Verification?
Related publications
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software
Component-Based Hardware/Software Co-Verification
Multicore Hardware-Software Design and Verification Techniques
Methodology for Hardware/Software Co-Verification in C/C++
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
VeriTrust: Verification for Hardware Trust
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Women Scientists: An Uphill Battle for Recognition
ACS Symposium Series
Chemistry
Chemical Engineering
Hardware Verification: Techniques, Methodology and Solutions
On Quantitative Software Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science