Follow
Min ZHANG
Min ZHANG
Verified email at sei.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
422020
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
422018
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
282022
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
282021
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
262020
Periodic scheduling for MARTE/CCSL: Theory and practice
M Zhang, F Dai, F Mallet
Science of Computer Programming 154, 42-60, 2018
252018
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
242017
Neural Network Verification with Proof Production.
O Isac, CW Barrett, M Zhang, G Katz
FMCAD, 38-48, 2022
232022
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
222022
Constructor-based inductive theorem prover
D Găină, M Zhang, Y Chiba, Y Arimoto
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
222013
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
212019
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
212019
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
182023
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
172019
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
172013
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
172010
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
162024
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
162016
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
162013
Provably tightest linear approximation for robustness verification of sigmoid-like neural networks
Z Zhang, Y Wu, S Liu, J Liu, M Zhang
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
132022
The system can't perform the operation now. Try again later.
Articles 1–20