default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. FORMATS 2009: Budapest, Hungary
- Joël Ouaknine, Frits W. Vaandrager:
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5813, Springer 2009, ISBN 978-3-642-04367-3 - Nikolaj S. Bjørner, Leonardo Mendonça de Moura:
Tapas: Theory Combinations and Practical Applications. 1-6 - Stephane Gaubert:
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. 7-11 - George J. Pappas:
Approximations of Discrete, Continuous, and Hybrid Systems. 12 - Eugene Asarin
, Aldric Degorre:
Volume and Entropy of Regular Timed Languages: Analytic Approach. 13-27 - Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux:
Synthesis of Non-Interferent Timed Systems. 28-42 - Anne Bouillard, Stefan Haar, Sidney Rosario:
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. 43-57 - Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero:
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. 58-72 - Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. 73-87 - Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain:
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. 88-102 - Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Safe Runtime Verification of Real-Time Properties. 103-117 - Catalin Dima, Ruggero Lanotte:
Removing All Silent Transitions from Timed Automata. 118-132 - Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert:
Realizability of Real-Time Logics. 133-148 - Martin Fränzle, Mani Swaminathan:
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata. 149-163 - Pierre Ganty, Rupak Majumdar:
Analyzing Real-Time Event-Driven Programs. 164-178 - Rodolfo Gómez:
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. 179-194 - Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer:
Compositional Abstraction for Stochastic Systems. 195-211 - Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Games for Verification of Probabilistic Timed Automata. 212-227 - Guangyuan Li:
Checking Timed Büchi Automata Emptiness Using LU-Abstractions. 228-242 - Karin Quaas:
On the Supports of Recognizable Timed Series. 243-257 - Shinya Umeno:
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. 258-274 - Matthias Woehrle, Kai Lampka, Lothar Thiele:
Exploiting Timed Automata for Conformance Testing of Power Measurements. 275-290
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-11-28 23:53 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:
