Yang Liu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2824414	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yang Liu