1. PAC statistical model checking of mean payoff in discrete- and continuous-time MDP;Formal Methods in System Design;2024-08-17
2. Field-programmable encoding for address-event representation;Frontiers in Neuroscience;2022-12-05
3. Automated CHIP MTBF Calculator;2022 11th International Conference on Communications, Circuits and Systems (ICCCAS);2022-05-13
4. Determinism;ACM Transactions on Embedded Computing Systems;2021-07
5. An Experimental Study of Metastability-Induced Glitching Behavior;Journal of Circuits, Systems and Computers;2019-12-01