Min Zhang
According to our database^{1},
Min Zhang
authored at least 34 papers
between 2009 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2019
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.
IEEE Trans. Reliability, 2019
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
SMTBased Bounded Schedulability Analysis of the Clock Constraint Specification Language.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
SampleGuided Automated Synthesis for CCSL Specifications.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
2018
From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories.
Theor. Comput. Sci., 2018
Periodic scheduling for MARTE/CCSL: Theory and practice.
Sci. Comput. Program., 2018
KRust: A Formal Executable Semantics of Rust.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
WorkinProgress: From Logical Time Scheduling to RealTime Scheduling.
Proceedings of the 2018 IEEE RealTime Systems Symposium, 2018
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
PyReload: Dynamic Updating of Python Programs by Reloading.
Proceedings of the 25th AsiaPacific Software Engineering Conference, 2018
2017
Algebraic Formalization and Verification of PKMv3 Protocol using Maude.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Towards SMTbased LTL model checking of clock constraint specification language for realtime and embedded systems.
Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, 2017
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX.
J. Inf. Sec. Appl., 2016
Formal modeling and analysis of time and resourcesensitive simple business processes.
J. Inf. Sec. Appl., 2016
An SMTBased Approach to the Formal Analysis of MARTE/CCSL.
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015
An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Proceedings of the Formal Techniques for SafetyCritical Systems, 2015
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates.
Proceedings of the 2015 AsiaPacific Software Engineering Conference, 2015
2014
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications.
Proceedings of the Rewriting Logic and Its Applications  10th International Workshop, 2014
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.
Proceedings of the Specification, Algebra, and Software, 2014
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems.
Proceedings of the 21st AsiaPacific Software Engineering Conference, 2014
2013
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates.
Electr. Notes Theor. Comput. Sci., 2013
A Divide and Conquer Approach to Model Checking of Liveness Properties.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
ConstructorBased Inductive Theorem Prover.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
SMTBased Bounded Model Checking for OSEK/VDX Applications.
Proceedings of the 20th AsiaPacific Software Engineering Conference, 2013
2012
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms.
Proceedings of the 19th AsiaPacific Software Engineering Conference, 2012
Invariantpreserved Transformation of State Machines from Equations into Rewrite Rules.
Proceedings of the 19th AsiaPacific Software Engineering Conference, 2012
2011
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support.
IEICE Transactions, 2011
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
2010
Penalty policies in professional software development practice: a multimethod field study.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Specification Translation of State Machines from Equational Theories into Rewrite Theories.
Proceedings of the Formal Methods and Software Engineering, 2010
2009
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications.
Proceedings of the Ninth International Conference on Quality Software, 2009