Call for Papers Program Committees Conference Topics Submission Proceedings

TTSS'07 - Program

Venue: Seminar Room of UNU-IIST

Day 1 — Saturday, September 22nd
9:00Welcome
9:15Keynote: Ernst-Rüdiger Olderog, Univ. of Oldenburg
Automatic Verification of Combined Specifications (slides)
10:15Coffee Break
Session: Software Models I (Zhiming Liu)
10:45Prototyping System Requirements Model
(Xiaoshan Li)
11:20A Rigorous Model of Service Component Architecture
(Zuohua Ding, Jing Liu)
11:55The Verification of rCOS Using SPIN
(Xiao Yu, Zheng Wang)
12:30Lunch (provided at UNU-IIST)
Session: (Anders P. Ravn)
14:30Integrating refinement into software development tools
(Lu Yang)
15:05An exercise on transition systems
(Paula R. Ribeiro, Luis Barbosa, Shuling Wang)
15:40Coffee Break
Session: Verification I (Naijun Zhan)
16:00On Verification of Linear Occurrence Properties of Real-Time Systems
(Chang Il Choe, Van Hung Dang)
16:35Parametric Analysis of an Improved Fault Tolerant System
(Miaomiao Zhang)
Day 2 — Sunday, September 23rd
Session: Verification II (Volker Stolz)
9:00Shape Analysis by Refining on Abstract Evaluation Path
(Xiaodong Ma, Ji Wang, Wei Dong)
9:35Engineering of An Assertion-based PSL-Verilog Dynamic Verifier by Alternating Automata
(Naiyong Jin, Chengjie Shen, Jun Chen)
10:10Coffee Break
Session: Software Models II (Geguang Pu)
10:30Barbed Model-Driven Software Development: A case study
(Carlo Montangero, Laura Semini)
11:05Generic tools via general refinement
(Steve Reeves, David Streader)
11:40Guest talk: Hybrid Systems
(John Koo)
12:30Lunch (provided at UNU-IIST)
14:30Discussion I: Hybrid systems
16:00Coffee Break
16:30Discussion II: TTSS perspectives
19:30Workshop Banquet (incl. in Registration)
Restaurante Litoral, Rua do Almirante Sérgio, 261-A