Min Zhang

According to our database1, Min Zhang authored at least 34 papers between 2009 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

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

SMT-Based 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

Sample-Guided 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

Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling.
Proceedings of the 2018 IEEE Real-Time 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 Asia-Pacific 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 SMT-based LTL model checking of clock constraint specification language for real-time 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 resource-sensitive simple business processes.
J. Inf. Sec. Appl., 2016

An SMT-Based 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 Safety-Critical Systems, 2015

Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates.
Proceedings of the 2015 Asia-Pacific 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 Asia-Pacific 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

Constructor-Based Inductive Theorem Prover.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules.
Proceedings of the 19th Asia-Pacific 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 multi-method 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


  Loading...