Abstract is missing.
- Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted AutomataMasaki Waga. 3-22 [doi]
- Assessing the Robustness of Arrival Curves Models for Real-Time SystemsMahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister. 23-40 [doi]
- Property-Driven Timestamps Encoding for Timeprints-Based Tracing and MonitoringRehab Massoud, Hoang M. Le, Rolf Drechsler. 41-58 [doi]
- Mixed-Time Signal Temporal LogicThomas Ferrère, Oded Maler, Dejan Nickovic. 59-75 [doi]
- A State Class Construction for Computing the Intersection of Time Petri Nets LanguagesÉric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. 79-95 [doi]
- Stability and Performance Bounds in Cyclic Networks Using Network CalculusAnne Bouillard. 96-113 [doi]
- ParetoLib: A Python Library for Parameter SynthesisAlexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo. 114-120 [doi]
- Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with UncertaintyHui Kong, Ezio Bartocci, Yu Jiang 0001, Thomas A. Henzinger. 123-141 [doi]
- Bounded Model Checking of Max-Plus Linear Systems via Predicate AbstractionsMuhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate. 142-159 [doi]
- Reachability Analysis for High-Index Linear Differential Algebraic EquationsHoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson. 160-177 [doi]
- The Timestamp of Timed AutomataAmnon Rosenmann. 181-198 [doi]
- On the Distance Between Timed AutomataAmnon Rosenmann. 199-215 [doi]
- Time to Learn - Learning Timed Automata from TestsMartin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber. 216-235 [doi]
- Munta: A Verified Model Checker for Timed AutomataSimon Wimmer. 236-243 [doi]
- Sandboxing Controllers for Stochastic Cyber-Physical SystemsBingzhuo Zhong, Majid Zamani, Marco Caccamo. 247-264 [doi]
- Proportional LumpabilityAndrea Marin, Carla Piazza, Sabina Rossi. 265-281 [doi]
- Expected Reachability-Price GamesShibashis Guha, Ashutosh Trivedi 0001. 282-300 [doi]