default search action

combined dblp search
author search
venue search
publication search

ask others

Min Zhang 0002

张民

> Home > Persons

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

see FAQ

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ZhangMZL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ZhangMZL24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/ChenWCHCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/ChenWCHCZ24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/ChenJZMLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/ChenJZMLZ24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZhiWCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhiWCZ24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/WuIZTDKRAJBHLWZKKB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WuIZTDKRAJBHLWZKKB24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhiWLOZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhiWLOZ24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/WangDZZB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/WangDZZB24
Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze:
Enabling Behaviour Tree Verification via a Translation to BIP. FACS 2024: 3-20
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangZYS024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangZYS024
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XueLTCL0JZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XueLTCL0JZ24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/XueLT0L00024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/XueLT0L00024
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/TianZLWKZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/TianZLWKZ24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14461
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-01769
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-01769
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangO23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HuZMFC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HuZMFC23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuCHZCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuCHZCC23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuXZCMC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuXZCMC23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/ChenZJZLCZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/ChenZJZLCZ23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Wang0Z23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Wang0Z23
Xinping Wang, Liangyu Chen, Min Zhang:
Deep Attentive Model for Knowledge Tracing. AAAI 2023: 10192-10199
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/ZhangXC0ZL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/ZhangXC0ZL023
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/XueLZWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/XueLZWZ23
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]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/TianZ0WC023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/TianZ0WC023
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GuoZZKZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GuoZZKZ23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11912
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-11552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-11552
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16998
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-09695
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-09695
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/ZhangLZS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/ZhangLZS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LiuMOZB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LiuMOZB22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/JinTZWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JinTZWZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/IsacBZK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/IsacBZK22
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz:
Neural Network Verification with Proof Production. FMCAD 2022: 38-48
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/ChenWZZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/ChenWZZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/LiuCJZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/LiuCJZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangWLLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangWLLZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangZCSZCS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangZCSZCS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/JinWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/JinWZ22
Peng Jin, Yang Wang, Min Zhang:
Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction. SEKE 2022: 357-362
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2022
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-00512
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-00512
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz:
Neural Network Verification with Proof Production. CoRR abs/2206.00512 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-09872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-09872
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-11127
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-11127
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-11186
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-11186
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-11138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-11138
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WuZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WuZ21
Yiting Wu, Min Zhang:
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation. AAAI 2021: 11674-11681
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/WangCWCZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/WangCWCZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/ZhuWWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/ZhuWWZ21
Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang:
Attack-Guided Efficient Robustness Verification of ReLU Neural Networks. IJCNN 2021: 1-8
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GuoWZZSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GuoWZZSW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WangFZS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WangFZS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HuDZMC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HuDZMC21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/WenMZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/WenMZ21
Zhaosen Wen, Weikai Miao, Min Zhang:
Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE 2021: 144-149
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-06931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-06931
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]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/QinBMHDZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/QinBMHDZ20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AnLZCCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AnLZCCS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Mallet020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mallet020
Frédéric Mallet, Min Zhang:
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198: 102521 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuDZWC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuDZWC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GaoMZC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GaoMZC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WangZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WangZ20
Yi Wang, Min Zhang:
Reducing implicit gender biases in software development: does intergroup contact theory work? ESEC/SIGSOFT FSE 2020: 580-592
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08520
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/ZhuZGLZH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/ZhuZGLZH19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ChiZX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ChiZX19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HuWZMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HuWZMC19
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen:
Sample-Guided Automated Synthesis for CCSL Specifications. DAC 2019: 98
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ZhangSMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZhangSMC19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/QianZWO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/QianZWO19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/WangZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/WangZ19
Yi Wang, Min Zhang:
Country stereotypes, initial trust, and cooperation in global software development teams. ICGSE 2019: 142-151
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/re/0007ZJZLCZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/0007ZJZLCZ19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LiuOZWM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LiuOZWM19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MadelaineQZB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MadelaineQZB18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangDM18
Min Zhang, Feng Dai, Frédéric Mallet:
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154: 42-60 (2018)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhangO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhangO18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/TangZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/TangZ18
Wei Tang, Min Zhang:
PyReload: Dynamic Updating of Python Programs by Reloading. APSEC 2018: 229-238
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/XieZZLF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/XieZZLF18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/MalletZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/MalletZ18
Frédéric Mallet, Min Zhang:
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS 2018: 143-146
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangSZZZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangSZZZ18
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang:
KRust: A Formal Executable Semantics of Rust. TASE 2018: 44-51
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-10806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-10806
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang:
KRust: A Formal Executable Semantics of Rust. CoRR abs/1804.10806 (2018)
2017
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DengZL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DengZL17
Yuxin Deng, Min Zhang, Guoqing Lei:
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM 2017: 464-480
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/ZhangY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/ZhangY17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/seke/SheZZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SheZZ17
Jia She, Xiaoran Zhu, Min Zhang:
Algebraic Formalization and Verification of PKMv3 Protocol using Maude. SEKE 2017: 167-172
[e1]
- view
- export record
  dblp key:
  - conf/tase/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/2017
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-08853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-08853
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]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/MadelaineZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/MadelaineZ16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/OgataCZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/OgataCZ16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/ZhangAH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/ZhangAH16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SunCZLZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SunCZLZ16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/HenrioMZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HenrioMZ16
Ludovic Henrio, Eric Madelaine, Min Zhang:
A Theory for the Composition of Concurrent Processes. FORTE 2016: 175-194
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhangMZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhangMZ16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/0002OF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/0002OF15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ZhangM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ZhangM15
Min Zhang, Frédéric Mallet:
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS 2015: 37-51
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ilp/Ho0O15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ilp/Ho0O15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/Choi0O14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/Choi0O14
Yunja Choi, Min Zhang, Kazuhiro Ogata:
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) 2014: 295-302
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0002OF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0002OF14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wrla/0002CO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/0002CO14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhangALZCY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhangALZCY13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GainaZCA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GainaZCA13
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto:
Constructor-Based Inductive Theorem Prover. CALCO 2013: 328-333
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Ogata013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Ogata013
Kazuhiro Ogata, Min Zhang:
A Divide and Conquer Approach to Model Checking of Liveness Properties. COMPSAC 2013: 648-657
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ZhangAYZL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ZhangAYZL13
Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin:
An Approach for Checking OSEK/VDX Applications. QSIC 2013: 113-116
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/0002OF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/0002OF13
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. VSSE 2013: 12-23
2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/0002O12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/0002O12
Min Zhang, Kazuhiro Ogata:
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. APSEC 2012: 511-516
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/0002OF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/0002OF12
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC 2012: 664-673
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/ZhangON11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/ZhangON11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ZhuZHSZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ZhuZHSZ11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhangON10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhangON10
Min Zhang, Kazuhiro Ogata, Masaki Nakamura:
Specification Translation of State Machines from Equational Theories into Rewrite Theories. ICFEM 2010: 678-693
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangZ10
Yi Wang, Min Zhang:
Penalty policies in professional software development practice: a multi-method field study. ICSE (2) 2010: 39-47

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/ZhangO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/ZhangO09
Min Zhang, Kazuhiro Ogata:
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. QSIC 2009: 406-411

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.