Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

14. FORMATS 2016: Quebec, QC, Canada

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2016
Martin Fränzle, Nicolas Markey:
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Lecture Notes in Computer Science 9884, Springer 2016, ISBN 978-3-319-44877-0

Modeling Timed Phenomena

- view
  authority control:
- export record
  dblp key:
  - conf/formats/Dworzanski16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Dworzanski16
Leonid W. Dworzanski:
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AndreLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AndreLR16
Étienne André, Didier Lime, Olivier H. Roux:
On the Expressiveness of Parametric Timed Automata. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GadyatskayaHLLO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GadyatskayaHLLO16
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen:
Modelling Attack-defense Trees Using Timed Automata. 35-50

Stochasticity and Hybrid Control

- view
  authority control:
- export record
  dblp key:
  - conf/formats/DArgenioLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DArgenioLM16
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti:
Input/Output Stochastic Automata - Compositionality and Determinism. 53-68
- view
  authority control:
- export record
  dblp key:
  - conf/formats/JhaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/JhaR16
Susmit Jha, Vasumathi Raman:
On Optimal Control of Stochastic Linear Hybrid Systems. 69-84
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ZamaniDMDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ZamaniDMDM16
Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.:
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. 85-101

Real-Time Verification and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/formats/BrihayeEGHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BrihayeEGHMS16
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder:
Real-Time Synthesis is Hard! 105-120
- view
  authority control:
- export record
  dblp key:
  - conf/formats/WagaAH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/WagaAH16
Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. 121-139
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DevillersK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DevillersK16
Raymond R. Devillers, Hanna Klaudel:
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. 140-156
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ZhangNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ZhangNL16
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen:
Distributed Algorithms for Time Optimal Reachability Analysis. 157-173

Workload Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/formats/AlvarezC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AlvarezC16
Gustavo Patino Alvarez, Jiang Chau Wang:
Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation. 177-194
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MendlerRB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MendlerRB16
Michael Mendler, Partha S. Roop, Bruno Bodin:
A Novel WCET Semantics of Synchronous Programs. 195-210
- view
  authority control:
- export record
  dblp key:
  - conf/formats/SkalistisS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/SkalistisS16
Stefanos Skalistis, Alena Simalatsar:
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC. 211-227
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KanovichKNST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KanovichKNST16
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. 228-244

a service of

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.