According to our database1, Jingyi Wang authored at least 21 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.
IEEE Trans. Software Eng., 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks.
Proceedings of the 41st International Conference on Software Engineering, 2019
Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the FM 2016: Formal Methods, 2016