Call for Papers Program Committees Conference Topics Submission

TTSS'10 - Preliminary Program

Venue: East China Normal University, Shanghai

Monday, November 15th 2010
9:00	Welcome
9:15	Invited Talk: Anders P. Ravn, Aalborg University Harnessing theories for Real-Time Java Development
10:00	Models of Rate Restricted Communication for Concurrent Objects (Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni and Silvia Lizeth Tapia Tarifa)
10:30	Break
	Session: Application Domains
11:00	Unifying Aspectual Models---A Case Study of Formal Modeling Requirements of Automotive Software (Xiaojian Liu)
11:30	Zhiming Liu, UNU IIST Model-Driven Software Engineering In Sustainable Health Care
12:30	Lunch
	Session: Verification Techniques
14:00	Peter Gorm Larsen, Aarhus School of Engineering The Overture Initiative - Integrating Tools for VDM
14:30	Verification of A Key-Chain Based TTP Transparent CEM Protocol (Zhiyuan Liu, Jun Pang and Chenyi Zhang)
15:00	Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems (Muhammad Fadlisyah, Erika Árahám and Peter Ölveczky)
15:30	A Parallel Approach to Concolic Testing with Low-cost Synchronization (Xiao Yu, Shuai Sun, Zheng Wang, Geguang Pu and Siyuan Jiang)
16:00	Break
	Session: Dynamic Techniques
16:30	On-The-Fly Path Reduction (Sebastian Biallas, Joerg Brauer, Dominique Gueckel and Stefan Kowalewski)
17:00	Runtime Verification for LTL Schemas (Martin Leucker, Changzhi Zhao, Bin Zheng and Wei Dong)
17:30	Xian Zhang, Wei Dong and Zhichang Qi, National University of Defense Technology, China A Model Driven Approach for Developing Software with Runtime Monitoring Capacity
19:00	Workshop Dinner (more information will be provided on site)