Yang Liu

From MaRDI portal
Person:488228

Available identifiers

zbMath Open liu.yang.10MaRDI QIDQ488228

List of research outcomes

PublicationDate of PublicationType
Formal analysis of composable DeFi protocols2022-06-01Paper
Guardauto: A Decentralized Runtime Protection System for Autonomous Driving2022-03-23Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model2021-06-09Paper
Compositional reasoning for shared-variable concurrent programs2021-05-04Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs2020-08-05Paper
A distributed method to avoid higher-order deadlocks in multi-robot systems2020-01-20Paper
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL2019-12-19Paper
Model checking with fairness assumptions using PAT2019-05-28Paper
A distributed approach to robust control of multi-robot systems2019-02-05Paper
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS2018-10-23Paper
Proof tactics for assertions in separation logic2018-01-04Paper
ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols2017-01-11Paper
https://portal.mardi4nfdi.de/entity/Q28244142016-10-06Paper
Towards verification of computation orchestration2016-08-05Paper
PeCAn: Compositional Verification of Petri Nets Made Easy2015-12-17Paper
Parameter synthesis for hierarchical concurrent real-time systems2015-01-23Paper
Event Analytics2015-01-13Paper
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction2014-11-03Paper
Model checking approach to automated planning2014-06-30Paper
https://portal.mardi4nfdi.de/entity/Q54182492014-06-03Paper
Complexity of the Soundness Problem of Workflow Nets2014-05-12Paper
Towards a Combination of CafeOBJ and PAT2014-03-25Paper
SeVe: automatic tool for verification of security protocols2012-11-15Paper
Improved BDD-Based Discrete Analysis of Timed Systems2012-11-08Paper
Complexity of the Soundness Problem of Bounded Workflow Nets2012-09-04Paper
An Efficient Algorithm for Learning Event-Recording Automata2011-10-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Yang Liu