default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th FORMATS 2019: Amsterdam, The Netherlands
- É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
Special Session on Data-Driven and Stochastic Approaches to Real-Time, Including Monitoring and Big Data
- Masaki Waga
:
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. 3-22 - Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister:
Assessing the Robustness of Arrival Curves Models for Real-Time Systems. 23-40 - Rehab Massoud, Hoang M. Le, Rolf Drechsler:
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. 41-58 - Thomas Ferrère, Oded Maler, Dejan Nickovic:
Mixed-Time Signal Temporal Logic. 59-75
Timed Systems
- É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. 79-95 - Anne Bouillard:
Stability and Performance Bounds in Cyclic Networks Using Network Calculus. 96-113 - Alexey Bakhirkin, Nicolas Basset, Oded Maler, José Ignacio Requeno Jarabo:
ParetoLib: A Python Library for Parameter Synthesis. 114-120
Linear and Non-linear Systems
- Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. 123-141 - Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate:
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. 142-159 - Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson:
Reachability Analysis for High-Index Linear Differential Algebraic Equations. 160-177
Timed Automata
- Amnon Rosenmann:
The Timestamp of Timed Automata. 181-198 - Amnon Rosenmann:
On the Distance Between Timed Automata. 199-215 - Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. 216-235 - Simon Wimmer:
Munta: A Verified Model Checker for Timed Automata. 236-243
Special Session on Timed Systems and Probabilities
- Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Sandboxing Controllers for Stochastic Cyber-Physical Systems. 247-264 - Andrea Marin, Carla Piazza, Sabina Rossi:
Proportional Lumpability. 265-281 - Shibashis Guha, Ashutosh Trivedi:
Expected Reachability-Price Games. 282-300
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
