Yang Liu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Materials of "Smart Contract Fuzzing Towards Profitable Vulnerabilities"	2025-02-12	Dataset
Formally understanding Rust's ownership and borrowing system at the memory level	2025-01-13	Paper
A parametric rely-guarantee reasoning framework for concurrent reactive systems	2024-03-14	Paper
Towards efficient data-flow test data generation	2024-02-28	Paper
Formal analysis of composable DeFi protocols	2022-06-01	Paper
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving	2022-03-23	Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model	2021-06-09	Paper
Compositional reasoning for shared-variable concurrent programs	2021-05-04	Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs	2020-08-05	Paper
A distributed method to avoid higher-order deadlocks in multi-robot systems	2020-01-20	Paper
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL	2019-12-19	Paper
Model checking with fairness assumptions using PAT	2019-05-28	Paper
A distributed approach to robust control of multi-robot systems	2019-02-05	Paper
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS	2018-10-23	Paper
Proof tactics for assertions in separation logic	2018-01-04	Paper
ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols	2017-01-11	Paper
Refinement checking based on simulation relations	2016-10-06	Paper
Towards verification of computation orchestration	2016-08-05	Paper
PeCAn: Compositional Verification of Petri Nets Made Easy	2015-12-17	Paper
Parameter synthesis for hierarchical concurrent real-time systems	2015-01-23	Paper
Event Analytics	2015-01-13	Paper
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction	2014-11-03	Paper
Model checking approach to automated planning	2014-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5418249	2014-06-03	Paper
Complexity of the Soundness Problem of Workflow Nets	2014-05-12	Paper
Towards a Combination of CafeOBJ and PAT	2014-03-25	Paper
SeVe: automatic tool for verification of security protocols	2012-11-15	Paper
Improved BDD-Based Discrete Analysis of Timed Systems	2012-11-08	Paper
Complexity of the Soundness Problem of Bounded Workflow Nets	2012-09-04	Paper
An Efficient Algorithm for Learning Event-Recording Automata	2011-10-07	Paper

Research outcomes over time

This page was built for person: Yang Liu