Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22--24, 2004. Proceedings. (Q1777924)

The articles of this volume will be reviewed individually. The preceding conferences have been reviewed (see Zbl 1048.68006; Zbl 1045.68008). Indexed articles: \textit{Kossentini, Chiheb; Caspi, Paul}, Mixed delay and threshold voters in critical real-time systems, 21-35 [Zbl 1109.68367] \textit{Bernardi, Simona; Donatelli, Susanna; Dondossola, Giovanna}, Towards a methodological approach to specification and analysis of dependable automation systems, 36-51 [Zbl 1109.68511] \textit{Davoren, Jennifer M.; Moor, Thomas; Goré, R. P.; Coulthard, Vaughan; Nerode, Anil}, On two-sided approximate model-checking: Problem formulation and solution via finite topologies, 52-67 [Zbl 1109.68514] \textit{D'Souza, Deepak; Tabareau, Nicolas}, On timed automata with input-determined guards, 68-83 [Zbl 1109.68503] \textit{Kaynar, Dilsun Kırlı; Lynch, Nancy}, Decomposing verification of timed I/O automata, 84-101 [Zbl 1109.68506] \textit{Markey, Nicolas; Schnoebelen, Philippe}, Symbolic model checking for simply-timed systems, 102-117 [Zbl 1109.68519] \textit{De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François}, Robustness and implementability of timed automata, 118-133 [Zbl 1109.68504] \textit{Krichen, Moez; Tripakis, Stavros}, Real-time testing with timed automata testers and coverage criteria, 134-151 [Zbl 1109.68368] \textit{Maler, Oded; Nickovic, Dejan}, Monitoring temporal properties of continuous signals, 152-166 [Zbl 1109.68518] \textit{Miner, Paul; Geser, Alfons; Pike, Lee; Maddalon, Jeffrey}, A unified fault-tolerance protocol, 167-182 [Zbl 1109.68369] \textit{Gärtner, Felix C.; Jhumka, Arshad}, Automating the addition of fail-safe fault-tolerance: Beyond fusion-closed specifications, 183-198 [Zbl 1109.68366] \textit{Dutertre, Bruno; Sorea, Maria}, Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata, 199-214 [Zbl 1109.68365] \textit{Dima, Cătălin; Girault, Alain; Sorel, Yves}, Static fault-tolerant real-time scheduling with ``pseudo-topological'' orders, 215-230 [Zbl 1109.68374] \textit{Fecher, Harald}, The influence of durational actions on time equivalences, 231-245 [Zbl 1109.68523] \textit{Yu, Fang; Wang, Bow-Yaw; Huang, Yao-Wen}, Bounded model checking for region automata, 246-262 [Zbl 1109.68520] \textit{Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter}, Some progress in satisfiability checking for difference logic, 263-276 [Zbl 1109.68513] \textit{Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François}, Model-checking for weighted timed automata, 277-292 [Zbl 1109.68512] \textit{Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi}, Symbolic model checking for probabilistic timed automata, 293-308 [Zbl 1109.68517] \textit{Bernadsky, Mikhail; Sharykin, Raman; Alur, Rajeev}, Structured modeling of concurrent stochastic hybrid systems, 309-324 [Zbl 1109.68510] \textit{Gerner, Philippe; Dang, Thao}, Computing schedules for multithreaded real-time programs using geometry, 325-342 [Zbl 1109.68524] \textit{Abdulla, Parosh Aziz; Deneux, Johann; Mahata, Pritha; Nylén, Aletta}, Forward reachability analysis of timed Petri nets, 343-362 [Zbl 1109.68509] \textit{Sorea, Maria}, Lazy approximation for dense real-time systems, 363-378 [Zbl 1109.68507] \textit{Grinchtein, Olga; Jonsson, Bengt; Leucker, Martin}, Learning of event-recording automata, 379-395 [Zbl 1109.68515]