5. FTRTFT 1998: Lyngby, Denmark
Anders P. Ravn, Hans Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-65003-2
Invited Lectures
- John C. Knight: Challenges in the Utilization of Formal Methods. 1-17
- Constance L. Heitmeyer: On the Need for Practical Formal Methods. 18-26
- Joseph Sifakis: A General Framework for the Composition of Timed Systems Extended Abstract. 27-28
Temporal Logic
- Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. 29-40
- Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro: A Finite-Domain Semantics for Testing Temporal Logic Specifications. 41-54
Requirements Engineering
- Reinhard Gotzhein, Martin Kronenburg, Christian Peper: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. 65-74
- Simeon Veloudis, Nimal Nissanke: Duration Calculus in the Specification of Safety Requirements. 103-112
Analysis Techniques
- Antonio Cau, Chris Czarnecki, Hussein Zedan: Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. 123-132
- David Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. 133-142
- R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan: Partition Refinement in Real-Time Model Checking. 143-157
Verification
- Michael Siegel: Formal Verification of Stabilizing Systems. 158-172
- Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. 186-197
- Amir Pnueli, Natarajan Shankar, Eli Singerman: Fair Synchronous Transition Systems and Their Liveness Proofs. 198-209
Model Checking
- Anuj Puri: Dynamical Properties of Timed Automata. 210-227
- Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger: An Algorithm for the Approximative Analysis of Rectangular Automata. 228-240
- Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. 241-250
- Rachel Cardell-Oliver, Tim Glover: A Practical and Complete Algorithm for Testing Real-Time Systems. 251-261
Applications
- Detlef Schwier, Friedrich W. von Henke: Mechanical Verification of Clock Synchronization Algorithms. 262-271
Tools Demonstrations
- Karsten Lüth: The ICOS Synthesis Environment. 294-297
- 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
- Mario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías: SGLOT: A Visual Tool for Structural LOTOS Specifications. 303-306
Invited Paper
- Gérard Le Lann: Predictability in Critical Systems. 315-338
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team