Chen Fu (付辰)'s Homepage

Contact

• Office: No. 615, Room 339, Building 5
• Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
• email: fchen@ios.ac.cn or fuchen1991@qq.com

About me

I have graduated as a Ph.D. student in the group. My main research interests are:

• Verification of probabilistic multi-agent systems
• Detecting abnormal behaviors of Android apps
• Equivalence/Inclusion checking on finite automata

Tools

• Efficient Behavior Equivalence Checking (EBEC)
• Model Checking PETL on Multiagent Systems

Education

• Sept. 2014 – May 2022: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Sept. 2010 – Jun. 2014: Software Engineering (Bachelor’s degree) at Nankai University

Research stays

• Oct. 10, 2019 – Apr. 7, 2020: Center for IT Security, Privacy and Accountability, Universität des Saarlandes
• Jun. 5, 2018 – Aug. 2, 2018: Center for IT Security, Privacy and Accountability, Universität des Saarlandes

Activities

• Jan. 16 - Jan. 22, 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Online (Talked about EPMC Gets Knowledge in Multi-agent Systems)
• Jul. 15 – Jul. 19, 2018: the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18), Stockholm, Sweden (Talked about model checking PETL for probabilistic multiagent systems)
• May 26 – May 27, 2018: 2018 Workshop on Software Analysis and Verification (SAVE 2018), Hangzhou, China (Talked about model checking PETL for probabilistic multiagent systems)
• Oct. 20 – Oct. 26, 2017: 3rd Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2017), Changsha, China (Talked about equivalence checking of nondeterministic finite automata)

Publications

• Chen Fu, Andrea Turrini, Xiaowei Huang (), Lei Song, Yuan Feng (), Lijun Zhang: Model Checking for Probabilistic Multiagent Systems. In Journal of Computer Science and Technology 38(4):1-25, 2023. DOI BIB
• Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang: Model checking differentially private properties. In Theor. Comput. Sci. 943:153-170, 2023. DOI BIB
• Chen Fu, Ernst Moritz Hahn (), Yong Li, Sven Schewe (), Meng Sun (), Andrea Turrini, Lijun Zhang: EPMC Gets Knowledge in Multi-agent Systems. In Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, volume 13182 of Lecture Notes in Computer Science, pages 93-107, 2022. DOI BIB
• Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen (), Lijun Zhang, Andreas Zeller (): Frontmatter: mining Android user interfaces at scale. In ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, pages 1580-1584, 2021. DOI BIB
• Chen Fu, Andrea Turrini, Xiaowei Huang (), Lei Song, Yuan Feng (), Lijun Zhang: Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 4757-4763, 2018. DOI BIB
• Chen Fu, Yuxin Deng (), David N. Jansen (), Lijun Zhang: On Equivalence Checking of Nondeterministic Finite Automata. In Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, volume 10606 of Lecture Notes in Computer Science, pages 216-231, 2017. DOI BIB