default search action
4th TASE 2010: Taipei, Taiwan
- Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang:
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4148-8
Invited Papers
- Emil Vassev, Mike Hinchey
, Paddy Nixon:
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. 3-8 - Mike Hinchey
The Art of Developing Autonomic Systems - The ASSL Approach. 9-12
Contributed Papers
- Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu:
A Formal Model for Service Choreography with Exception Handling and Finalization. 15-24 - Chen-Wei Wang, Jim Davies
A Guarded Workflow Language and Its Formal Semantics. 25-34 - Hung Ledang, Hubert Dubois:
Proving Model Transformations. 35-44 - Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan:
A Certifying Compiler for Clike Subset of C Language. 47-56 - Shengyi Wang, Zongyan Qiu, Shengchao Qin
Stack Bound Inference for Abstract Java Bytecode. 57-66 - Huaikou Miao, Pan Liu, Jia Mei:
An Improved Algorithm for Building the Characterizing Set. 67-74 - Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu
Runtime Verification with Multi-valued Formula Rewriting. 77-86 - Xiaoxiao Yang, Zhenhua Duan:
Axiomatic Temporal Logic Programs Verification. 87-94 - Hong Zhu:
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. 95-104 - Laïd Kahloul
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. 107-116 - Yunhe Wang, Bo Jiang, Li Jiao:
Property Checking for 1-Place-Unbounded Petri Nets. 117-125 - Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang:
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. 126-131 - Zining Cao:
Bisimulations for Open Processes in Higher Order p-Calculus. 135-144 - Moritz Kleine, Thomas Göthel:
Specification, Verification and Implementation of Business Processes Using CSP. 145-154 - Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. 157-167 - Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu:
Compositional Abstraction Refinement for Timed Systems. 168-176 - Hai Wan, Xiaoyu Song, Ming Gu:
Parameterized Specification and Verification of PLC Systems in Coq. 179-182 - Farn Wang:
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. 183-186 - Raghava Rao Mukkamala
From Dynamic Condition Response Structures to Büchi Automata. 187-190 - Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu:
Probabilistic Model of System Survivability. 193-200 - Jianjun Xu, Qingping Tan, Wanwei Liu:
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. 201-208 - Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen:
Towards Practical Modeling of Web Applications and Generating Tests. 209-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: