Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings (Q1582980)

The articles of mathematical interest will be reviewed individually. The 3rd symposium 1994 has been reviewed (see Zbl 0803.00029). Indexed articles: \textit{Halbwachs, N.; Héry, J.-F.; Laleuf, J.-C.; Nicollin, X.}, Stability of discrete sampled systems, 1-11 [Zbl 0986.93505] \textit{Moses, Yoram}, Issues in the refinement of distributed programs, 12-17 [Zbl 0986.68669] \textit{Damm, Werner}, Challenges in the verification of electronic control units, 18 [Zbl 0986.68594] \textit{Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne}, Scaling up Uppaal. Automatic verification of real-time systems using compositionality and abstraction, 19-30 [Zbl 0986.68519] \textit{Sproston, Jeremy}, Decidable model checking of probabilistic hybrid automata, 31-45 [Zbl 0986.68058] \textit{Lano, K.; Clark, David; Androutsopoulos, K.; Kan, P.}, Invariant-based synthesis of fault-tolerant systems, 46-57 [Zbl 0986.68667] \textit{Breitling, Max}, Modeling faults of distributed, reactive systems, 58-69 [Zbl 0986.68701] \textit{Caspi, Paul; Salem, Rym}, Threshold and bounded-delay voting in critical control systems, 70-81 [Zbl 0986.68501] \textit{Kulkarni, Sandeep S.; Arora, Anish}, Automating the addition of fault-tolerance, 82-93 [Zbl 0986.68584] \textit{Hansson, Hans; Norström, Christer; Punnekkat, Sasikumar}, Reliability modelling of time-critical distributed systems, 94-105 [Zbl 0986.68731] \textit{Altisen, K.; Gößler, G.; Sifakis, J.}, A methodology for the construction of scheduled systems, 106-120 [Zbl 0986.90501] \textit{Subramani, K.; Agrawala, Ashok}, A dual interpretation of ``standard constraints'' in parametric scheduling, 121-133 [Zbl 0986.68005] \textit{Tudoret, Stéphane; Nadjm-Tehrani, Simin; Benveniste, Albert; Strömberg, Jan-Erik}, Co-simulation of hybrid systems: Signal-Simulink, 134-151 [Zbl 0986.93502] \textit{Bhattacharjee, A. K.; Sen, Gopa; Dhodapkar, S. D.; Karunakar, K.; Rajan, Basant; Shyamasundar, R. K.}, A system for object code validation, 152-169 [Zbl 0986.68552] \textit{Hayes, Ian}, Real-time program refinement using auxiliary variables, 170-184 [Zbl 0986.68728] \textit{van der Meyden, Ron; Moses, Yoram}, On refinement and temporal annotations, 185-201 [Zbl 0986.68053] \textit{Back, Ralph-Johan; Petre, Luigia; Porres, Ivan}, Generalizing action systems to hybrid systems, 202-213 [Zbl 0986.68648] \textit{Holenderski, Leszek}, Compositional verification of synchronous networks, 214-227 [Zbl 0986.68516] \textit{Veloudis, Simeon; Nissanke, Nimal}, Modelling coordinated atomic actions in timed CSP, 228-239 [Zbl 0986.68500] \textit{D'Souza, Deepak}, A logical characterisation of event recording automata, 240-251 [Zbl 0986.68046] \textit{Adlaïde, Michaël; Roux, Olivier}, Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, 252-263 [Zbl 0986.68050] \textit{Guelev, Dimitar P.}, Probabilistic neighbourhood logic, 264-275 [Zbl 0986.03025] \textit{Geilen, Marc; Dams, Dennis}, An on-the-fly tableau construction for a real-time temporal logic, 276-290 [Zbl 0986.03024] \textit{Baukus, Kai; Lakhnech, Yassine; Stahl, Karsten}, Verifying universal properties of parameterized networks, 291-303 [Zbl 0986.68062]