1 citations · 1 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Smart contracts, self-executing programs on the blockchain, facilitate reliable value exchanges without centralized oversight. Despite the recent focus on dynamic analysis of their…
cs.AR2024
Continuous-Time Digital Twin with Analogue Memristive Neural Ordinary Differential Equation Solver
Hegan Chen, Jichang Yang, Jia Chen +20
Digital twins, the cornerstone of Industry 4.0, replicate real-world entities through computer models, revolutionising fields such as manufacturing management and industrial automa…