ask others

1. FORMATS 2003: Marseille, France

> Home > Conferences and Workshops > FORMATS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/2003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/2003
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/Asarin03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/Asarin03
Eugene Asarin:
Timed Automata and Timed Languages Challenges and Open Problems. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/PolrolaPS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/PolrolaPS03
Agata Pólrola, Wojciech Penczek, Maciej Szreter:
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. 2-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/WoznaZ03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/WoznaZ03
Bozena Wozna, Andrzej Zbrzezny:
Checking ACTL^* Properties of Discrete Timed Automata via Bounded Model Checking. 18-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/ZhaoLZZ03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/ZhaoLZZ03
Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. 34-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/HendriksBLNV03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/HendriksBLNV03
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. 46-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/AmnellFMPY03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/AmnellFMPY03
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/PanekSE03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/PanekSE03
Sebastian Panek, Olaf Stursberg, Sebastian Engell:
Optimization of Timed Automata Models Using Mixed-Integer Programming. 73-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/AndovaHK03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/AndovaHK03
Suzana Andova, Holger Hermanns, Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked. 88-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/KwiatkowskaNPS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/KwiatkowskaNPS03
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. 105-120
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/CarlsonL03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/CarlsonL03
Jan Carlson, Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection. 121-133
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/MousaviRBC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MousaviRBC03
Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron:
PARS: A Process Algebra with Resources and Schedulers. 134-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/SchiffelersBMRR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/SchiffelersBMRR03
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda:
Formal Semantics of Hybrid Chi. 151-165
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/Wilhelm03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/Wilhelm03
Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems. 166-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/Dima03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/Dima03
Catalin Dima:
A Nonarchimedian Discretization for Timed Languages. 168-181
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/Tripakis03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/Tripakis03
Stavros Tripakis:
Folk Theorems on the Determinization and Minimization of Timed Automata. 182-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/GebremichaelV03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/GebremichaelV03
Biniam Gebremichael, Frits W. Vaandrager:
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. 189-203
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/SalahBM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/SalahBM03
Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Timing Analysis of Combinational Circuits. 204-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/WaszniowskiH03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/WaszniowskiH03
Libor Waszniowski, Zdenek Hanzálek:
Analysis of Real Time Operating System Based Applications. 219-233
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/HesselLNPS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/HesselLNPS03
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. 234-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/GardeyRR03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/GardeyRR03
Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
Using Zone Graph Method for Computing the State Space of a Time Petri Net. 246-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/Pommereau03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/Pommereau03
Franck Pommereau:
Causal Time Calculus. 260-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/ZennouYN03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/ZennouYN03
Sarah Zennou, Manuel Yguel, Peter Niebert:
ELSE: A New Symbolic State Generator for Timed Automata. 273-280

maintained by

, founded at