Min Zhang 0002

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mingsong Chen

> Home > Persons > Min Zhang 0002

Publications

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)
2021
[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
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)
[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)
[c35]
- 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
2019
[c32]
- 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
2016
[c19]
- 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

a service of

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.