- Marco Bernardo and Claudio Antares Mezzina. Causal Reversibility for Timed Process Calculi with Durationless Lazy/Eager Actions and Time Additivity
- Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic and Ulrik Nyman. Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems
- Pei Zhang, Alexis Aurandt, Rohit Dureja, Phillip Jones and Kristin Rozier. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
- Véronique Bruyère, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager. Automata with Timers
- Gokul Hariharan, Phillip H. Jones, Kristin Y. Rozier and Tichakorn Wongpiromsarn. Maximum Satisfiability in Mission-time Linear Temporal Logic
- Raghda El Shehaby, Matthias Függer and Andreas Steininger. On the Susceptibility of QDI Circuits to Transient Faults
- Madhavan Mukund, Adwitee Roy and B Srivathsan. A local-time semantics for negotiations
- Anthony Spriet, Didier Lime and Olivier Roux. Timed non-interference under Partial Observability and Bounded Memory
- Emily Clement, Nicolas Perrin-Gilbert and Philipp Schlehuber-Caissier. Layered controller synthesis for dynamic multi-agent systems