Towards expressive specification and efficient model checking

by DONG, Jin Song, SUN, Jun
Published 2009

Design synthesis from interaction and state-based specifications

by SUN, Jun, DONG, Jin Song
Published 2006

Synthesis of distributed processes from scenario-based specifications

by SUN, Jun, DONG, Jin Song
Published 2005

PAT 3: An extensible architecture for building multi-domain model checkers

by LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2011

Developing model checkers using PAT

by LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2010

A formal framework for modeling and validating Simulink diagrams

by CHEN, Chunqing, DONG, Jin Song, SUN, Jun
Published 2009

Scalable multi-core model checking fairness enhanced systems

by LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2009

Model checking CSP revisited: Introducing a process analysis toolkit

by SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2008

Machine-assisted proof support for validation beyond Simulink

by CHEN, Chunqing, DONG, Jin Song, SUN, Jun
Published 2007

A verification system for timed interval calculus

by CHEN, Chunqing, DONG, Jin Song, SUN, Jun
Published 2008

Sequential schemes for frequentist estimation of properties in statistical model checking

by JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
Published 2017

On the sequential massart algorithm for statistical model checking

by JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
Published 2018

Towards verification of computation orchestration

by Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
Published 2013

Differencing labeled transition systems

by XING, Zhenchang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2011

PAT: Towards flexible verification under fairness

by SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun
Published 2009

Verifying stateful timed CSP using implicit clocks and zone abstraction

by SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
Published 2009

Integrating specification and programs for system modeling and verification

by SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing
Published 2009

Bounded model checking of compositional processes

by SUN, Jun, LIU, Yang, DONG, Jin Song, SUN, Jing
Published 2008

Parameter synthesis for hierarchical concurrent real-time systems

by ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2014

A model checker for hierarchical probabilistic real-time systems

by SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2012