![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14. FORMATS 2016: Quebec, QC, Canada
- 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
- Leonid W. Dworzanski:
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency. 3-18 - Étienne André
, Didier Lime
, Olivier H. Roux:
On the Expressiveness of Parametric Timed Automata. 19-34 - 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
- Pedro R. D'Argenio
, Matias David Lee, Raúl E. Monti
:
Input/Output Stochastic Automata - Compositionality and Determinism. 53-68 - Susmit Jha, Vasumathi Raman:
On Optimal Control of Stochastic Linear Hybrid Systems. 69-84 - 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
- Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho
, Benjamin Monmege
, Nathalie Sznajder:
Real-Time Synthesis is Hard! 105-120 - Masaki Waga
, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. 121-139 - Raymond R. Devillers, Hanna Klaudel:
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. 140-156 - Zhengkui Zhang, Brian Nielsen
, Kim G. Larsen
:
Distributed Algorithms for Time Optimal Reachability Analysis. 157-173
Workload Analysis
- Gustavo Patino Alvarez
, Jiang Chau Wang
:
Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation. 177-194 - Michael Mendler, Partha S. Roop, Bruno Bodin
:
A Novel WCET Semantics of Synchronous Programs. 195-210 - Stefanos Skalistis, Alena Simalatsar:
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC. 211-227 - 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
![](https://dblp.uni-trier.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.