Min ZHANG
Min ZHANG
Verified email at sei.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
162017
An executable semantics of clock constraint specification language and its applications
M Zhang, F Mallet
International Workshop on Formal Techniques for Safety-Critical Systems, 37-51, 2015
162015
Constructor-based inductive theorem prover
D Găină, M Zhang, Y Chiba, Y Arimoto
International Conference on Algebra and Coalgebra in Computer Science, 328-333, 2013
162013
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
152013
Periodic scheduling for MARTE/CCSL: Theory and practice
M Zhang, F Dai, F Mallet
Science of Computer Programming 154, 42-60, 2018
132018
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
132013
An SMT-based approach to the formal analysis of MARTE/CCSL
M Zhang, F Mallet, H Zhu
International Conference on Formal Engineering Methods, 433-449, 2016
122016
Liver myofibroblasts from hepatitis B related liver failure patients may regulate natural killer cell function via PGE2
M Zhang, F Wang, Y Chong, Q Tai, Q Zhao, Y Zheng, L Peng, S Lin, ...
Journal of translational medicine 12 (1), 1-11, 2014
122014
An algebraic approach to formal analysis of dynamic software updating mechanisms
M Zhang, K Ogata, K Futatsugi
2012 19th Asia-Pacific Software Engineering Conference 1, 664-673, 2012
112012
Translation of state machines from equational theories into rewrite theories with tool support
M Zhang, K Ogata, M Nakamura
IEICE transactions on information and systems 94 (5), 976-988, 2011
112011
Penalty policies in professional software development practice: a multi-method field study
Y Wang, M Zhang
2010 ACM/IEEE 32nd International Conference on Software Engineering 2, 39-47, 2010
112010
Automatic analysis of consistency properties of distributed transaction systems in Maude
S Liu, PC Ölveczky, M Zhang, Q Wang, J Meseguer
International Conference on Tools and Algorithms for the Construction and …, 2019
102019
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
102018
Verifying the design of dynamic software updating in the OTS/CafeOBJ method
M Zhang, K Ogata, K Futatsugi
Specification, Algebra, and Software, 560-577, 2014
82014
Specification translation of state machines from equational theories into rewrite theories
M Zhang, K Ogata, M Nakamura
International Conference on Formal Engineering Methods, 678-693, 2010
82010
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
72019
A Divide and Conquer Approach to Model Checking of Liveness Properties
K Ogata, M Zhang
2013 IEEE 37th Annual Computer Software and Applications Conference, 648-657, 2013
72013
An approach for checking OSEK/VDX applications
H Zhang, T Aoki, K Yatake, M Zhang, HH Lin
2013 13th International Conference on Quality Software, 113-116, 2013
62013
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
52020
Towards a formal approach to modeling and verifying the design of dynamic software updates
M Zhang, K Ogata, K Futatsugi
2015 Asia-Pacific Software Engineering Conference (APSEC), 159-166, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20