| Logic synthesis meets machine learning: Trading exactness for generalization S Rai, WL Neto, Y Miyasaka, X Zhang, M Yu, Q Yi, M Fujita, GB Manske, ... 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 45* | 2021 |
| Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator D Beyer, PC Chien, NZ Lee International Conference on Tools and Algorithms for the Construction and …, 2023 | 13 | 2023 |
| CPAchecker 2.3 with Strategy Selection (Competition Contribution) D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 12 | 2024 |
| CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification D Beyer, PC Chien, NZ Lee 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 8 | 2023 |
| Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers Z Ádám, D Beyer, PC Chien, NZ Lee, N Sirrenberg International Conference on Tools and Algorithms for the Construction and …, 2024 | 6 | 2024 |
| CPV: A Circuit-Based Program Verifier (Competition Contribution) PC Chien, NZ Lee International Conference on Tools and Algorithms for the Construction and …, 2024 | 6 | 2024 |
| A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification D Beyer, PC Chien, M Jankola, NZ Lee Proceedings of the ACM on Software Engineering 1 (FSE), 2028-2050, 2024 | 5 | 2024 |
| Augmenting interpolation-based model checking with auxiliary invariants D Beyer, PC Chien, NZ Lee International Symposium on Model Checking Software, 227-247, 2024 | 4 | 2024 |
| Software Verification with CPAchecker 3.0: Tutorial and User Guide D Baier, D Beyer, PC Chien, MC Jakobs, M Jankola, M Kettl, NZ Lee, ... Proc. FM (LNCS). Springer, 2024 | 4 | 2024 |
| Time-frame folding: Back to the sequentiality PC Chien, JHR Jiang 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 2 | 2019 |
| BenchCloud: A Platform for Scalable Performance Benchmarking D Beyer, PC Chien, M Jankola Proc. ASE, 2024 | 1 | 2024 |
| Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version) D Beyer, PC Chien, NZ Lee arXiv preprint arXiv:2403.07821, 2024 | 1 | 2024 |
| Time multiplexing via circuit folding PC Chien, JHR Jiang 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 1 | 2020 |
| Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) D Baier, D Beyer, PC Chien, MC Jakobs, M Jankola, M Kettl, NZ Lee, ... arXiv preprint arXiv:2409.02094, 2024 | | 2024 |
| MoXIchecker: An Extensible Model Checker for MoXI S Ates, D Beyer, PC Chien, NZ Lee arXiv preprint arXiv:2407.15551, 2024 | | 2024 |
| Compatible Equivalence Checking of X-Valued Circuits YN Wang, YR Luo, PC Chien, PL Wang, HR Wang, WH Lin, JHR Jiang, ... 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021 | | 2021 |
| Circuit Folding: From Combinational to Sequential Circuits PC Chien National Taiwan University, 2020 | | 2020 |
| Bridging Hardware and Software Formal Verification (Extended Abstract) PC Chien | | |
Nian-Ze LeeLMU MunichVerified email at sosy.ifi.lmu.de
