Follow
Jianwen Li
Jianwen Li
Verified email at sei.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Symbolic ltlf synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
arXiv preprint arXiv:1705.08426, 2017
1142017
Fakelocator: Robust localization of gan-based face manipulations
Y Huang, F Juefei-Xu, Q Guo, Y Liu, G Pu
IEEE Transactions on Information Forensics and Security 17, 2657-2672, 2022
732022
Fakepolisher: Making deepfakes more detection-evasive by shallow reconstruction
Y Huang, F Juefei-Xu, R Wang, Q Guo, L Ma, X Xie, J Li, W Miao, Y Liu, ...
Proceedings of the 28th ACM international conference on multimedia, 1217-1226, 2020
692020
SAT-based explicit LTLf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
532020
A Symbolic Approach to Safety ltl Synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
502017
LTLf Satisfiability Checking
J Li, L Zhang, G Pu, MY Vardi, J He
21st European Conference on Artificial Intelligence, 513-518, 2014
422014
LTL Satisfiability Checking Revisited
J Li, L Zhang, G Pu, MY Vardi, J He
20th International Symposium on Temporal Representation and Reasoning, 91-98, 2013
412013
Satisfiability checking for mission-time LTL
J Li, MY Vardi, KY Rozier
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
352019
SAT-based explicit LTL reasoning
J Li, S Zhu, G Pu, MY Vardi
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
342015
Aalta: an LTL satisfiability checker over Infinite/Finite traces
J Li, Y Yao, G Pu, L Zhang, J He
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
342014
Fakelocator: Robust localization of gan-based face manipulations via semantic segmentation networks with bells and whistles
Y Huang, F Juefei-Xu, R Wang, X Xie, L Ma, J Li, W Miao, Y Liu, G Pu
Elsevier Limited, 2020
232020
Safety model checking with complementary approximations
J Li, S Zhu, Y Zhang, G Pu, MY Vardi
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 95-100, 2017
212017
SAT-based explicit LTL reasoning and its application to satisfiability checking
J Li, S Zhu, G Pu, L Zhang, MY Vardi
Formal Methods in System Design 54, 164-190, 2019
192019
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
J Li, R Dureja, G Pu, KY Rozier, MY Vardi
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
162018
Spardl: A requirement modeling language for periodic control system
Z Wang, J Li, Y Zhao, Y Qi, G Pu, J He, B Gu
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
152010
MLTL benchmark generation via formula progression
J Li, KY Rozier
International Conference on Runtime Verification, 426-433, 2018
132018
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain
J Feng, W Miao, H Zheng, Y Huang, J Li, Z Wang, T Su, B Gu, G Pu, ...
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
112020
Optimizing backbone filtering
Y Zhang, M Zhang, G Pu
Science of Computer Programming 187, 102374, 2020
102020
Accelerating LTL satisfiability checking by SAT solvers
J Li, G Pu, L Zhang, MY Vardi, J He
Journal of Logic and Computation 28 (6), 1011-1030, 2018
102018
Polsat: A portfolio LTL satisfiability solver
J Li, G Pu, L Zhang, Y Yao, MY Vardi
arXiv preprint arXiv:1311.1602, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20