Towards expressive specification and efficient model checking

由 DONG, Jin Song, SUN, Jun
出版 2009

Design synthesis from interaction and state-based specifications

由 SUN, Jun, DONG, Jin Song
出版 2006

Synthesis of distributed processes from scenario-based specifications

由 SUN, Jun, DONG, Jin Song
出版 2005

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

由 LIU, Yang, SUN, Jun, DONG, Jin Song
出版 2011

Developing model checkers using PAT

由 LIU, Yang, SUN, Jun, DONG, Jin Song
出版 2010

A formal framework for modeling and validating Simulink diagrams

由 CHEN, Chunqing, DONG, Jin Song, SUN, Jun
出版 2009

Scalable multi-core model checking fairness enhanced systems

由 LIU, Yang, SUN, Jun, DONG, Jin Song
出版 2009

Model checking CSP revisited: Introducing a process analysis toolkit

由 SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2008

Machine-assisted proof support for validation beyond Simulink

由 CHEN, Chunqing, DONG, Jin Song, SUN, Jun
出版 2007

A verification system for timed interval calculus

由 CHEN, Chunqing, DONG, Jin Song, SUN, Jun
出版 2008

Sequential schemes for frequentist estimation of properties in statistical model checking

由 JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
出版 2017

On the sequential massart algorithm for statistical model checking

由 JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
出版 2018

Towards verification of computation orchestration

由 Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
出版 2013

Differencing labeled transition systems

由 XING, Zhenchang, SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2011

PAT: Towards flexible verification under fairness

由 SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun
出版 2009

Verifying stateful timed CSP using implicit clocks and zone abstraction

由 SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
出版 2009

Integrating specification and programs for system modeling and verification

由 SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing
出版 2009

Bounded model checking of compositional processes

由 SUN, Jun, LIU, Yang, DONG, Jin Song, SUN, Jing
出版 2008

Parameter synthesis for hierarchical concurrent real-time systems

由 ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song
出版 2014

A model checker for hierarchical probabilistic real-time systems

由 SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2012