| 8:00
|
Welcome Desk /
Registration |
| 9:30
|
|
9:30 - 10:30 - Invited Talk
Automated Runtime Verification with Eagle
Klaus Havelund, Kestrel Technology, NASA Jet Propulsion Laboratory, U.S.A.
|
Room Charlemagne |
|
| 10:30
|
Coffe-break (10:30 - 11:00)
|
| 11:00
|
| 11:00 - 11:30
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite
Jaime Ramírez and Angélica de Antonio
11:30 - 11:50
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study
Joshua J. Pauli and Dianxiang Xu
11:50 - 12:20
Towards Application Suitability for PvC Environments
Andres Flores and Macario Polo
|
Room Charlemagne |
|
| 13:00 |
Lunch (13:00 - 14:30)
|
| 14:30
|
| 14:30 - 14:50
Deriving Test Cases from B Machines Using Class Vectors
W. L. Yeung and K. R. P. H. Leung
14:50 - 15:10
A Unit Testing Framework for Network Configurations
Dominik Jungo, David Buchmann and Ulrich Ultes-Nitsche
15:10 - 15:40
Towards Run-time Component Integration on Ubiquitous Systems
Macario Polo Usaola and Andres Flores
|
Room Charlemagne |
15:45 - 16:30
Poster Session |
- On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study
Nan Niu and Steve Easterbrook
- Verification of Smart Homes Specifications which are based on ECA Rules
Juan Carlos Augusto
- The Port-Transshipment System Dynamics Software Simulator
Josko Dvornik, Ante Munitic and Frane Mitrovic
- Teaching Software Testing in Introductory CS Courses and Improving Software Quality
Syed M. Rahman and Akram Salah
|
Exhibit Area |
|
| 16:30
|
Coffe-break (16:30 - 17:00)
|
| 17:00
|
| 17:00 - 18:00
Open Discussion (topic to be established)
|
Room Charlemagne |
|