Dehui Du
Orcid: 0000-0002-5758-935X
According to our database1,
Dehui Du
authored at least 50 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
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
Int. J. Softw. Informatics, 2021
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
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
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
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
Frontiers Comput. Sci., 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
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
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
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
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
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
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Proceedings of the NASA Formal Methods, 2013
2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
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
Proceedings of the TASE 2009, 2009
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
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2006
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006
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
Proceedings of the Grid and Cooperative Computing, 2004