The language preservation problem is undecidable for parametric event-recording automata

by André, Étienne, Lin, Shang-Wei
Published 2020

A generalized formal semantic framework for smart contracts

by JIAO, Jiao, LIN, Shang-Wei, SUN, Jun
Published 2020

From verified model to executable program: the PAT approach

by Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei
Published 2017

A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic

by Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David
Published 2023

Learning assumptions for compositional verification of timed systems

by LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun, SUN, Jun
Published 2014

Automatic verification of multi-threaded programs by inference of rely-guarantee specifications

by LE, Xuan-Bach, SANAN, David, SUN, Jun, LIN, Shang-Wei
Published 2020

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

by LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
Published 2022

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

by LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
Published 2022

A distributed approach to robust control of multi-robot systems

by Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua
Published 2020

A distributed method to avoid higher-order deadlocks in multi-robot systems

by Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua
Published 2021

A survey of smart contract formal specification and verification

by Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang
Published 2022

TLV: Abstraction through testing, learning, and validation

by SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
Published 2015

TzuYu: Learning stateful typestates

by XIAO, Hao, SUN, Jun, LIU, Yang, LIN, Shang-Wei, SUN, Chengnian
Published 2013

An efficient algorithm for learning event-recording automata

by LIN, Shang-Wei, ANDRÉ, Étienne, DONG, Jin Song, SUN, Jun, LIU, Yang
Published 2011

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems

by ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song, LIN, Shang-Wei
Published 2013

Automatic compositional verification of timed systems

by LIN, Shang-Wei, LIU, Yang, SUN, Jun, DONG, Jin Song, ANDRÉ, Étienne
Published 2012

Automatic loop-invariant generation and refinement through selective sampling

by LI, Jiaying, SUN, Jun, LI, Li, LE, Quang Loc, LIN, Shang-Wei
Published 2017

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions

by HANSEN, Henri, LIN, Shang-Wei, LIU, Yang, NGUYEN, Truong Khanh, SUN, Jun
Published 2014

Enhancing security patch identification by capturing structures in commits

by WU, Bozhi, LIU, Shangqing, FENG, Ruitao, XIE, Xiaofei, SIOW, Jingkai, LIN, Shang-Wei
Published 2022

Automatic generation of provably correct embedded systems

by LIN, Shang-Wei, LIU, Yang, HSIUNG, Pao-Ann, SUN, Jun, DONG, Jin Song
Published 2012