TIME 2016 Home
Accepted Papers
Call for papers
Committees
Important Dates
Submission
Invited Speakers
Programme
- Monday
- Tuesday
- Wednesday
Registration
Accommodation
Venue
Background of TIME
Wonderful Copenhagen
|
Monday, October 17, 2016
|
9:00 - 9:30
|
Registration and opening
|
Hybrid Systems
Session Chair - Michael R. Hansen
|
9:30 - 10:00
| Shota Matsumoto and Kazunori Ueda
|
|
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic
|
|
10:00 - 10:30
|
Mahmoud A. A. Mousa, Sven Schewe and Dominik Wojtczak
|
|
Optimal Control for Simple Linear Hybrid System
|
Coffee Break
Invited Presentation
Chair - Michael R. Hansen
|
11:00 - 12:00
|
Kim Guldstrand Larsen
|
|
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems
|
Lunch in the Glass Hall in the main canteen
Specification and Verification I
Session Chair - Benoît Delahaye
|
13:00 - 13:30
|
Christian Herrera and Bernd Westphal
|
|
The Model Checking Problem in Networks with Quasi-Equal Clocks
|
|
13:30 - 14:00
|
Daniel Kernberger and Martin Lange
|
| |
Model Checking for the Full Hybrid Computation Tree Logic
|
|
14:00 - 14:30
|
Yong Li, Lei Song, Yuan Feng and Lijun Zhang
|
|
Verify LTL with Fairness Assumptions Efficiently
|
Coffee Break
Domain Specific Approaches
Session Chair - Jef Wijsen
|
15:00 - 15:30
| Raphaël Fournier-S'niehotta, Philippe Rigaux and Nicolas Travers
|
| Querying Music Notation
|
|
15:30 - 16:00
| Runa Gulliksson and John J. Camilleri
|
| A Domain-Specific Language for Normative Texts with Timing Constraints
|
|
16:00 - 16:30
| Raúl Pardo, Ivana Kellyérová, César Sánchez and Gerardo Schneider
|
| Specification of Evolving Privacy Policies for Online Social Networks
|
Social event at DTU Brewery from 17 - 18. Arranged by DTU Food, Building 222.
|