5. FTRTFT 1998: Lyngby, Denmark

@proceedings{DBLP:conf/ftrtft/1998,
  editor    = {Anders P. Ravn and
               Hans Rischel},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th
               International Symposium, FTRTFT'98, Lyngby, Denmark, September
               14-18, 1998, Proceedings},
  booktitle = {FTRTFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1486},
  year      = {1998},
  isbn      = {3-540-65003-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• John C. Knight:
  Challenges in the Utilization of Formal Methods. 1-17
  Electronic Edition (Springer LINK) BibTeX
• Constance L. Heitmeyer:
  On the Need for Practical Formal Methods. 18-26
  Electronic Edition (Springer LINK) BibTeX
• Joseph Sifakis:
  A General Framework for the Composition of Timed Systems Extended Abstract. 27-28
  Electronic Edition (Springer LINK) BibTeX

Temporal Logic

• Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager:
  Operational and Logical Semantics for Polling Real-Time Systems. 29-40
  Electronic Edition (Springer LINK) BibTeX
• Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro:
  A Finite-Domain Semantics for Testing Temporal Logic Specifications. 41-54
  Electronic Edition (Springer LINK) BibTeX
• Paritosh K. Pandya, Dang Van Hung:
  Duration Calculus of Weakly Monotonic Time. 55-64
  Electronic Edition (Springer LINK) BibTeX

Requirements Engineering

• Reinhard Gotzhein, Martin Kronenburg, Christian Peper:
  Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. 65-74
  Electronic Edition (Springer LINK) BibTeX
• Radu Grosu, Thomas Stauner, Manfred Broy:
  A Modular Visual Model for Hybrid Systems. 75-91
  Electronic Edition (Springer LINK) BibTeX
• D. Priddin, Alan Burns:
  Integrating Real-Time Structured Design and Formal Techniques. 92-102
  Electronic Edition (Springer LINK) BibTeX
• Simeon Veloudis, Nimal Nissanke:
  Duration Calculus in the Specification of Safety Requirements. 103-112
  Electronic Edition (Springer LINK) BibTeX

Analysis Techniques

• Scott D. Stoller, Fred B. Schneider:
  Automated Stream-Based Analysis of Fault-Tolerance. 113-122
  Electronic Edition (Springer LINK) BibTeX
• Antonio Cau, Chris Czarnecki, Hussein Zedan:
  Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. 123-132
  Electronic Edition (Springer LINK) BibTeX
• David Y. W. Park, Jens U. Skakkebæk, David L. Dill:
  Static Analysis to Identify Invariants in RSML Specifications. 133-142
  Electronic Edition (Springer LINK) BibTeX
• R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan:
  Partition Refinement in Real-Time Model Checking. 143-157
  Electronic Edition (Springer LINK) BibTeX

Verification

• Michael Siegel:
  Formal Verification of Stabilizing Systems. 158-172
  Electronic Edition (Springer LINK) BibTeX
• Mannes Poel, Job Zwiers:
  Synchronizing Clocked Transition Systems. 173-185
  Electronic Edition (Springer LINK) BibTeX
• Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya:
  Some Decidability Results for Duration Calculus under Synchronous Interpretation. 186-197
  Electronic Edition (Springer LINK) BibTeX
• Amir Pnueli, Natarajan Shankar, Eli Singerman:
  Fair Synchronous Transition Systems and Their Liveness Proofs. 198-209
  Electronic Edition (Springer LINK) BibTeX

Model Checking

• Anuj Puri:
  Dynamical Properties of Timed Automata. 210-227
  Electronic Edition (Springer LINK) BibTeX
• Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger:
  An Algorithm for the Approximative Analysis of Rectangular Automata. 228-240
  Electronic Edition (Springer LINK) BibTeX
• Jianhua Zhao, Dang Van Hung:
  On Checking Parallel Real-Time Systems for Linear Duration Properties. 241-250
  Electronic Edition (Springer LINK) BibTeX
• Rachel Cardell-Oliver, Tim Glover:
  A Practical and Complete Algorithm for Testing Real-Time Systems. 251-261
  Electronic Edition (Springer LINK) BibTeX

Applications

• Detlef Schwier, Friedrich W. von Henke:
  Mechanical Verification of Clock Synchronization Algorithms. 262-271
  Electronic Edition (Springer LINK) BibTeX
• Martin Fränzle, Karsten Lüth:
  Compiling Graphical Real-Time Specifications into Silicon. 272-281
  Electronic Edition (Springer LINK) BibTeX
• Gerardo Schneider, Qiwen Xu:
  Towards a Formal Semantics of Verilog Using Duration Calculus. 282-293
  Electronic Edition (Springer LINK) BibTeX

Tools Demonstrations

• Karsten Lüth:
  The ICOS Synthesis Environment. 294-297
  Electronic Edition (Springer LINK) BibTeX
• Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
  KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). 298-302
  Electronic Edition (Springer LINK) BibTeX
• Mario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías:
  SGLOT: A Visual Tool for Structural LOTOS Specifications. 303-306
  Electronic Edition (Springer LINK) BibTeX
• Dragan Bosnacki, Dennis Dams:
  Discrete-Time Promela and Spin. 307-310
  Electronic Edition (Springer LINK) BibTeX
• Josef Tapken, Henning Dierks:
  MOBY/PLC - Graphical Development of PLC-Automata. 311-314
  Electronic Edition (Springer LINK) BibTeX

Invited Paper

• Gérard Le Lann:
  Predictability in Critical Systems. 315-338
  Electronic Edition (Springer LINK) BibTeX