ICECCS Programme

Thursday 03 April 2008

9.30 - 10.30: Keynote Speaker

"Verified Software: Theories, Tools and Experiments"
Tony Hoare, Microsoft Research in Cambridge, England

10.30 - 11.00: Break

11.00 - 12.30: Session - Verification

"Verifying Statecharts with State Invariants "
Emil Sekerinski

"Verifying Semistructured Data Normalization using PVS "
Scott Lee, Lindsay Uk-Jin Groves, Gillian Dobbie; Jing Sun

"A Scalable Approach to Multi-Style Architectural Modeling and Verification"
Stephen Wong, Jing Sun, Ian Warren, Jun Sun

12.30 - 13:30: Buffet Lunch

13.30 - 14.30: Session - Synchronization and Scheduling

"High-Precision Relative Clock Synchronization Using Time Stamp Counters"
Guosong Tian, Colin Fidge, Yu-Chu Tian

"Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems"
Fei Huang, Kai Han, Binoy Ravindran, E. D. Jensen

14.30 - 15.30: Session - Testing and Prediction

"Why Predicting Outliers In Software is a Good Thing to Do!"
Norman Schneidewind, Mike Hinchey

"On Extracting Tests from a Testable Model in the Context of Domain Engineering"
Soheila Bashardoust

15:30 - 16:00: Coffee

16:00 - 17:30: Session - Web Services and Pervasive Computing

"A Formal Model of Semantic Web Service Ontology (WSMO) Execution"
Hai Wang

"Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications"
Ian Warren, Zhi Lee, Judy Zhu

"GENESIS - A Framework for Automatic Generation and Steering of Testbeds of Complex Web Services"
Lukasz Juszczyk, Schahram Dustdar, Hong-Linh Truong

7.30 - late: Conference Dinner (Ulster Folk Museum)

Click here for the ICECCS Friday Programme