Jianwen Li
Orcid: 0000-0001-9286-8285
According to our database1,
Jianwen Li
authored at least 77 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ASV station keeping under wind disturbances using neural network simulation error minimization model predictive control.
J. Field Robotics, September, 2024
CoRR, 2024
C3D: Cascade Control with Change Point Detection and Deep Koopman Learning for Autonomous Surface Vehicles.
CoRR, 2024
Vision-driven Autonomous Flight of UAV Along River Using Deep Reinforcement Learning with Dynamic Expert Guidance.
CoRR, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023
Dynamic Obstacle Avoidance for USVs Using Cross-Domain Deep Reinforcement Learning and Neural Network Model Predictive Controller.
Sensors, April, 2023
An Efficient Detection and Control System for Underwater Docking using Machine Learning and Realistic Simulation: A Comprehensive Approach.
CoRR, 2023
A Survey on the Deployability of Semantic Segmentation Networks for Fluvial Navigation.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision Workshops, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
ROSEBUD: A Deep Fluvial Segmentation Dataset for Monocular Vision-Based River Navigation and Obstacle Avoidance.
Sensors, 2022
CoRR, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
Proceedings of the Artificial Intelligence Logic and Applications, 2022
2021
Robust ASV Navigation Through Ground to Water Cross-Domain Deep Reinforcement Learning.
Frontiers Robotics AI, 2021
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning.
CoRR, 2021
Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction.
Comput. Electron. Agric., 2021
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
ACM Trans. Design Autom. Electr. Syst., 2020
IEEE Trans. Ind. Electron., 2020
Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images.
Sensors, 2020
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles.
CoRR, 2020
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry.
Sensors, 2019
Formal Methods Syst. Des., 2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Improving the user experience in museum: a joint course with Beijing museum of natural history.
Proceedings of the Seventh International Symposium of Chinese CHI, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Future Gener. Comput. Syst., 2018
Formal Aspects Comput., 2018
A New Motor Imagery EEG Classification Method FB-TRCSP+RF Based on CSP and Random Forest.
IEEE Access, 2018
Proceedings of the 2018 Ubiquitous Positioning, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
2015
Experimental and Numerical Simulation Research on Micro-Gears Fabrication by Laser Shock Punching Process.
Micromachines, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
IEICE Trans. Inf. Syst., 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Frontiers Comput. Sci., 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
2011
Comput. Inf. Sci., 2011
Study on multi-objective optimization for border irrigation technical parameters combination.
Proceedings of the Seventh International Conference on Natural Computation, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Intelligence Optimization in Parameter Identification of the Border Irrigation Model.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011
2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010