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
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
Periodic scheduling for MARTE/CCSL: Theory and practice
M Zhang, F Dai, F Mallet
Science of Computer Programming 154, 42-60, 2018
122018
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
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
102010
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
92019
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
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
72014
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
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
52019
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
52018
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
Model checking chandy-lamport distributed snapshot algorithm revisited
HTT Doan, W Zhang, M Zhang, K Ogata
2015 2nd International Symposium on Dependable Computing and Internet of …, 2015
52015
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing.
DT Ho, M Zhang, K Ogata
ILP (Late Breaking Papers), 33-47, 2015
52015
The Infinite Evolution Mechanism of ϵ-Bisimilarity
YF Ma, M Zhang
Journal of Computer Science and Technology 28 (6), 1097-1105, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20