default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th TASE 2014: Changsha, China
- 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-5029-4
Invited Talk 1
- Klaus Havelund:
Data Automata in Scala. 1-9
Session 1: Verification 1
- Jinjiang Lei, Zongyan Qiu, Zhong Shao
:
Trace-Based Temporal Verification for Message-Passing Programs. 10-17 - Nils Timm:
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. 18-25 - Yu Guo, Haozhong Zhang:
Verifying Preemptive Kernel Code with Preemption Control Support. 26-33
Session 2: Formal Modelling
- Zhuobing Han, Xiaohong Li, Ruitao Feng, Jing Hu, Guangquan Xu, Zhiyong Feng:
A Three-Dimensional Model for Software Security Evaluation. 34-41 - Richard Banach:
Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. 42-49 - Carolina Dania, Manuel Clavel:
Modeling Social Networking Privacy. 50-57
Session 3: Testing
- Weishi Li, Xiaoguang Mao:
Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases. 66-69 - Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin:
Choreography Scenario-Based Test Data Generation. 70-73
Invited Talk 3
Session 4: Verification 2
- Haozhong Zhang, Yu Guo:
Formal Verification of Interrupt Injection in a Hypervisor. 74-81 - Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang:
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. 82-89 - Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu:
Modeling and Verifying the TTCAN Protocol Using Timed CSP. 90-97
Session 5: Program Analysis
- Lunjin Lu:
Parametrizing Program Analysis. 98-105 - Ka I Pun, Martin Steffen, Volker Stolz:
Behaviour Inference for Deadlock Checking. 106-113 - Nan Zong, Chunfu Jia:
Branch Obfuscation Using "Black Boxes". 114-121
Session 6: System Modelling
- Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu:
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. 122-125 - Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. 126-130 - Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. 131-134 - Yongqi Ge, Yunwei Dong, Hong-bing Zhao:
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. 135-138
Invited Talk 3
- Axel Legay, Sean Sedwards:
On Statistical Model Checking with PLASMA. 139-145
Session 7: System Design
- Ou Wei, Juanjuan Chen:
Mixed Simulation of Multi-valued Models. 146-153 - Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Recursive Algorithm for Parity Games. 154-161 - Bei Cheng, Dehui Du:
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. 162-169
Session 8: Service and Cloud
- Bing Tang, Mingdong Tang:
Bayesian Model-Based Prediction of Service Level Agreement Violations for Cloud Services. 170-176 - Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong:
Configuration of Services Based on Virtualization. 177-184 - Wen Zeng, Maciej Koutny:
Data Resources in Dynamic Environments. 185-192 - Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. 193-200
Session 9: System Analysis
- Yuanrui Zhang, Frédéric Mallet, Yixiang Chen:
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. 201-208 - Qin Li, Graeme Smith:
A Formal Development Approach for Self-Organising Systems. 209-212
TASE 2013 Paper
- Zining Cao:
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. 213-220
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-11-04 22:07 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:
