Jianwen Li
Jianwen Li
Verified email at - Homepage
Cited by
Cited by
Symbolic ltlf synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
arXiv preprint arXiv:1705.08426, 2017
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
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
Sat-based explicit ltlf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
LTLf Satisfiability Checking
J Li, L Zhang, G Pu, MY Vardi, J He
21st European Conference on Artificial Intelligence, 513-518, 2014
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
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
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
SAT-based explicit LTL reasoning
J Li, S Zhu, G Pu, MY Vardi
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
Satisfiability checking for mission-time LTL
J Li, MY Vardi, KY Rozier
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
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
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
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
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
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
MLTL benchmark generation via formula progression
J Li, KY Rozier
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
Polsat: A portfolio LTL satisfiability solver
J Li, G Pu, L Zhang, Y Yao, MY Vardi
arXiv preprint arXiv:1311.1602, 2013
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
Optimizing backbone filtering
Y Zhang, M Zhang, G Pu
Science of Computer Programming 187, 102374, 2020
An explicit transition system construction approach to LTL satisfiability checking
J Li, L Zhang, S Zhu, G Pu, MY Vardi, J He
Formal Aspects of Computing 30, 193-217, 2018
The system can't perform the operation now. Try again later.
Articles 1–20