Dehui Du

Orcid: 0000-0002-5758-935X

According to our database1, Dehui Du authored at least 56 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Exogenous Matching: Learning Good Proposals for Tractable Counterfactual Estimation.
CoRR, 2024

Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up.
CoRR, 2024

Risk Scenario Generation for Autonomous Driving Systems based on Causal Bayesian Networks.
CoRR, 2024

Spatio-temporal Value Semantics-based Abstraction for Dense Deep Reinforcement Learning.
CoRR, 2024

CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning.
CoRR, 2024

TSFool: Crafting Highly-Imperceptible Adversarial Time Series Through Multi-Objective Attack.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023
A study of the correlation between publication delays and measurement indicators of journal articles in the social network environment - based on online data in PLOS.
Scientometrics, March, 2023

MCNS: Mining Causal Natural Structures Inside Time Series via A Novel Internal Causality Scheme.
CoRR, 2023

Meta Pattern Concern Score: A Novel Evaluation Measure with Human Values for Multi-classifiers.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

2022
Meta Pattern Concern Score: A Novel Metric for Customizable Evaluation of Multi-classification.
CoRR, 2022

TSFool: Crafting High-quality Adversarial Time Series through Multi-objective Optimization to Fool Recurrent Neural Network Classifiers.
CoRR, 2022

SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

RoboSimVer: A Tool for RoboSim Modeling and Analysis.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Efficient Adversarial Sequence Generation for RNN with Symbolic Weighted Finite Automata.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021
A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD.
Int. J. Softw. Informatics, 2021

Transforming RoboSim Models into UPPAAL.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Towards Verified Safety-critical Autonomous Driving Scenario with ADSML.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
DSML4CS: An Executable Domain-Specific Modeling Language for Co-Simulation Service in CPS.
Int. J. Web Serv. Res., 2020

2019
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving.
IEEE Access, 2019

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SHML: Stochastic Hybrid Modeling Language for CPS Behavior.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.
Sci. Comput. Program., 2018

A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci., 2018

Modeling of Interlocking Systems based on Patterns.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Model Checking Coordination of CPS Using Timed Automata.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning.
Int. J. Softw. Informatics, 2016

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
HSD: Hybrid MARTE Sequence Diagram.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A novel quantitative evaluation approach for software project schedules using statistical model checking.
Proceedings of the 36th International Conference on Software Engineering, 2014

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Optimizing Control Strategy Using Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2013

2012
Statistical Model Checking for Stochastic Hybrid Systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

An evaluation framework for energy aware buildings using statistical model checking.
Sci. China Inf. Sci., 2012

Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
Probabilistic Coordination Language for Component Dynamic Composition.
Proceedings of the TASE 2009, 2009

Towards the Verification of Services Collaboration.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

A Rigorous Model of Contract-Based Service Component Architecture.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2006
A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

Towards Model-based Verification of BPEL with Model Checking.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
An Approach for Constructing Software Component Repository in Grid Environments.
Proceedings of the Grid and Cooperative Computing, 2004


  Loading...