| 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 | 16 | 2017 |
| 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 | 16 | 2015 |
| 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 | 16 | 2013 |
| 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 | 15 | 2013 |
| 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 | 13 | 2013 |
| Periodic scheduling for MARTE/CCSL: Theory and practice M Zhang, F Dai, F Mallet Science of Computer Programming 154, 42-60, 2018 | 12 | 2018 |
| 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 | 12 | 2016 |
| 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 | 11 | 2012 |
| 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 | 11 | 2011 |
| 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 | 10 | 2010 |
| 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 | 9 | 2019 |
| 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 | 8 | 2010 |
| 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 | 7 | 2014 |
| 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 | 6 | 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 | 5 | 2019 |
| 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 | 5 | 2018 |
| 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 | 5 | 2015 |
| 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 | 5 | 2015 |
| 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 | 5 | 2015 |
| The Infinite Evolution Mechanism of ϵ-Bisimilarity YF Ma, M Zhang Journal of Computer Science and Technology 28 (6), 1097-1105, 2013 | 5 | 2013 |
