Verification of orchestration systems using compositional partial order reduction

Verification of orchestration systems using compositional partial order reduction

10.1007/978-3-642-24559-6_9

Saved in:

書目詳細資料
Main Authors:	Tan, T.H., Liu, Y., Sun, J., Dong, J.S.
其他作者:	TEMASEK LABORATORIES
格式:	Conference or Workshop Item
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/43174
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

Verification of computation Orchestration via timed automata
由: Dong, J.S., et al.
出版: (2013)

Towards verification of computation orchestration
由: Dong, Jin Song, et al.
出版: (2013)

Towards verification of computation orchestration
由: DONG, Jin Song, et al.
出版: (2014)

State space reduction for sensor networks using two-level partial order reduction
由: Zheng, M., et al.
出版: (2014)

Automatic compositional verification of timed systems
由: Lin, S.-W., et al.
出版: (2013)

Model-based methods for linking Web service choreography and orchestration
由: Sun, J., et al.
出版: (2013)

State space reduction for sensor networks using two-level partial order reduction
由: ZHENG, Manchun, et al.
出版: (2013)

Optimal Orchestration of Rewards and Punishments in Rank-Order Contests
由: Liu, Bin, et al.
出版: (2023)

CELL: A compositional verification framework
由: Ji, K., et al.
出版: (2014)

Automatic compositional verification of timed systems
由: LIN, Shang-Wei, et al.
出版: (2012)

A verification system for timed interval calculus
由: Chen, C., et al.
出版: (2013)

Learning assumptions for compositional verification of timed systems
由: LIN, Shang-Wei Lin, et al.
出版: (2014)

Interpolation guided compositional verification
由: LIN, Shang-Wei, et al.
出版: (2015)

PAT: Towards flexible verification under fairness
由: Sun, J., et al.
出版: (2013)

Model-based methods for linking web service choreography and orchestration
由: SUN, Jun, et al.
出版: (2010)

Scaling BDD-based timed verification with simulation reduction
由: NGUYEN, Truong Khanh, et al.
出版: (2016)

A verification system for interval-based specification languages
由: Chen, C., et al.
出版: (2013)

CELL: A compositional verification framework
由: JI, Kun, et al.
出版: (2013)

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
由: HANSEN, Henri, et al.
出版: (2014)

ORCHESTRAL CONCERT HALL
由: SEPTUAGINTA SOPAKUWA , ARDILES

Computer-aided dispatch system family architecture and verification: An integrated formal approach
由: Sun, J., et al.
出版: (2013)

Formal verification of scalable nonzero indicators
由: Zhang, S.J., et al.
出版: (2013)

Orchestrator: An Active Resource Orchestration Framework for Mobile Context Monitoring in Sensor-rich Mobile Environments
由: KANG, Seungwoo, et al.
出版: (2010)

Verification assisted gas reduction for smart contracts
由: GAO, Bo, et al.
出版: (2021)

Mechanism design : from partial to probabilistic verification
由: Caragiannis, Ioannis, et al.
出版: (2013)

Automatically refining partial specifications for program verification
由: Qin, S., et al.
出版: (2013)

Partial orders on partial Baer-Levi semigroups
由: Singha B., et al.
出版: (2017)

IOT DEVICES ORCHESTRATION USING BUSINESS PROCESS ENGINE
由: Jonathan, Ivan

SeVe: Automatic tool for verification of security protocols
由: Luu, A.T., et al.
出版: (2013)

Partial orders on semigroups of partial transformations with restricted range
由: Sangkhanan K., et al.
出版: (2014)

A complete method for symmetry reduction in safety verification
由: Chu, D.-H., et al.
出版: (2013)

A verification framework for agent knowledge
由: Dong, J.S., et al.
出版: (2013)

Using first-order theorem provers for security protocol verification
由: Lim, Pamela Jiah Min
出版: (2015)

Integrating specification and programs for system modeling and verification
由: SUN, Jun, et al.
出版: (2009)

Learning on Partial-Order Hypergraphs
由: Fuli Feng, et al.
出版: (2020)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

Compiler orchestrated prefetching via speculation and predication
由: Rabbah, R.M., et al.
出版: (2013)

Integrating specification and programs for system modeling and verification
由: Sun, J., et al.
出版: (2013)