Search filters

List of works by Xiaoxing Ma

AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects

scientific article published on 18 October 2024

Application mobility in pervasive computing: A survey

article

Architecting and implementing distributed Web applications using the graph-oriented approach

Concurrent Event Detection for Asynchronous consistency checking of pervasive context

Design of a Sliding Window over Distributed and Asynchronous Event Streams

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference

scientific article published on 18 October 2024

NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries

scientific article published on 18 July 2024

On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference

scientific article published on 18 July 2024

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

scientific article published on 18 April 2024

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

scientific article published on 16 October 2023

Paulina is supported by:

About Paulina

Help