Abstract is missing.
- Precise Robustness Analysis of Time Petri Nets with Inhibitor ArcsÉtienne André, Giuseppe Pellegrino, Laure Petrucci. 1-15 [doi]
- Spectral Gap in Timed AutomataEugene Asarin, Nicolas Basset, Aldric Degorre. 16-30 [doi]
- Robust Weighted Timed Automata and GamesPatricia Bouyer, Nicolas Markey, Ocan Sankur. 31-46 [doi]
- On MITL and Alternating Timed AutomataThomas Brihaye, Morgane Estiévenart, Gilles Geeraerts. 47-61 [doi]
- Predictability of Event Occurrences in Timed SystemsFranck Cassez, Alban Grastien. 62-76 [doi]
- Transience Bounds for Distributed AlgorithmsBernadette Charron-Bost, Matthias Függer, Thomas Nowak. 77-90 [doi]
- Back in Time Petri NetsThomas Chatain, Claude Jard. 91-105 [doi]
- A Mechanized Semantic Framework for Real-Time SystemsManuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine. 106-120 [doi]
- Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model CheckingPeter Höfner, Maryam Kamali. 121-136 [doi]
- More or Less True DCTL for Continuous-Time MDPsDavid N. Jansen. 137-151 [doi]
- Incremental Language Inclusion Checking for Networks of Timed AutomataWillibald Krenn, Dejan Nickovic, Loredana Tec. 152-167 [doi]
- Nested Timed AutomataGuoqiang Li 0001, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen. 168-182 [doi]
- On Fixed Points of Strictly Causal FunctionsEleftherios Matsikoudis, Edward A. Lee. 183-197 [doi]
- Detecting Quasi-equal Clocks in Timed AutomataMarco Muñiz, Bernd Westphal, Andreas Podelski. 198-212 [doi]
- On the Verification of Timed Discrete-Event ModelsChristos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee. 213-227 [doi]
- Symmetry Breaking for Multi-criteria Mapping and Scheduling on MulticoresPranav Tendulkar, Peter Poplavko, Oded Maler. 228-242 [doi]
- Confluence Reduction for Markov AutomataMark Timmer, Jaco van de Pol, Mariëlle Stoelinga. 243-257 [doi]
- Optimal Control for Linear-Rate Multi-mode SystemsDominik Wojtczak. 258-273 [doi]