Abstract is missing.
- Timed Automata and Timed Languages Challenges and Open ProblemsEugene Asarin. 1 [doi]
- Towards Efficient Partition Refinement for Checking Reachability in Timed AutomataAgata Pólrola, Wojciech Penczek, Maciej Szreter. 2-17 [doi]
- Checking ACTL:::*::: Properties of Discrete Timed Automata via Bounded Model CheckingBozena Wozna, Andrzej Zbrzezny. 18-33 [doi]
- Removing Irrelevant Atomic Formulas for Checking Timed Automata EfficientlyJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng. 34-45 [doi]
- Adding Symmetry Reduction to UppaalMartijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager. 46-59 [doi]
- TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time SystemsTobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi. 60-72 [doi]
- Optimization of Timed Automata Models Using Mixed-Integer ProgrammingSebastian Panek, Olaf Stursberg, Sebastian Engell. 73-87 [doi]
- Discrete-Time Rewards Model-CheckedSuzana Andova, Holger Hermanns, Joost-Pieter Katoen. 88-104 [doi]
- Performance Analysis of Probabilistic Timed Automata Using Digital ClocksMarta Z. Kwiatkowska, Gethin J. Norman, David Parker, Jeremy Sproston. 105-120 [doi]
- An Interval-Based Algebra for Restricted Event DetectionJan Carlson, Björn Lisper. 121-133 [doi]
- PARS: A Process Algebra with Resources and SchedulersMohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron. 134-150 [doi]
- Formal Semantics of Hybrid ChiRamon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda. 151-165 [doi]
- Run-Time Guarantees for Real-Time SystemsReinhard Wilhelm. 166-167 [doi]
- A Nonarchimedian Discretization for Timed LanguagesCatalin Dima. 168-181 [doi]
- Folk Theorems on the Determinization and Minimization of Timed AutomataStavros Tripakis. 182-188 [doi]
- Control Synthesis for a Smart Card Personalization System Using Symbolic Model CheckingBiniam Gebremichael, Frits W. Vaandrager. 189-203 [doi]
- On Timing Analysis of Combinational CircuitsRamzi Ben Salah, Marius Bozga, Oded Maler. 204-219 [doi]
- Analysis of Real Time Operating System Based ApplicationsLibor Waszniowski, Zdenek Hanzálek. 219-233 [doi]
- Time-Optimal Test Cases for Real-Time SystemsAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou. 234-245 [doi]
- Using Zone Graph Method for Computing the State Space of a Time Petri NetGuillaume Gardey, Olivier H. Roux, Olivier F. Roux. 246-259 [doi]
- Causal Time CalculusFranck Pommereau. 260-272 [doi]
- ELSE: A New Symbolic State Generator for Timed AutomataSarah Zennou, Manuel Yguel, Peter Niebert. 273-280 [doi]