Abstract is missing.
- Verification and Control of Probabilistic Rectangular Hybrid AutomataJeremy Sproston. 1-9 [doi]
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri NetsXavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. 10-26 [doi]
- Language Preservation Problems in Parametric Timed AutomataÉtienne André, Nicolas Markey. 27-43 [doi]
- Timed Symbolic DynamicsNicolas Basset. 44-59 [doi]
- Timed-Automata Abstraction of Switched Dynamical Systems Using Control FunnelsPatricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier. 60-75 [doi]
- Quantitative Analysis of Communication ScenariosClemens Dubslaff, Christel Baier. 76-92 [doi]
- Multi-objective Parameter Synthesis in Probabilistic Hybrid SystemsMartin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen. 93-107 [doi]
- On the Scalability of Constraint Solving for Static/Off-Line Real-Time SchedulingRaul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone. 108-123 [doi]
- Improving Search Order for Reachability Testing in Timed AutomataFrédéric Herbreteau, Thanh-Tung Tran. 124-139 [doi]
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed AutomataAleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman. 140-155 [doi]
- Quantitative Attack Tree Analysis via Priced Timed AutomataRajesh Kumar, Enno Ruijters, Mariëlle Stoelinga. 156-171 [doi]
- Fluid Model Checking of Timed PropertiesLuca Bortolussi, Roberta Lanciani. 172-188 [doi]
- Nested Timed Automata with Frozen ClocksGuoqiang Li 0001, Mizuhito Ogawa, Shoji Yuen. 189-205 [doi]
- Quantitative Analysis of Concurrent Reversible ComputationsAndrea Marin, Sabina Rossi. 206-221 [doi]
- Hybrid Tools for Hybrid Systems - Proving Stability and Safety at OnceEike Möhlmann, Willem Hagemann, Oliver E. Theel. 222-239 [doi]
- Verification and Control of Partially Observable Probabilistic Real-Time SystemsGethin Norman, David Parker 0001, Xueyi Zou. 240-255 [doi]
- Deciding Concurrent Planar Monotonic Linear Hybrid SystemsPavithra Prabhakar, Nima Roohi, Mahesh Viswanathan 0001. 256-269 [doi]
- Contracts for Schedulability AnalysisPhilipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand. 270-287 [doi]
- Bounded Determinization of Timed Automata with Silent TransitionsFlorian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig. 288-304 [doi]
- A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded SystemsErik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen. 305-320 [doi]