default search action

combined dblp search
author search
venue search
publication search

ask others

11. FORMATS 2013: Buenos Aires, Argentina

> Home > Conferences and Workshops > FORMATS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/formats/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2013
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
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AndrePP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AndrePP13
Étienne André, Giuseppe Pellegrino, Laure Petrucci:
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AsarinBD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AsarinBD13
Eugene Asarin, Nicolas Basset, Aldric Degorre:
Spectral Gap in Timed Automata. 16-30
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BouyerMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BouyerMS13
Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust Weighted Timed Automata and Games. 31-46
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BrihayeEG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BrihayeEG13
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts:
On MITL and Alternating Timed Automata. 47-61
- view
  authority control:
- export record
  dblp key:
  - conf/formats/CassezG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/CassezG13
Franck Cassez, Alban Grastien:
Predictability of Event Occurrences in Timed Systems. 62-76
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Charron-BostFN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Charron-BostFN13
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Transience Bounds for Distributed Algorithms. 77-90
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ChatainJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ChatainJ13
Thomas Chatain, Claude Jard:
Back in Time Petri Nets. 91-105
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GarnachoBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GarnachoBF13
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine:
A Mechanized Semantic Framework for Real-Time Systems. 106-120
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HofnerK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HofnerK13
Peter Höfner, Maryam Kamali:
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Jansen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Jansen13
David N. Jansen:
More or Less True DCTL for Continuous-Time MDPs. 137-151
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KrennNT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KrennNT13
Willibald Krenn, Dejan Nickovic, Loredana Tec:
Incremental Language Inclusion Checking for Networks of Timed Automata. 152-167
- view
  authority control:
- export record
  dblp key:
  - conf/formats/LiCOY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/LiCOY13
Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata. 168-182
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MatsikoudisL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MatsikoudisL13
Eleftherios Matsikoudis, Edward A. Lee:
On Fixed Points of Strictly Causal Functions. 183-197
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MunizWP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MunizWP13
Marco Muñiz, Bernd Westphal, Andreas Podelski:
Detecting Quasi-equal Clocks in Timed Automata. 198-212
- view
  authority control:
- export record
  dblp key:
  - conf/formats/StergiouTML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/StergiouTML13
Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. 213-227
- view
  authority control:
- export record
  dblp key:
  - conf/formats/TendulkarPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/TendulkarPM13
Pranav Tendulkar, Peter Poplavko, Oded Maler:
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. 228-242
- view
  authority control:
- export record
  dblp key:
  - conf/formats/TimmerPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/TimmerPS13
Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga:
Confluence Reduction for Markov Automata. 243-257
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Wojtczak13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Wojtczak13
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.