Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Btor2-Cert: A Certifying Hardware-Verification Framework Us..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
CPAchecker 2.3 with Strategy Selection: (Competition Contri..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
CPV: A Circuit-Based Program Verifier:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
Bridging Hardware and Software Analysis with Btor2C: A Word..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
5
CPA-DF: A Tool for Configurable Interval Analysis to Boost ..:
, In:
?
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) ,
6
Compatible Equivalence Checking of X-Valued Circuits:
, In:
?
Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference ,
7
Time multiplexing via circuit folding:
, In:
?
2020 57th ACM/IEEE Design Automation Conference (DAC) ,
8
Time Multiplexing via Circuit Folding:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
9