default search action
15. FORMATS 2017: Berlin, Germany
- Alessandro Abate, Gilles Geeraerts:
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10419, Springer 2017, ISBN 978-3-319-65764-6
Invited Talk
- Laurent Fribourg:
Euler's Method Applied to the Control of Switched Systems. 3-21
Timed Models
- Patricia Bouyer, Samy Jaziri, Nicolas Markey
:
On the Determinization of Timed Systems. 25-41 - Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal:
On Global Scheduling Independency in Networks of Timed Automata. 42-57 - Hanifa Boucheneb, Didier Lime
Optimal Reachability in Cost Time Petri Nets. 58-73
Hybrid Systems
- Mahmoud A. A. Mousa, Sven Schewe
Optimal Control for Multi-mode Systems with Discrete Costs. 77-96 - Arvind S. Adimoolam, Thao Dang:
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. 97-115 - Sergiy Bogomolov
Conic Abstractions for Hybrid Systems. 116-132 - Stanley Bak, Sergiy Bogomolov
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. 133-150
Probabilistic Models
- Anders Mariegaard, Kim Guldstrand Larsen
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. 153-169 - Pengfei Yang, David N. Jansen
Distribution-Based Bisimulation for Labelled Markov Processes. 170-186
Quantitative Logics and Monitoring
- Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. 189-206 - Eugene Asarin
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. 207-223 - Masaki Waga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. 224-243
Reachability Analysis
- Loïg Jezequel, Didier Lime
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata. 247-263 - Tamás Tóth
Lazy Reachability Checking for Timed Automata Using Interpolants. 264-280 - Bai Xue, Peter Nazier Mosaad, Martin Fränzle
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. 281-299
Testing and Simulation
- Stefan Ratschan
Simulation Based Computation of Certificates for Safety of Dynamical Systems. 303-317 - Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. 318-334 - Rehab Massoud
Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. 335-351
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 2024-12-15 01:31 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: