| Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach D An, J Liu, M Zhang, X Chen, M Chen, H Sun Journal of Systems and Software 167, 110617, 2020 | 48 | 2020 |
| Krust: A formal executable semantics of rust F Wang, F Song, M Zhang, X Zhu, J Zhang 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 43 | 2018 |
| Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning P Jin, J Tian, D Zhi, X Wen, M Zhang International Conference on Computer Aided Verification, 193-218, 2022 | 33 | 2022 |
| Tightening robustness verification of convolutional neural networks with fine-grained linear approximation Y Wu, M Zhang Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11674 …, 2021 | 30 | 2021 |
| Reducing implicit gender biases in software development: does intergroup contact theory work? Y Wang, M Zhang Proceedings of the 28th ACM Joint meeting on european software engineering …, 2020 | 27 | 2020 |
| Periodic scheduling for MARTE/CCSL: Theory and practice M Zhang, F Dai, F Mallet Science of Computer Programming 154, 42-60, 2018 | 26 | 2018 |
| Neural Network Verification with Proof Production. O Isac, CW Barrett, M Zhang, G Katz FMCAD, 38-48, 2022 | 25 | 2022 |
| Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems M Zhang, Y Ying Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages …, 2017 | 24 | 2017 |
| Marabou 2.0: a versatile formal analyzer of neural networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... International Conference on Computer Aided Verification, 249-264, 2024 | 23 | 2024 |
| QVIP: an ILP-based formal verification approach for quantized neural networks Y Zhang, Z Zhao, G Chen, F Song, M Zhang, T Chen, J Sun Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 23 | 2022 |
| AIoTML: A Unified Modeling Language for AIoT-Based Cyber–Physical Systems M Hu, E Cao, H Huang, M Zhang, X Chen, M Chen IEEE transactions on computer-aided design of integrated circuits and …, 2023 | 22 | 2023 |
| Automating consistency verification of safety requirements for railway interlocking systems X Chen, Z Zhong, Z Jin, M Zhang, T Li, X Chen, T Zhou 2019 IEEE 27th International Requirements Engineering Conference (RE), 308-318, 2019 | 22 | 2019 |
| Automatic analysis of consistency properties of distributed transaction systems in Maude S Liu, PC Ölveczky, M Zhang, Q Wang, J Meseguer Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 22 | 2019 |
| Constructor-based inductive theorem prover D Găină, M Zhang, Y Chiba, Y Arimoto Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013 | 22 | 2013 |
| SMT-based bounded schedulability analysis of the clock constraint specification language M Zhang, F Song, F Mallet, X Chen International Conference on Fundamental Approaches to Software Engineering …, 2019 | 18 | 2019 |
| Formalization and verification of behavioral correctness of dynamic software updates M Zhang, K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 294, 12-23, 2013 | 17 | 2013 |
| Penalty policies in professional software development practice: a multi-method field study Y Wang, M Zhang Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 17 | 2010 |
| An executable semantics of clock constraint specification language and its applications M Zhang, F Mallet Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 16 | 2016 |
| SMT-based bounded model checking for OSEK/VDX applications H Zhang, T Aoki, HH Lin, M Zhang, Y Chiba, K Yatake 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 307-314, 2013 | 16 | 2013 |
| The necessity of low-code engineering for industrial software development: A case study and reflections Y Wang, Y Feng, M Zhang, P Sun 2021 IEEE International Symposium on Software Reliability Engineering …, 2021 | 15 | 2021 |
Kazuhiro OgataJAIST在 jaist.ac.jp 的电子邮件经过验证