Contact
- Office: Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
ljlin###ios**ac*cn
About me
I have graduated as a Master student in the group. My main research interests are:
- Probabilistic Model checking,
- Linear Temporal Logic and ω-regular languages,
- Abstract Interpretation and Safety of Deep Neural Networks.
Education
- Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences.
- Computer Science and Technology (Bachelor’s degree) at Nanjing University of Aeronautics and Astronautics.
Publications
- : Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. In Formal Aspects Comput. 33(3):407-435, 2021. DOI BIB
- : Improving Neural Network Verification through Spurious Region Guided Refinement. In Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, volume 12651 of Lecture Notes in Computer Science, pages 389-408, 2021. DOI BIB
- : PRODeep: a platform for robustness verification of deep neural networks. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1630-1634, 2020. DOI BIB
- : Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. In Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, volume 11822 of Lecture Notes in Computer Science, pages 296-319, 2019. DOI BIB
- : Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024 of Lecture Notes in Computer Science, pages 122-139, 2018. DOI BIB