4th International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'10
15. November 2010,
East China Normal University, Shanghai
Satellite event of
ICFEM 2010
Accepted Papers
| Invited/Guest talks | |
|---|---|
Keynote: Harnessing theories for Real-Time Java Development | |
| Guest talks | |
| Peter Gorm Larsen | The Overture Initiative - Integrating Tools for VDM |
| Zhiming Liu | Model-Driven Software Engineering In Sustainable Health Care |
| Xian Zhang, Wei Dong and Zhichang Qi | A Model Driven Approach for Developing Software with Runtime Monitoring Capacity |
| Accepted Papers | |
| Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni and Silvia Lizeth Tapia Tarifa | Models of Rate Restricted Communication for Concurrent Objects |
| Xiaojian Liu | Unifying Aspectual Models---A Case Study of Formal Modeling Requirements of Automotive Software |
| Zhiyuan Liu, Jun Pang and Chenyi Zhang | Verification of A Key-Chain Based TTP Transparent CEM Protocol |
| Martin Leucker, Changzhi Zhao, Bin Zheng and Wei Dong | Runtime Verification for LTL Schemas |
| Muhammad Fadlisyah, Erika Ábrahám and Peter Ölveczky | Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems |
| Sebastian Biallas, Joerg Brauer, Dominique Gueckel and Stefan Kowalewski | On-The-Fly Path Reduction |
| Xiao Yu, Shuai Sun, Zheng Wang, Geguang Pu and Siyuan Jiang | A Parallel Approach to Concolic Testing with Low-cost Synchronization |