- Shibashis Guha, Ashutosh Trivedi:
Expected Reachability-Price Games. FORMATS 2019: 282-300 - Hui Kong, Ezio Bartocci
, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - Éric Lubat
, Silvano Dal-Zilio
, Didier Le Botlan, Yannick Pencolé, Audine Subias
:
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS 2019: 79-95 - Andrea Marin
, Carla Piazza
, Sabina Rossi
:
Proportional Lumpability. FORMATS 2019: 265-281 - Rehab Massoud
, Hoang M. Le, Rolf Drechsler
:
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. FORMATS 2019: 41-58 - Muhammad Syifa'ul Mufid, Dieky Adzkiya
, Alessandro Abate:
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. FORMATS 2019: 142-159 - Amnon Rosenmann
:
The Timestamp of Timed Automata. FORMATS 2019: 181-198 - Amnon Rosenmann
:
On the Distance Between Timed Automata. FORMATS 2019: 199-215 - Mahmoud Salem
, Gonzalo Carvajal
, Tong Liu, Sebastian Fischmeister:
Assessing the Robustness of Arrival Curves Models for Real-Time Systems. FORMATS 2019: 23-40 - Martin Tappler
, Bernhard K. Aichernig, Kim Guldstrand Larsen
, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - Hoang-Dung Tran, Luan Viet Nguyen
, Nathaniel Hamilton
, Weiming Xiang
, Taylor T. Johnson
:
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS 2019: 160-177 - Masaki Waga
:
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. FORMATS 2019: 3-22 - Simon Wimmer
:
Munta: A Verified Model Checker for Timed Automata. FORMATS 2019: 236-243 - Bingzhuo Zhong
, Majid Zamani
, Marco Caccamo
:
Sandboxing Controllers for Stochastic Cyber-Physical Systems. FORMATS 2019: 247-264 - Étienne André, Mariëlle Stoelinga:
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11750, Springer 2019, ISBN 978-3-030-29661-2 [contents] - 2018
- Meng Sun, Xiyue Zhang
:
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. FORMATS 2018: 125-141 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 - Étienne André, Didier Lime
, Mathias Ramparison:
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS 2018: 37-52 - Eugene Asarin
, Nicolas Basset, Aldric Degorre:
Distance on Timed Words and Applications. FORMATS 2018: 199-214 - Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232 - Kamel Barkaoui, Hanifa Boucheneb:
On Persistency in Time Petri Nets. FORMATS 2018: 108-124 - Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan:
Stochastic Temporal Logic Abstractions: Challenges and Opportunities. FORMATS 2018: 3-16 - Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger:
Monitoring Temporal Logic with Clock Variables. FORMATS 2018: 53-70 - Mathias Claus Jensen, Kim Guldstrand Larsen
, Radu Mardare:
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS 2018: 145-161 - Susmit Jha, Sunny Raj, Sumit Kumar Jha
, Natarajan Shankar:
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS 2018: 235-251 - Edward A. Lee
:
Models of Timed Systems. FORMATS 2018: 17-33 - Meilun Li, Peter Nazier Mosaad, Martin Fränzle
, Zhikun She, Bai Xue:
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS 2018: 252-270 - Salar Moarref, Hadas Kress-Gazit:
Reactive Synthesis for Robotic Swarms. FORMATS 2018: 71-87 - Muhammad Syifa'ul Mufid, Dieky Adzkiya
, Alessandro Abate:
Tropical Abstractions of Max-Plus Linear Systems. FORMATS 2018: 271-287 - Arpit Sharma:
Trace Relations and Logical Preservation for Markov Automata. FORMATS 2018: 162-178