Hengyang Wu

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 17

Top Topics

Empirical Validation

Transition Systems

Top Venues

Fuzzy Sets Syst.

Fundam. Informaticae

Int. J. Approx. Reason.

Publications

Zhihuan Yan, Rong Peng, Hengyang Wu
Similarity propagation based semi-supervised entity alignment. Eng. Appl. Artif. Intell. 130 (2024)
Kangli He, Hengyang Wu, Yixiang Chen
On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. 292 (2023)
Na Wang, Rongqiang Zhang, Hengyang Wu
Cultural Heritage Triple Information Extraction Based on Span Pointer Network. CSAI (2023)
Hongwei Tao, Yixiang Chen, Hengyang Wu
Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes. Connect. Sci. 34 (1) (2022)
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
Quantitative BAN Logic Based on Belief Degree. AILA (2022)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203 (2021)
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14 (3) (2020)
Hongwei Tao, Yixiang Chen, Hengyang Wu
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion (2020)
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7 (2019)
Peifen Wang, Yixiang Chen, Hengyang Wu
A Hybrid Clock Logic System for CPS. ISKE (2019)
Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu
Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access 7 (2019)
Hengyang Wu, Yuxin Deng
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Trans. Fuzzy Syst. 26 (2) (2018)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS (2018)
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333 (2018)
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99 (2018)
Tian-Ming Bu, Hengyang Wu, Yixiang Chen
Computing behavioural distance for fuzzy transition systems. TASE (2017)
Hengyang Wu, Yuxin Deng
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets Syst. 301 (2016)
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135 (3) (2014)
Yuxin Deng, Hengyang Wu
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM (2014)
Hengyang Wu, Yixiang Chen, Min Zhang
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE (2013)
Hengyang Wu, Yixiang Chen
Coalgebras for Fuzzy Transition Systems. ISDT (2013)
Hengyang Wu, Yixiang Chen
The Partial Correctness Semantics of Imperative fuzzy Programming Language. QLSC (2012)
Hengyang Wu, Yixiang Chen
Semantics of non-deterministic possibility computation. Fuzzy Sets Syst. 199 (2012)
Hengyang Wu, Yixiang Chen
of Fuzzy Imperative Programming Languages. NL-MUA (2011)
Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE (2011)
Hengyang Wu, Yixiang Chen
A Duality Theorem for Quantitative Semantics. ISDT (2009)
Hengyang Wu
Measurement of refinement and correctness. Frontiers Comput. Sci. China 3 (4) (2009)
Yixiang Chen, Hengyang Wu
Semantics of sub-probabilistic programs. Frontiers Comput. Sci. China 2 (1) (2008)
Yixiang Chen, Hengyang Wu
Domain semantics of possibility computations. Inf. Sci. 178 (12) (2008)