default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. FORMATS 2015: Madrid, Spain
- Sriram Sankaranarayanan, Enrico Vicario:
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9268, Springer 2015, ISBN 978-3-319-22974-4 - Jeremy Sproston:
Verification and Control of Probabilistic Rectangular Hybrid Automata. 1-9 - Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert:
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets. 10-26 - Étienne André
, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. 27-43 - Nicolas Basset:
Timed Symbolic Dynamics. 44-59 - Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. 60-75 - Clemens Dubslaff, Christel Baier:
Quantitative Analysis of Communication Scenarios. 76-92 - Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen:
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. 93-107 - Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone:
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. 108-123 - Frédéric Herbreteau, Thanh-Tung Tran:
Improving Search Order for Reachability Testing in Timed Automata. 124-139 - Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman:
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. 140-155 - Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga:
Quantitative Attack Tree Analysis via Priced Timed Automata. 156-171 - Luca Bortolussi, Roberta Lanciani:
Fluid Model Checking of Timed Properties. 172-188 - Guoqiang Li, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata with Frozen Clocks. 189-205 - Andrea Marin, Sabina Rossi:
Quantitative Analysis of Concurrent Reversible Computations. 206-221 - Eike Möhlmann, Willem Hagemann, Oliver E. Theel:
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. 222-239 - Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. 240-255 - Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan:
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. 256-269 - Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand:
Contracts for Schedulability Analysis. 270-287 - Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. 288-304 - Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen:
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. 305-320
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 2025-07-08 20:53 CEST 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:
