Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar14. 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-34Olga 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-68Susmit Jha, Vasumathi Raman:
On Optimal Control of Stochastic Linear Hybrid Systems. 69-84Majid 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-120Masaki Waga, Takumi Akazaki, Ichiro Hasuo:
A Boyer-Moore Type Algorithm for Timed Pattern Matching. 121-139Raymond R. Devillers, Hanna Klaudel:
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. 140-156Zhengkui 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-194Michael Mendler, Partha S. Roop, Bruno Bodin:
A Novel WCET Semantics of Synchronous Programs. 195-210Stefanos Skalistis, Alena Simalatsar:
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC. 211-227Max 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
last updated on 2019-08-18 20:30 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
