6. FTRTFT 2000: Pune, India

Mathai Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings. Lecture Notes in Computer Science 1926 Springer 2000, ISBN 3-540-41055-4

Invited Lectures

Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin:
Stability of Discrete Sampled Systems. 1-11
Yoram Moses:
Issues in the Refinement of Distributed Programs. 12-17
Werner Damm:
Challenges in the Verification of Electronic Control Units. 18

Model Checking

Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou:
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. 19-30
Jeremy Sproston:
Decidable Model Checking of Probabilistic Hybrid Automata. 31-45

Fault Tolerance

Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. 46-57
Max Breitling:
Modeling Faults of Distributed, Reactive Systems. 58-69
Paul Caspi, Rym Salem:
Threshold and Bounded-Delay Voting in Critical Control Systems. 70-81
Sandeep S. Kulkarni, Anish Arora:
Automating the Addition of Fault-Tolerance. 82-93
Hans Hansson, Christer Norström, Sasikumar Punnekkat:
Reliability Modelling of Time-Critical Distributed Systems. 94-105

Scheduling

Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. 106-120
K. Subramani, Ashok K. Agrawala:
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling. 121-133

Validation

Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg:
Co-simulation of Hybrid Systems: Signal-Simulink. 134-151
A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar:
A System for Object Code Validation. 152-169

Refinement

Ian J. Hayes:
Real-Time Program Refinement Using Auxiliary Variables. 170-184
Ron van der Meyden, Yoram Moses:
On Refinement and Temporal Annotations. 185-201
Ralph-Johan Back, Luigia Petre, Ivan Porres:
Generalizing Action Systems to Hybrid Systems. 202-213

Verification

Leszek Holenderski:
Compositional Verification of Synchronous Networks. 214-227
Simeon Veloudis, Nimal Nissanke:
Modelling Coordinated Atomic Actions in Timed CSP. 228-239

Logic and Automata

Deepak D'Souza:
A Logical Characterisation of Event Recording Automata. 240-251
Michaël Adélaïde, Olivier Roux:
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. 252-263
Dimitar P. Guelev:
Probabilistic Neighbourhood Logic. 264-275
Marc Geilen, Dennis Dams:
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. 276-290
Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verifying Universal Properties of Parameterized Networks. 291-303

Last update Fri May 25 08:14:30 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page