6. FTRTFT 2000: Pune, India

@proceedings{DBLP:conf/ftrtft/2000,
  editor    = {Mathai Joseph},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th
               International Symposium, FTRTFT 2000, Pune, India, September
               20-22, 2000, Proceedings},
  booktitle = {FTRTFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1926},
  year      = {2000},
  isbn      = {3-540-41055-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

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

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
  Electronic Edition (Springer LINK) BibTeX
• Jeremy Sproston:
  Decidable Model Checking of Probabilistic Hybrid Automata. 31-45
  Electronic Edition (Springer LINK) BibTeX

Fault Tolerance

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

Scheduling

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

Validation

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

Refinement

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

Verification

• Leszek Holenderski:
  Compositional Verification of Synchronous Networks. 214-227
  Electronic Edition (Springer LINK) BibTeX
• Simeon Veloudis, Nimal Nissanke:
  Modelling Coordinated Atomic Actions in Timed CSP. 228-239
  Electronic Edition (Springer LINK) BibTeX

Logic and Automata

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