ask others

4th TASE 2010: Taipei, Taiwan

> Home > Conferences and Workshops > TASE

- view
  - electronic edition @ ieee.org
  - electronic edition @ computer.org
- export record
  dblp key:
  - conf/tase/2010
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/2010
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

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/VassevHN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/VassevHN10
Emil Vassev, Mike Hinchey, Paddy Nixon:
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. 3-8
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/HincheyV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/HincheyV10
Mike Hinchey, Emil Vassev:
The Art of Developing Autonomic Systems - The ASSL Approach. 9-12

Contributed Papers

- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/ZhaoWPZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/ZhaoWPZ10
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu:
A Formal Model for Service Choreography with Exception Handling and Finalization. 15-24
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/WangDW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/WangDW10
Chen-Wei Wang, Jim Davies, James Welch:
A Guarded Workflow Language and Its Formal Semantics. 25-34
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/LedangD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/LedangD10
Hung Ledang, Hubert Dubois:
Proving Model Transformations. 35-44
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/LiZCYZF10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/LiZCYZF10
Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan:
A Certifying Compiler for Clike Subset of C Language. 47-56
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/WangQQC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/WangQQC10
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin:
Stack Bound Inference for Abstract Java Bytecode. 57-66
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/MiaoLM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/MiaoLM10
Huaikou Miao, Pan Liu, Jia Mei:
An Improved Algorithm for Building the Characterizing Set. 67-74
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/ZhaoTWX10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/ZhaoTWX10
Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu:
Runtime Verification with Multi-valued Formula Rewriting. 77-86
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/YangD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/YangD10
Xiaoxiao Yang, Zhenhua Duan:
Axiomatic Temporal Logic Programs Verification. 87-94
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/Zhu10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/Zhu10
Hong Zhu:
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. 95-104
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/KahloulCD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/KahloulCD10
Laïd Kahloul, Allaoua Chaoui, Karim Djouani:
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. 107-116
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/WangJJ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/WangJJ10
Yunhe Wang, Bo Jiang, Li Jiao:
Property Checking for 1-Place-Unbounded Petri Nets. 117-125
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/ZhangDHWZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/ZhangDHWZ10
Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang:
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. 126-131
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/Cao10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/Cao10
Zining Cao:
Bisimulations for Open Processes in Higher Order p-Calculus. 135-144
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/KleineG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/KleineG10
Moritz Kleine, Thomas Göthel:
Specification, Verification and Implementation of Business Processes Using CSP. 145-154
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/BensalemLNSY10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/BensalemLNSY10
Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. 157-167
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/HeZHSG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/HeZHSG10
Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu:
Compositional Abstraction Refinement for Timed Systems. 168-176
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/WanSG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/WanSG10
Hai Wan, Xiaoyu Song, Ming Gu:
Parameterized Specification and Verification of PLC Systems in Coq. 179-182
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/Wang10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/Wang10
Farn Wang:
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. 183-186
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/MukkamalaH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/MukkamalaH10
Raghava Rao Mukkamala, Thomas T. Hildebrandt:
From Dynamic Condition Response Structures to Büchi Automata. 187-190
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/ZhaoHLZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/ZhaoHLZ10
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu:
Probabilistic Model of System Survivability. 193-200
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/XuTL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/XuTL10
Jianjun Xu, Qingping Tan, Wanwei Liu:
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. 201-208
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tase/ChenMSC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tase/ChenMSC10
Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen:
Towards Practical Modeling of Web Applications and Generating Tests. 209-217

maintained by

, founded at