Abstract is missing.
- Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk)Nicolas Markey. 3-12 [doi]
- Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time AdditivityMarco Bernardo 0001, Claudio Antares Mezzina. 15-32 [doi]
- Automata with TimersVéronique Bruyère, Guillermo A. Pérez 0001, Gaëtan Staquet, Frits W. Vaandrager. 33-49 [doi]
- Layered Controller Synthesis for Dynamic Multi-agent SystemsEmily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier. 50-68 [doi]
- On the Susceptibility of QDI Circuits to Transient FaultsRaghda El Shehaby, Matthias Függer, Andreas Steininger. 69-85 [doi]
- Maximum Satisfiability of Mission-Time Linear Temporal LogicGokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn. 86-104 [doi]
- A Local-Time Semantics for NegotiationsMadhavan Mukund, Adwitee Roy, B. Srivathsan. 105-121 [doi]
- Timed Non-interference Under Partial Observability and Bounded MemoryAnthony Spriet, Didier Lime, Olivier H. Roux. 122-137 [doi]
- Usage-and Risk-Aware Falsification Testing for Cyber-Physical SystemsAndrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman. 141-157 [doi]
- Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time DeadlinesPei Zhang 0009, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier. 158-180 [doi]