![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
Optimal Reachability in Cost Time Petri Nets. 58-73
Hybrid Systems
- Mahmoud A. A. Mousa, Sven Schewe
, Dominik Wojtczak
:
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
, Mirco Giacobbe
, Thomas A. Henzinger, Hui Kong:
Conic Abstractions for Hybrid Systems. 116-132 - Stanley Bak, Sergiy Bogomolov
, Matthias Althoff:
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
, Lijun Zhang:
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
, Oded Maler, Dejan Nickovic, Dogan Ulus
:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. 207-223 - Masaki Waga
, Ichiro Hasuo, Kohei Suenaga
:
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
, István Majzik:
Lazy Reachability Checking for Timed Automata Using Interpolants. 264-280 - Bai Xue, Peter Nazier Mosaad, Martin Fränzle
, Mingshuai Chen, Yangjia Li, Naijun Zhan:
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
, Burkhart Wolff:
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. 318-334 - Rehab Massoud
, Jannis Stoppe
, Daniel Große
, Rolf Drechsler
:
Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. 335-351
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.