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
|
Programme
All sessions take place in:
Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby
Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.
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.
Tuesday, October 18, 2016
Temporal Planning
Session Chair - Mark Reynolds
|
9:00 - 9:30
| Massimo Cairo, Carlo Comin and Romeo Rizzi
|
| Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks
|
|
9:30 - 10:00
| Massimo Cairo and Romeo Rizzi
|
| Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete
|
|
10:00 - 10:30
| Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer and Andrea Orlandini
|
|
Timelines are Expressive Enough to Capture Action-Based Temporal Planning
|
Coffee Break
Invited Presentation
Chair - Fabio Grandi
|
11:00 - 12:00
| Angelo Montanari
|
| Interval temporal logics model checking
|
Lunch in the Glass Hall in the main canteen
Specification and Verification II
Session Chair - Kim Guldstrand Larsen
|
13:00 - 13:30
| Etienne Andre and Benoit Delahaye
|
|
Consistency in Parametric Interval Probabilistic Timed Automata
|
|
13:30 - 14:00
|
S. Akshay, Loic Helouet and Ramchndra Phawade
|
| Combining Free Choice and Time in Petri Nets
|
|
14:00 - 14:30
| John McCabe-Dansted, Mark Reynolds and Tim French
|
| Modelling Systems over General Linear Time
|
Excursion and Dinner from 14:45 - 20:30.
A bus leaves 14.45 from DTU's main entrance (Building 101) for a guided walk in the city center of Copenhagen. The walk ends at CAP HORN, Nyhavn 21, 1051 København K, where the dinner starts at 17:30.
Wednesday, October 19, 2016
Temporal Databases
Session Chair - Paolo Terenziani
|
9:00 - 9:30
| Zouhaier Brahmia, Fabio Grandi and Rafik Bouaziz
|
|
tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework
|
|
9:30 - 10:00
|
Jan Chomicki and Jef Wijsen
|
| Consistent Query Answering for Atemporal Constraints over Temporal Databases
|
|
10:00 - 10:30
| Curtis Dyreson and Venkata A. Rani
|
| Translating Temporal SQL to Nested SQL
|
Coffee Break
Invited Presentation
Chair - Curtis Dyreson
|
11:00 - 12:00
|
Paolo Terenziani
|
|
The Impact of the Telic\Atelic Dichotomy on Temporal Databases
|
Lunch in the Glass Hall in the main canteen
Logics
Session Chair - Angelo Montanari
|
13:00 - 13:30
| David Jakobsen and Peter Øhrstrøm
|
| Conceptual and Metaphysical Origins and Relevance of Temporal Logic
|
|
13:30 - 14:00:
| Valentin Goranko and Louwe B. Kuijer
|
| On the length and depth of temporal formulae distinguishing non-bisimilar transition systems
|
|
14:00 - 14:30
| Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco
|
| On the Complexity of Fragments of Horn Modal Logics
|
|
14:30 - 15:00
| Mattias Tiger and Fredrik Heintz
|
|
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models
|
|