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