1. Sense Amplifier Offset Error Correction Method for High Speed Systems;2023 International Conference on Electrical, Computer and Energy Technologies (ICECET);2023-11-16
2. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09
5. Formal Verification Methods for Modeling in Biology;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04