default search action
5. FORMATS 2007: Salzburg, Austria
- Jean-François Raskin, P. S. Thiagarajan:
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763, Springer 2007, ISBN 978-3-540-75453-4 - Joost-Pieter Katoen:
Abstraction of Probabilistic Systems. 1-3 - Bruce H. Krogh:
From Analysis to Design. 4 - Franck Cassez
:
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. 5-24 - Sara Adams, Joël Ouaknine, James Worrell:
Undecidability of Universality for Timed Automata with Minimal Resources. 25-37 - Grégory Batt, Ramzi Ben Salah, Oded Maler:
On Timed Models of Gene Networks. 38-52 - Patricia Bouyer, Nicolas Markey
Costs Are Expensive! 53-68 - Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik:
Hypervolume Approximation in Timed Automata Model Checking. 69-81 - Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar:
Counter-Free Input-Determined Timed Automata. 82-97 - Pieter J. L. Cuijpers
Towards Budgeting in Real-Time Calculus: Deferrable Servers. 98-113 - Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata. 114-129 - Catalin Dima:
Dynamical Properties of Timed Automata Revisited. 130-146 - Georgios E. Fainekos
Robust Sampling for MITL Specifications. 147-162 - Carlo A. Furia, Matteo Rossi:
On the Expressiveness of MTL Variants over Dense Time. 163-178 - Sergio Giro, Pedro R. D'Argenio:
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. 179-194 - Rodolfo Gómez, Howard Bowman:
Efficient Detection of Zeno Runs in Timed Automata. 195-210 - John Håkansson, Paul Pettersson
Partial Order Reduction for Verification of Real-Time Components. 211-226 - Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. 227-240 - Susmit Jha
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. 241-256 - Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. 257-273 - Pavel Krcál, Martin Stigge, Wang Yi:
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. 274-289 - Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat:
Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. 290-303 - Dejan Nickovic, Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems. 304-319 - Andreas Podelski, Silke Wagner:
Region Stability Proofs for Hybrid Systems. 320-335 - Anne Remke, Boudewijn R. Haverkort
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. 336-351 - Farn Wang:
Symbolic Simulation-Checking of Dense-Time Automata. 352-368
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-16 22:15 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: