research
∙
12/04/2020
Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China
In early 2020, the Corona Virus Disease 2019 (COVID-19) epidemic swept t...
share
research
∙
07/01/2020
DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks
Real-time scheduling and locking protocols are fundamental facilities to...
research
∙
02/23/2019
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts
This paper reports on the development of a formal symbolic process virtu...
research
∙
10/11/2018
FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq
Blockchain technology adds records to a list using cryptographic links. ...
research
∙
08/26/2018
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems
In recent publications, we presented a novel formal symbolic process vir...
research
∙
05/01/2018
Formal Process Virtual Machine for Smart Contracts Verification
This paper reports on the development and verification of a novel formal...
research
∙
03/27/2018
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language
This article presents the formal syntax and semantics for a large subset...
research
∙
02/23/2018
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusab
In recent years, a number of lightweight programs have been deployed in ...
research
∙
02/23/2018
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased
In recent years, a number of lightweight programs have been deployed in ...
research
∙
07/26/2016
Machine Learned Resume-Job Matching Solution
Job search through online matching engines nowadays are very prominent a...
research
∙
11/05/2015