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

由 André, Étienne, Lin, Shang-Wei
出版 2020

A generalized formal semantic framework for smart contracts

由 JIAO, Jiao, LIN, Shang-Wei, SUN, Jun
出版 2020

From verified model to executable program: the PAT approach

由 Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei
出版 2017

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

由 Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David
出版 2023

Learning assumptions for compositional verification of timed systems

由 LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun, SUN, Jun
出版 2014

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

由 LE, Xuan-Bach, SANAN, David, SUN, Jun, LIN, Shang-Wei
出版 2020

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

由 LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
出版 2022

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

由 LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
出版 2022

A distributed approach to robust control of multi-robot systems

由 Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua
出版 2020

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

由 Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua
出版 2021

A survey of smart contract formal specification and verification

由 Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang
出版 2022

TLV: Abstraction through testing, learning, and validation

由 SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
出版 2015

TzuYu: Learning stateful typestates

由 XIAO, Hao, SUN, Jun, LIU, Yang, LIN, Shang-Wei, SUN, Chengnian
出版 2013

An efficient algorithm for learning event-recording automata

由 LIN, Shang-Wei, ANDRÉ, Étienne, DONG, Jin Song, SUN, Jun, LIU, Yang
出版 2011

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems

由 ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song, LIN, Shang-Wei
出版 2013

Automatic compositional verification of timed systems

由 LIN, Shang-Wei, LIU, Yang, SUN, Jun, DONG, Jin Song, ANDRÉ, Étienne
出版 2012

Automatic loop-invariant generation and refinement through selective sampling

由 LI, Jiaying, SUN, Jun, LI, Li, LE, Quang Loc, LIN, Shang-Wei
出版 2017

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

由 HANSEN, Henri, LIN, Shang-Wei, LIU, Yang, NGUYEN, Truong Khanh, SUN, Jun
出版 2014

Enhancing security patch identification by capturing structures in commits

由 WU, Bozhi, LIU, Shangqing, FENG, Ruitao, XIE, Xiaofei, SIOW, Jingkai, LIN, Shang-Wei
出版 2022

Automatic generation of provably correct embedded systems

由 LIN, Shang-Wei, LIU, Yang, HSIUNG, Pao-Ann, SUN, Jun, DONG, Jin Song
出版 2012