default search action
Min Zhang 0002
张民
Person information
- unicode name: 张民
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
- affiliation: Japan Advanced Institute of Science and Technology (JAIST)
- not to be confused with: Min Zhang 0007
Other persons with the same name
- Min Zhang — disambiguation page
- Min Zhang 0001 — University of Texas Health Science Center, Houston, TX, United States
- Min Zhang 0003 — Shanghai Ocean University, Shanghai, China
- Min Zhang 0004 — Alcatel-Lucent (and 1 more)
- Min Zhang 0005 — Harbin Institute of Technology, School of Computer Science and Technology, Institute of Computing and Intelligence, Shenzhen, China (and 6 more)
- Min Zhang 0006 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Min Zhang 0007 — East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
- Min Zhang 0008 — University of Hertfordshire
- Min Zhang 0009 — Harbin Medical University
- Min Zhang 0010 — University of Schience and Technology of China, Hefei
- Min Zhang 0011 — University of Electronic Science and Technology, School of Computer and Communication Engineering, Chengdu, China
- Min Zhang 0012 — The Chinese University of Hong Kong
- Min Zhang 0013 — Shanghai Jiao Tong University, School of Mechanical Engineering, China (and 1 more)
- Min Zhang 0014 — Xidian University, School of Physics and Optoelectronic Engineering, Xi'an, China
- Min Zhang 0015 — Xidian University, Measurement and Control Department, Xi'an, China
- Min Zhang 0016 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications, China
- Min Zhang 0017 — Tianjin Normal University, Tianjin Key Laboratory of Wireless Mobile Communications and Power Transmission, China
- Min Zhang 0018 — Linyi University, Library, China
- Min Zhang 0019 — Paris Diderot University, France
- Min Zhang 0020 — Arizona State University, Tempe, USA (and 1 more)
- Min Zhang 0021 — Northeast Normal University, Faculty of Chemistry, Changchun, China
- Min Zhang 0022 — Beijing University of Posts and Telecommunications, School of Science, China
- Min Zhang 0023 — Chongqing University, College of Computer Science, Chongqing Key Laboratory of Software Theory and Technology, China
- Min Zhang 0024 — Changchun University of Science and Technology, Institute of Space Optoelectronics Technology, China (and 1 more)
- Min Zhang 0025 — North China Electric Power University, School of Control and Computer Engineering, Beijing, China
- Min Zhang 0026 — Jiangnan University, School of Food Science and Technology, Wuxi, China
- Min Zhang 0027 — Open University, Milton Keynes, UK (and 2 more)
- Min Zhang 0028 — Tongji University, School of Economics and Management, Shanghai, China
- Min Zhang 0029 — Hangzhou Dianzi University, Institute of Software and Intelligent Technology, China (and 1 more)
- Min Zhang 0030 — University of Southern California, Department of Electrical and Computer Engineering, Los Angeles, CA, USA
- Min Zhang 0031 — Tsinghua University, Shenzhen International Graduate School, China
- Min Zhang 0032 — Wuhan University, School of Remote Sensing and Information Engineering, China (and 1 more)
- Min Zhang 0033 — Guangxi University, School of Computer and Electronics Information, Guangxi Key Laboratory of Multimedia Communications and Network Technology, Nanning, China
- Min Zhang 0034 — Beihua University, Nursing College, Jilin, China
- Min Zhang 0035 — Huaqiao University, College of Computer Science and Technology, Xiamen, China
- Min Zhang 0036 — Southwest Jiaotong University, School of Mechanical Engineering, Chengdu, China
- Min Zhang 0037 — University of Science and Technology Beijing, School of Computer and Communication Engineering, China
- Min Zhang 0038 — Chinese Academy of Sciences, Aerospace Information Research Institute, Beijing, China
- Min Zhang 0039 — Northwest University, School of Information Science and Technology, Xi'an, China
- Min Zhang 0040 — Hebei University of Technology, School of Artificial Intelligence, Hebei Province Key Laboratory of Big Data Calculation, Tianjin, China
- Min Zhang 0041 — Peking University, School of Electronic and Computer Engineering, Shenzhen, China
- Min Zhang 0042 — Huawei Technologies Co., Ltd., Huawei Translation Services Center, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu:
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. 36(2): 13 (2024) - [j21]Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang:
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. IEEE Internet Things J. 11(12): 21411-21426 (2024) - [j20]Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou:
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25(8): 8375-8386 (2024) - [c63]Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang:
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI 2024: 19992-20000 - [c62]Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett:
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) 2024: 249-264 - [c61]Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang:
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) 2024: 401-426 - [c60]Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze:
Enabling Behaviour Tree Verification via a Translation to BIP. FACS 2024: 3-20 - [c59]Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang:
MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search. ICSE 2024: 121:1-121:12 - [c58]Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang:
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain. ICSE Companion 2024: 314-315 - [c57]Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang:
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. ISSTA 2024: 1643-1655 - [c56]Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang:
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) 2024: 73-97 - [i15]Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett:
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR abs/2401.14461 (2024) - [i14]Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang:
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR abs/2404.01769 (2024) - 2023
- [j19]Min Zhang, Kazuhiro Ogata:
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). Sci. Comput. Program. 225: 102912 (2023) - [j18]Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen:
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Trans. Computers 72(5): 1431-1446 (2023) - [j17]Ming Hu, E. Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, Mingsong Chen:
AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3545-3558 (2023) - [j16]Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen:
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(12): 5127-5140 (2023) - [j15]Xiaohong Chen, Juan Zhang, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou:
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements. IEEE Trans. Intell. Transp. Syst. 24(12): 15146-15157 (2023) - [c55]Xinping Wang, Liangyu Chen, Min Zhang:
Deep Attentive Model for Knowledge Tracing. AAAI 2023: 10192-10199 - [c54]Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang:
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR 2023: 16251-16260 - [c53]Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang:
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA 2023: 1182-1194 - [c52]Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang:
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS 2023 - [c51]Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang:
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) 2023: 208-226 - [i13]Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang:
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. CoRR abs/2301.11912 (2023) - [i12]Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang:
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR abs/2303.11552 (2023) - [i11]Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang:
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR abs/2305.16998 (2023) - [i10]Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang:
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales. CoRR abs/2312.09695 (2023) - 2022
- [j14]Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun:
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65(11): 2894-2908 (2022) - [j13]Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin:
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6(OOPSLA2): 315-344 (2022) - [c50]Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang:
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. CAV (1) 2022: 193-218 - [c49]Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz:
Neural Network Verification with Proof Production. FMCAD 2022: 38-48 - [c48]Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang:
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU. HPCC/DSS/SmartCity/DependSys 2022: 82-91 - [c47]Shaobin Liu, Xiaohong Chen, Zhi Jin, Min Zhang:
Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach. HPCC/DSS/SmartCity/DependSys 2022: 1109-1114 - [c46]Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE 2022: 80:1-80:13 - [c45]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE 2022: 82:1-82:13 - [c44]Peng Jin, Yang Wang, Min Zhang:
Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction. SEKE 2022: 357-362 - [e2]Adrián Riesco, Min Zhang:
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13478, Springer 2022, ISBN 978-3-031-17243-4 [contents] - [i9]Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz:
Neural Network Verification with Proof Production. CoRR abs/2206.00512 (2022) - [i8]Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR abs/2208.09872 (2022) - [i7]Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang:
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR abs/2211.11127 (2022) - [i6]Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang:
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR abs/2211.11186 (2022) - [i5]Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR abs/2212.11138 (2022) - 2021
- [c43]Yiting Wu, Min Zhang:
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation. AAAI 2021: 11674-11681 - [c42]Xinping Wang, Liangyu Chen, Tong Wang, Mingang Chen, Min Zhang:
An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning. IJCNN 2021: 1-8 - [c41]Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang:
Attack-Guided Efficient Robustness Verification of ReLU Neural Networks. IJCNN 2021: 1-8 - [c40]Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen:
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE 2021: 345-356 - [c39]Yi Wang, Yang Feng, Min Zhang, Pu Sun:
The Necessity of Low-code Engineering for Industrial Software Development: A Case Study and Reflections. ISSRE Workshops 2021: 415-420 - [c38]Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen:
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. RTSS 2021: 227-239 - [c37]Zhaosen Wen, Weikai Miao, Min Zhang:
Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE 2021: 144-149 - [i4]Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen:
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. CoRR abs/2106.06931 (2021) - 2020
- [j12]Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang:
SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020) - [j11]Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun:
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167: 110617 (2020) - [j10]Frédéric Mallet, Min Zhang:
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198: 102521 (2020) - [j9]Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, Mingsong Chen:
Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4006-4017 (2020) - [c36]Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen:
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE 2020: 376-381 - [c35]Yi Wang, Min Zhang:
Reducing implicit gender biases in software development: does intergroup contact theory work? ESEC/SIGSOFT FSE 2020: 580-592 - [i3]Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song:
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR abs/2007.08520 (2020)
2010 – 2019
- 2019
- [j8]Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He:
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68(3): 1117-1133 (2019) - [c34]Xiaotong Chi, Min Zhang, Xiao Xu:
An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems. APSEC 2019: 189-196 - [c33]Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen:
Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019: 98 - [c32]Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen:
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE 2019: 61-78 - [c31]Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata:
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. FASE 2019: 299-305 - [c30]Yi Wang, Min Zhang:
Country stereotypes, initial trust, and cooperation in global software development teams. ICGSE 2019: 142-151 - [c29]Xiaohong Chen, Zhiwei Zhong, Zhi Jin, Min Zhang, Tong Li, Xiang Chen, Tingliang Zhou:
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems. RE 2019: 308-318 - [c28]Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer:
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) 2019: 40-57 - 2018
- [j7]Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze:
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [j6]Min Zhang, Feng Dai, Frédéric Mallet:
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154: 42-60 (2018) - [j5]Min Zhang, Kazuhiro Ogata:
From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories. Theor. Comput. Sci. 722: 52-75 (2018) - [c27]Wei Tang, Min Zhang:
PyReload: Dynamic Updating of Python Programs by Reloading. APSEC 2018: 229-238 - [c26]Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang:
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. COMPSAC (1) 2018: 213-218 - [c25]Frédéric Mallet, Min Zhang:
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS 2018: 143-146 - [c24]Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang:
KRust: A Formal Executable Semantics of Rust. TASE 2018: 44-51 - [i2]Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang:
KRust: A Formal Executable Semantics of Rust. CoRR abs/1804.10806 (2018) - 2017
- [c23]Yuxin Deng, Min Zhang, Guoqing Lei:
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM 2017: 464-480 - [c22]Min Zhang, Yunhui Ying:
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. LCTES 2017: 61-70 - [c21]Jia She, Xiaoran Zhu, Min Zhang:
Algebraic Formalization and Verification of PKMv3 Protocol using Maude. SEKE 2017: 167-172 - [e1]Frédéric Mallet, Min Zhang, Eric Madelaine:
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-1924-7 [contents] - [i1]Xiaoran Zhu, Min Zhang, Jian Guo:
Towards an executable semantics of automobile RTOS standard and its application to conformance verification. CoRR abs/1711.08853 (2017) - 2016
- [j4]Eric Madelaine, Min Zhang:
Towards a bisimulation theory for open synchronized networks of automata. Sci. China Inf. Sci. 59(5): 050107:1-050107:3 (2016) - [j3]Kazuhiro Ogata, Thapana Chaimanont, Min Zhang:
Formal modeling and analysis of time- and resource-sensitive simple business processes. J. Inf. Secur. Appl. 31: 23-40 (2016) - [j2]Min Zhang, Toshiaki Aoki, Yueying He:
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. J. Inf. Secur. Appl. 31: 41-53 (2016) - [c20]Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang:
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC 2016: 275-280 - [c19]Ludovic Henrio, Eric Madelaine, Min Zhang:
A Theory for the Composition of Concurrent Processes. FORTE 2016: 175-194 - [c18]Min Zhang, Frédéric Mallet, Huibiao Zhu:
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM 2016: 433-449 - 2015
- [c17]Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. APSEC 2015: 159-166 - [c16]Min Zhang, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS 2015: 37-51 - [c15]Dung Tuan Ho, Min Zhang, Kazuhiro Ogata:
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing. ILP (Late Breaking Papers) 2015: 33-47 - 2014
- [c14]Yunja Choi, Min Zhang, Kazuhiro Ogata:
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) 2014: 295-302 - [c13]Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 560-577 - [c12]Min Zhang, Yunja Choi, Kazuhiro Ogata:
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. WRLA 2014: 280-296 - 2013
- [c11]Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake:
SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) 2013: 307-314 - [c10]Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto:
Constructor-Based Inductive Theorem Prover. CALCO 2013: 328-333 - [c9]Kazuhiro Ogata, Min Zhang:
A Divide and Conquer Approach to Model Checking of Liveness Properties. COMPSAC 2013: 648-657 - [c8]Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin:
An Approach for Checking OSEK/VDX Applications. QSIC 2013: 113-116 - [c7]Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. VSSE 2013: 12-23 - 2012
- [c6]Min Zhang, Kazuhiro Ogata:
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. APSEC 2012: 511-516 - [c5]Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC 2012: 664-673 - 2011
- [j1]Min Zhang, Kazuhiro Ogata, Masaki Nakamura:
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support. IEICE Trans. Inf. Syst. 94-D(5): 976-988 (2011) - [c4]Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu:
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 - 2010
- [c3]Min Zhang, Kazuhiro Ogata, Masaki Nakamura:
Specification Translation of State Machines from Equational Theories into Rewrite Theories. ICFEM 2010: 678-693 - [c2]Yi Wang, Min Zhang:
Penalty policies in professional software development practice: a multi-method field study. ICSE (2) 2010: 39-47
2000 – 2009
- 2009
- [c1]Min Zhang, Kazuhiro Ogata:
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. QSIC 2009: 406-411