default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. 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
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 2024-12-19 22:18 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:
