Abstract is missing.
- Consistent Timed Semantics for Nested Petri Nets with Restricted UrgencyLeonid W. Dworzanski. 3-18 [doi]
- On the Expressiveness of Parametric Timed AutomataÉtienne André, Didier Lime, Olivier H. Roux. 19-34 [doi]
- Modelling Attack-defense Trees Using Timed AutomataOlga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen. 35-50 [doi]
- Input/Output Stochastic Automata - Compositionality and DeterminismPedro R. D'Argenio, Matias David Lee, Raúl E. Monti. 53-68 [doi]
- On Optimal Control of Stochastic Linear Hybrid SystemsSusmit Jha, Vasumathi Raman. 69-84 [doi]
- Scheduling of Controllers' Update-Rates for Residual Bandwidth UtilizationMajid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.. 85-101 [doi]
- Real-Time Synthesis is Hard!Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder. 105-120 [doi]
- A Boyer-Moore Type Algorithm for Timed Pattern MatchingMasaki Waga, Takumi Akazaki, Ichiro Hasuo. 121-139 [doi]
- Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed AutomataRaymond R. Devillers, Hanna Klaudel. 140-156 [doi]
- Distributed Algorithms for Time Optimal Reachability AnalysisZhengkui Zhang, Brian Nielsen, Kim G. Larsen. 157-173 [doi]
- Scenario-Aware Workload Characterization Based on a Max-Plus Linear RepresentationGustavo Patino Alvarez, Wang Jiang Chau. 177-194 [doi]
- A Novel WCET Semantics of Synchronous ProgramsMichael Mendler, Partha S. Roop, Bruno Bodin. 195-210 [doi]
- Worst-Case Execution Time Analysis for Many-Core Architectures with NoCStefanos Skalistis, Alena Simalatsar. 211-227 [doi]
- Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed SystemsMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. 228-244 [doi]