default search action
23rd TIME 2016: Kongens Lyngby, Denmark
- Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger:
23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-3825-1
Invited Presentations
- Kim Guldstrand Larsen
:
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. 1 - Angelo Montanari:
Interval Temporal Logics Model Checking. 2 - Paolo Terenziani:
The Impact of the Telic\Atelic Dichotomy on Temporal Databases. 3
Session 1: Hybrid Systems
- Shota Matsumoto, Kazunori Ueda:
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. 4-11 - Mahmoud A. A. Mousa, Sven Schewe
Optimal Control for Simple Linear Hybrid Systems. 12-20
Session 2: Specification and Verification I
- Christian Herrera, Bernd Westphal:
The Model Checking Problem in Networks with Quasi-Equal Clocks. 21-30 - Daniel Kernberger, Martin Lange:
Model Checking for the Full Hybrid Computation Tree Logic. 31-40 - Yong Li
Verify LTL with Fairness Assumptions Efficiently. 41-50
Session 3: Domain Specific Approaches
- Raphaël Fournier-S'niehotta, Philippe Rigaux, Nicolas Travers
Querying Music Notation. 51-59 - Runa Gulliksson, John J. Camilleri
A Domain-Specific Language for Normative Texts with Timing Constraints. 60-69 - Raúl Pardo
Specification of Evolving Privacy Policies for Online Social Networks. 70-79
Session 4: Temporal Planning
- Massimo Cairo, Carlo Comin, Romeo Rizzi:
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks. 80-89 - Massimo Cairo, Romeo Rizzi:
Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete. 90-99 - Nicola Gigante
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. 100-109
Session 5: Specification and Verification II
- Étienne André
Consistency in Parametric Interval Probabilistic Timed Automata. 110-119 - S. Akshay, Loïc Hélouët, Ramchandra Phawade:
Combining Free Choice and Time in Petri Nets. 120-129 - John Christopher McCabe-Dansted, Mark Reynolds
Modelling Systems over General Linear Time. 130-139
Session 6: Temporal Databases
- Zouhaier Brahmia
tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework. 140-148 - Jan Chomicki, Jef Wijsen
Consistent Query Answering for Atemporal Constraints over Temporal Databases. 149-156 - Curtis E. Dyreson
Translating Temporal SQL to Nested SQL. 157-166
Session 7: Logics
- David Jakobsen
Conceptual and Metaphysical Origins and Relevance of Temporal Logic. 167-176 - Valentin Goranko, Louwe B. Kuijer:
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. 177-185 - Davide Bresolin
On the Complexity of Fragments of Horn Modal Logics. 186-195 - Mattias Tiger
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. 196-205
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: