zbMATH — the first resource for mathematics

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. (English) Zbl 1061.68004
Lecture Notes in Computer Science 3253. Berlin: Springer (ISBN 3-540-23167-6/pbk). x, 397 p. (2004).

Show indexed articles as search result.

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

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68M15 Reliability, testing and fault tolerance of networks and computer systems
68Q45 Formal languages and automata
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI