Min Zhang
Orcid: 0000-0003-1938-2902Affiliations:
- East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
- Japan Advanced Institute of Science and Technology (JAIST)
According to our database1,
Min Zhang
authored at least 78 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.
IEEE Trans. Intell. Transp. Syst., December, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.
IEEE Trans. Computers, May, 2023
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021).
Sci. Comput. Program., 2023
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales.
CoRR, 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Bridging the semantic gap between qualitative and quantitative models of distributed systems.
Proc. ACM Program. Lang., 2022
CoRR, 2022
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
CoRR, 2022
Comput. J., 2022
Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning.
CoRR, 2021
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
The Necessity of Low-code Engineering for Industrial Software Development: A Case Study and Reflections.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the International Joint Conference on Neural Networks, 2021
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Sci. Comput. Program., 2020
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
J. Syst. Softw., 2020
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels.
CoRR, 2020
Reducing implicit gender biases in software development: does intergroup contact theory work?
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
2019
IEEE Trans. Reliab., 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
Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Country stereotypes, initial trust, and cooperation in global software development teams.
Proceedings of the 14th International Conference on Global Software Engineering, 2019
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories.
Theor. Comput. Sci., 2018
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
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
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Towards an executable semantics of automobile RTOS standard and its application to conformance verification.
CoRR, 2017
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. Secur. Appl., 2016
Formal modeling and analysis of time- and resource-sensitive simple business processes.
J. Inf. Secur. Appl., 2016
Sci. China Inf. Sci., 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 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
Proceedings of the Specification, Algebra, and Software, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates.
Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, 2013
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
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 Trans. Inf. Syst., 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