default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. FORMATS 2013: Buenos Aires, Argentina
- Víctor A. Braberman, Laurent Fribourg:
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Lecture Notes in Computer Science 8053, Springer 2013, ISBN 978-3-642-40228-9 - Étienne André
, Giuseppe Pellegrino, Laure Petrucci:
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. 1-15 - Eugene Asarin, Nicolas Basset, Aldric Degorre:
Spectral Gap in Timed Automata. 16-30 - Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust Weighted Timed Automata and Games. 31-46 - Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and Alternating Timed Automata. 47-61 - Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. 62-76 - Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Transience Bounds for Distributed Algorithms. 77-90 - Thomas Chatain, Claude Jard:
Back in Time Petri Nets. 91-105 - Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine:
A Mechanized Semantic Framework for Real-Time Systems. 106-120 - Peter Höfner, Maryam Kamali:
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. 121-136 - David N. Jansen:
More or Less True DCTL for Continuous-Time MDPs. 137-151 - Willibald Krenn, Dejan Nickovic, Loredana Tec:
Incremental Language Inclusion Checking for Networks of Timed Automata. 152-167 - Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata. 168-182 - Eleftherios Matsikoudis, Edward A. Lee:
On Fixed Points of Strictly Causal Functions. 183-197 - Marco Muñiz, Bernd Westphal, Andreas Podelski:
Detecting Quasi-equal Clocks in Timed Automata. 198-212 - Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. 213-227 - Pranav Tendulkar, Peter Poplavko, Oded Maler:
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. 228-242 - Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga:
Confluence Reduction for Markov Automata. 243-257 - Dominik Wojtczak:
Optimal Control for Linear-Rate Multi-mode Systems. 258-273
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-06 23:26 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:
