Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6--7, 2003. Revised papers. (Q1884097)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Półrola, Agata; Penczek, Wojciech; Szreter, Maciej}, Towards efficient partition refinement for checking reachability in timed automata, 2-17 [Zbl 1099.68649] \textit{Woźna, Bożena; Zbrzezny, Andrzej}, Checking ACTL\(^*\) properties of discrete timed automata via bounded model checking, 18-33 [Zbl 1099.68059] \textit{Zhao, Jianhua; Li, Xuandong; Zheng, Tao; Zheng, Guoliang}, Removing irrelevant atomic formulas for checking timed automata efficiently, 34-45 [Zbl 1099.68060] \textit{Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits}, Adding symmetry reduction to Uppaal, 46-59 [Zbl 1099.68657] \textit{Panek, Sebastian; Stursberg, Olaf; Engell, Sebastian}, Optimization of timed automata models using mixed-integer programming, 73-87 [Zbl 1099.68674] \textit{Andova, Suzana; Hermanns, Holger; Katoen, Joost-Pieter}, Discrete-time rewards model-checked, 88-104 [Zbl 1099.68652] \textit{Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy}, Performance analysis of probabilistic timed automata using digital clocks, 105-120 [Zbl 1099.68534] \textit{Carlson, Jan; Lisper, Björn}, An interval-based algebra for restricted event detection, 121-133 [Zbl 1099.68667] \textit{Mousavi, Mohammad Reza; Reniers, Michel; Basten, Twan; Chaudron, Michel}, PARS: A process algebra with resources and schedulers, 134-150 [Zbl 1099.68673] \textit{Schiffelers, R. R. H.; van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.}, Formal semantics of hybrid Chi, 151-165 [Zbl 1099.68651] \textit{Dima, Cătălin}, A nonarchimedian discretization for timed languages, 168-181 [Zbl 1099.68049] \textit{Tripakis, Stavros}, Folk theorems on the determinization and minimization of timed automata, 182-188 [Zbl 1099.68648] \textit{Gebremichael, Biniam; Vaandrager, Frits}, Control synthesis for a smart card personalization system using symbolic model checking, 189-203 [Zbl 1099.68655] \textit{Ben Salah, Ramzi; Bozga, Marius; Maler, Oded}, On timing analysis of combinational circuits, 204-219 [Zbl 1099.94523] \textit{Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F.}, Using zone graph method for computing the state space of a time Petri net, 246-259 [Zbl 1099.68669] \textit{Pommereau, Franck}, Causal time calculus, 260-272 [Zbl 1099.68675]