default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. 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
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-10-22 02:21 CEST 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:
