Hengyang Wu

According to our database, Hengyang Wu authored at least 28 papers between 2008 and 2023.

Collaborative distances:

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

2023

On divergence-sensitive weak probabilistic bisimilarity.

Kangli He, Hengyang Wu, Yixiang Chen

Inf. Comput., June, 2023

Cultural Heritage Triple Information Extraction Based on Span Pointer Network.

Na Wang, Rongqiang Zhang, Hengyang Wu

Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence, 2023

2022

Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.

Hongwei Tao, Yixiang Chen, Hengyang Wu

Connect. Sci., 2022

Quantitative BAN Logic Based on Belief Degree.

Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen

Proceedings of the Artificial Intelligence Logic and Applications, 2022

2021

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

Sci. Comput. Program., 2021

2020

Connection models for the Internet-of-Things.

Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen

Frontiers Comput. Sci., 2020

Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.

Hongwei Tao, Yixiang Chen, Hengyang Wu

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.

Yuanrui Zhang, Yixiang Chen, Hengyang Wu

IEEE Access, 2019

Updating Model of Software Component Trustworthiness Based on Users Feedback.

Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu

IEEE Access, 2019

A Hybrid Clock Logic System for CPS.

Peifen Wang, Yixiang Chen, Hengyang Wu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.

Hengyang Wu, Yuxin Deng

IEEE Trans. Fuzzy Syst., 2018

Bisimulations for fuzzy transition systems revisited.

Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen

Int. J. Approx. Reason., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.

Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng

Fuzzy Sets Syst., 2018

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017

Computing behavioural distance for fuzzy transition systems.

Tian-Ming Bu, Hengyang Wu, Yixiang Chen

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

2016

Logical characterizations of simulation and bisimulation for fuzzy transition systems.

Hengyang Wu, Yuxin Deng

Fuzzy Sets Syst., 2016

2014

Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

Fundam. Informaticae, 2014

Modal Characterisations of Probabilistic and Fuzzy Bisimulations.

Yuxin Deng, Hengyang Wu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Coalgebras for Fuzzy Transition Systems.

Hengyang Wu, Yixiang Chen

Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 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

2012

Semantics of non-deterministic possibility computation.

Hengyang Wu, Yixiang Chen

Fuzzy Sets Syst., 2012

The Partial Correctness Semantics of Imperative fuzzy Programming Language.

Hengyang Wu, Yixiang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

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

The Semantics of <i>wlp</i> and <i>slp</i> of Fuzzy Imperative Programming Languages.

Hengyang Wu, Yixiang Chen

Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

2009

Measurement of refinement and correctness.

Hengyang Wu

Frontiers Comput. Sci. China, 2009

A Duality Theorem for Quantitative Semantics.

Hengyang Wu, Yixiang Chen

Proceedings of the Fifth International Symposium on Domain Theory, 2009

2008

Domain semantics of possibility computations.

Yixiang Chen, Hengyang Wu

Inf. Sci., 2008

Semantics of sub-probabilistic programs.

Yixiang Chen, Hengyang Wu

Frontiers Comput. Sci. China, 2008