- Deepak D'Souza:
A Logical Characterisation of Event Recording Automata. FTRTFT 2000: 240-251 - Werner Damm:
Challenges in the Verification of Electronic Control Units. FTRTFT 2000: 18 - Marc Geilen
, Dennis Dams:
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT 2000: 276-290 - Dimitar P. Guelev:
Probabilistic Neighbourhood Logic. FTRTFT 2000: 264-275 - Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin:
Stability of Discrete Sampled Systems. FTRTFT 2000: 1-11 - Hans Hansson, Christer Norström, Sasikumar Punnekkat:
Reliability Modelling of Time-Critical Distributed Systems. FTRTFT 2000: 94-105 - Ian J. Hayes:
Real-Time Program Refinement Using Auxiliary Variables. FTRTFT 2000: 170-184 - Leszek Holenderski:
Compositional Verification of Synchronous Networks. FTRTFT 2000: 214-227 - Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou:
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30 - Sandeep S. Kulkarni, Anish Arora:
Automating the Addition of Fault-Tolerance. FTRTFT 2000: 82-93 - Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57 - Ron van der Meyden, Yoram Moses:
On Refinement and Temporal Annotations. FTRTFT 2000: 185-201 - Yoram Moses:
Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17 - Jeremy Sproston:
Decidable Model Checking of Probabilistic Hybrid Automata. FTRTFT 2000: 31-45 - K. Subramani, Ashok K. Agrawala:
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling. FTRTFT 2000: 121-133 - Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg:
Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT 2000: 134-151 - Simeon Veloudis, Nimal Nissanke:
Modelling Coordinated Atomic Actions in Timed CSP. FTRTFT 2000: 228-239 - Mathai Joseph:
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 [contents] - 1998
- Dragan Bosnacki, Dennis Dams:
Discrete-Time Promela and Spin. FTRTFT 1998: 307-310 - 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). FTRTFT 1998: 298-302 - Rachel Cardell-Oliver, Tim Glover:
A Practical and Complete Algorithm for Testing Real-Time Systems. FTRTFT 1998: 251-261 - Antonio Cau, Chris A. Czarnecki, Hussein Zedan:
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. FTRTFT 1998: 123-132 - Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54 - Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40 - Martin Fränzle, Karsten Lüth:
Compiling Graphical Real-Time Specifications into Silicon. FTRTFT 1998: 272-281 - Reinhard Gotzhein, Martin Kronenburg, Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. FTRTFT 1998: 65-74 - Radu Grosu, Thomas Stauner, Manfred Broy:
A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91 - Constance L. Heitmeyer:
On the Need for Practical Formal Methods. FTRTFT 1998: 18-26 - Jianhua Zhao, Dang Van Hung:
On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250 - John C. Knight:
Challenges in the Utilization of Formal Methods. FTRTFT 1998: 1-17
