1. Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking;SAE Technical Paper Series;2023-04-11
2. Deadlock Detection of Java Bytecode;Logic-Based Program Synthesis and Transformation;2018
3. Static Analysis of Communicating Processes Using Symbolic Transducers;Lecture Notes in Computer Science;2017
4. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. A generic static analyzer for multithreaded Java programs;Software: Practice and Experience;2012-05-09