Min Zhang

According to our database, Min Zhang authored at least 34 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.

Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.

Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Making Fair Classification via Correlation Alignment.

Jingran Yang, Lingfeng Zhang, Min Zhang

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2021

New Symbolic Model and Equivalences Checking for Open Automata.

Biyang Wang, Eric Madelaine, Min Zhang

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Efficient white-box fairness testing through gradient search.

Lingfeng Zhang, Yueling Zhang, Min Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Optimizing backbone filtering.

Yueling Zhang, Min Zhang, Geguang Pu

Sci. Comput. Program., 2020

2019

Generating adversarial examples for DNN using pooling layers.

Yueling Zhang, Geguang Pu, Min Zhang, William Y

J. Intell. Fuzzy Syst., 2019

SMTBCF: Efficient Backbone Computing for SMT Formulas.

Yueling Zhang, Geguang Pu, Min Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Towards backbone computing: A Greedy-Whitening based approach.

Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li

AI Commun., 2018

2017

On the complexity of <i>ω</i>-pushdown automata.

Yusi Lei, Fu Song, Wanwei Liu, Min Zhang

Sci. China Inf. Sci., 2017

Optimizing backbone filtering.

Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

Bayesian Statistical Model-Checking for Complex Stochastic Systems.

Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

2015

Probabilistic Model Checking of Pipe protocol.

Kangli He, Min Zhang, Jia He, Yixiang Chen

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu Song, Weikai Miao, Geguang Pu, Min Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Simulation for lattice-valued doubly labeled transition systems.

Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen

Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

Fundam. Informaticae, 2014

2013

The Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang

J. Comput. Sci. Technol., 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

Hengyang Wu, Yixiang Chen, Min Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Stability of Software Trustworthiness Measurements Models.

Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

A Proof System in PADS.

Xinghua Yao, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

Infinite Evolution Mechanism of ϵ-Bisimilarity.

Yanfang Ma, Min Zhang, Liang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

2011

Two-thirds simulation indexes and modal logic characterization.

Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen

Frontiers Comput. Sci. China, 2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Approximate Simulation for Metric Hybrid Input/Output Automata.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009

Topological Construction of Parameterized Bisimulation Limit.

Yanfang Ma, Min Zhang

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Parameterized Bisimulation Infinite Evolution Mechanism.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.

Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu

Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

Infinite Evolution Mechanism of Probabilistic Processes.

Yanfang Ma, Min Zhang, Yixiang Chen

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.

Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

A Bigraphical Model of WSBPEL.

Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008