Abstract is missing.
- Abstraction of Probabilistic SystemsJoost-Pieter Katoen. 1-3 [doi]
- From Analysis to DesignBruce H. Krogh. 4 [doi]
- Efficient On-the-Fly Algorithms for Partially Observable Timed GamesFranck Cassez. 5-24 [doi]
- Undecidability of Universality for Timed Automata with Minimal ResourcesSara Adams, Joël Ouaknine, James Worrell. 25-37 [doi]
- On Timed Models of Gene NetworksGrégory Batt, Ramzi Ben Salah, Oded Maler. 38-52 [doi]
- Costs Are Expensive!Patricia Bouyer, Nicolas Markey. 53-68 [doi]
- Hypervolume Approximation in Timed Automata Model CheckingVíctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik. 69-81 [doi]
- Counter-Free Input-Determined Timed AutomataFabrice Chevalier, Deepak D Souza, Pavithra Prabhakar. 82-97 [doi]
- Towards Budgeting in Real-Time Calculus: Deferrable ServersPieter J. L. Cuijpers, Reinder J. Bril. 98-113 [doi]
- Automatic Abstraction Refinement for Timed AutomataHenning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen. 114-129 [doi]
- Dynamical Properties of Timed Automata RevisitedCatalin Dima. 130-146 [doi]
- Robust Sampling for MITL SpecificationsGeorgios E. Fainekos, George J. Pappas. 147-162 [doi]
- On the Expressiveness of MTL Variants over Dense TimeCarlo A. Furia, Matteo Rossi. 163-178 [doi]
- Quantitative Model Checking Revisited: Neither Decidable Nor ApproximableSergio Giro, Pedro R. D Argenio. 179-194 [doi]
- Efficient Detection of Zeno Runs in Timed AutomataRodolfo Gómez, Howard Bowman. 195-210 [doi]
- Partial Order Reduction for Verification of Real-Time ComponentsJohn Håkansson, Paul Pettersson. 211-226 [doi]
- Guided Controller Synthesis for Climate Controller Using Uppaal TigaJan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David. 227-240 [doi]
- Symbolic Reachability Analysis of Lazy Linear Hybrid AutomataSusmit Jha, Bryan A. Brady, Sanjit A. Seshia. 241-256 [doi]
- Combining Formal Verification with Observed System Execution Behavior to Tune System ParametersMinyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian. 257-273 [doi]
- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution TimesPavel Krcál, Martin Stigge, Wang Yi. 274-289 [doi]
- Designing Consistent Multimedia Documents: The RT-LOTOS MethodologyPaulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat. 290-303 [doi]
- AMT: A Property-Based Monitoring Tool for Analog SystemsDejan Nickovic, Oded Maler. 304-319 [doi]
- Region Stability Proofs for Hybrid SystemsAndreas Podelski, Silke Wagner. 320-335 [doi]
- CSL Model Checking Algorithms for Infinite-State Structured Markov ChainsAnne Remke, Boudewijn R. Haverkort. 336-351 [doi]
- Symbolic Simulation-Checking of Dense-Time AutomataFarn Wang. 352-368 [doi]