Min Zhang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 61

Top Topics

Linear Approximation

Specification Language

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

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)
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) (2024)
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)
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) (2024)
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)
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR (2024)
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) (2024)
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)
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)
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) (2023)
Min Zhang, Kazuhiro Ogata
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). Sci. Comput. Program. 225 (2023)
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)
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) (2023)
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)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
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) (2023)
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) (2023)
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) (2023)
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) (2022)
Peng Jin, Yang Wang, Min Zhang
Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction. SEKE (2022)
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)
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
Neural Network Verification with Proof Production. FMCAD (2022)
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE (2022)
Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE (2021)
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)
Yiwei Zhu, Feng Wang, Wenjie Wan, Min Zhang
Attack-Guided Efficient Robustness Verification of ReLU Neural Networks. IJCNN (2021)
Yiting Wu, Min Zhang
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation. AAAI (2021)
Zhaosen Wen, Weikai Miao, Min Zhang
Fine-Grained Neural Network Abstraction for Efficient Formal Verification. SEKE (2021)
Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning. CoRR (2021)
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
SMT-based generation of symbolic automata. Acta Informatica 57 (3-5) (2020)
Yi Wang, Min Zhang
Reducing implicit gender biases in software development: does intergroup contact theory work? ESEC/SIGSOFT FSE (2020)
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) (2020)
Frédéric Mallet, Min Zhang
Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198 (2020)
Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. DATE (2020)
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 (2020)
Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR (2020)
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen
Sample-Guided Automated Synthesis for CCSL Specifications. DAC (2019)
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)
Xiaotong Chi, Min Zhang, Xiao Xu
An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems. APSEC (2019)
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE (2019)
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) (2019)
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)
Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. FASE (2019)
Wei Tang, Min Zhang
PyReload: Dynamic Updating of Python Programs by Reloading. APSEC (2018)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. CoRR (2018)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. TASE (2018)
Frédéric Mallet, Min Zhang
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. RTSS (2018)
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
Using SMT Engine to Generate Symbolic Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Min Zhang, Feng Dai, Frédéric Mallet
Periodic scheduling for MARTE/CCSL: Theory and practice. Sci. Comput. Program. 154 (2018)
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)
Min Zhang, Kazuhiro Ogata
From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories. Theor. Comput. Sci. 722 (2018)
Yuxin Deng, Min Zhang, Guoqing Lei
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM (2017)
Xiaoran Zhu, Min Zhang, Jian Guo
Towards an executable semantics of automobile RTOS standard and its application to conformance verification. CoRR (2017)
Jia She, Xiaoran Zhu, Min Zhang
Algebraic Formalization and Verification of PKMv3 Protocol using Maude. SEKE (2017)
Min Zhang, Yunhui Ying
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. LCTES (2017)
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)
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 (2016)
Min Zhang, Frédéric Mallet, Huibiao Zhu
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. ICFEM (2016)
Eric Madelaine, Min Zhang
Towards a bisimulation theory for open synchronized networks of automata. Sci. China Inf. Sci. 59 (5) (2016)
Ludovic Henrio, Eric Madelaine, Min Zhang
A Theory for the Composition of Concurrent Processes. FORTE (2016)
Kazuhiro Ogata, Thapana Chaimanont, Min Zhang
Formal modeling and analysis of time- and resource-sensitive simple business processes. J. Inf. Secur. Appl. 31 (2016)
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. APSEC (2015)
Min Zhang, Frédéric Mallet
An Executable Semantics of Clock Constraint Specification Language and Its Applications. FTSCS (2015)
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)
Yunja Choi, Min Zhang, Kazuhiro Ogata
Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems. APSEC (1) (2014)
Min Zhang, Yunja Choi, Kazuhiro Ogata
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. WRLA (2014)
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. Electron. Notes Theor. Comput. Sci. 294 (2013)
Kazuhiro Ogata, Min Zhang
A Divide and Conquer Approach to Model Checking of Liveness Properties. COMPSAC (2013)
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)
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
Constructor-Based Inductive Theorem Prover. CALCO (2013)
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC (2012)
Min Zhang, Kazuhiro Ogata
Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules. APSEC (2012)
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE (2011)
Min Zhang, Kazuhiro Ogata, Masaki Nakamura
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support. IEICE Trans. Inf. Syst. (5) (2011)
Min Zhang, Kazuhiro Ogata, Masaki Nakamura
Specification Translation of State Machines from Equational Theories into Rewrite Theories. ICFEM (2010)
Yi Wang, Min Zhang
Penalty policies in professional software development practice: a multi-method field study. ICSE (2) (2010)
Min Zhang, Kazuhiro Ogata
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. QSIC (2009)