default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. FORMATS 2003: Marseille, France
- Kim Guldstrand Larsen, Peter Niebert:
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Lecture Notes in Computer Science 2791, Springer 2003, ISBN 3-540-21671-5 - Eugene Asarin
:
Timed Automata and Timed Languages Challenges and Open Problems. 1 - Agata Pólrola, Wojciech Penczek, Maciej Szreter:
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. 2-17 - Bozena Wozna, Andrzej Zbrzezny:
Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. 18-33 - Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. 34-45 - Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. 46-59 - Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. 60-72 - Sebastian Panek, Olaf Stursberg, Sebastian Engell:
Optimization of Timed Automata Models Using Mixed-Integer Programming. 73-87 - Suzana Andova, Holger Hermanns, Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked. 88-104 - Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. 105-120 - Jan Carlson, Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection. 121-133 - Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron:
PARS: A Process Algebra with Resources and Schedulers. 134-150 - Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda:
Formal Semantics of Hybrid Chi. 151-165 - Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems. 166-167 - Catalin Dima:
A Nonarchimedian Discretization for Timed Languages. 168-181 - Stavros Tripakis:
Folk Theorems on the Determinization and Minimization of Timed Automata. 182-188 - Biniam Gebremichael, Frits W. Vaandrager:
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. 189-203 - Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Timing Analysis of Combinational Circuits. 204-219 - Libor Waszniowski, Zdenek Hanzálek:
Analysis of Real Time Operating System Based Applications. 219-233 - Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. 234-245 - Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
Using Zone Graph Method for Computing the State Space of a Time Petri Net. 246-259 - Franck Pommereau:
Causal Time Calculus. 260-272 - Sarah Zennou, Manuel Yguel, Peter Niebert:
ELSE: A New Symbolic State Generator for Timed Automata. 273-280
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-10 20:23 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:
