Abstract is missing.
- Challenges in the Utilization of Formal MethodsJohn C. Knight. 1-17 [doi]
- On the Need for Practical Formal MethodsConstance L. Heitmeyer. 18-26 [doi]
- A General Framework for the Composition of Timed Systems Extended AbstractJoseph Sifakis. 27-28 [doi]
- Operational and Logical Semantics for Polling Real-Time SystemsHenning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager. 29-40 [doi]
- A Finite-Domain Semantics for Testing Temporal Logic SpecificationsAlberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro. 41-54 [doi]
- Duration Calculus of Weakly Monotonic TimeParitosh K. Pandya, Dang Van Hung. 55-64 [doi]
- Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement PatternReinhard Gotzhein, Martin Kronenburg, Christian Peper. 65-74 [doi]
- A Modular Visual Model for Hybrid SystemsRadu Grosu, Thomas Stauner, Manfred Broy. 75-91 [doi]
- Integrating Real-Time Structured Design and Formal TechniquesD. Priddin, Alan Burns. 92-102 [doi]
- Duration Calculus in the Specification of Safety RequirementsSimeon Veloudis, Nimal Nissanke. 103-112 [doi]
- Automated Stream-Based Analysis of Fault-ToleranceScott D. Stoller, Fred B. Schneider. 113-122 [doi]
- Designing a Provably Correct Robot Control System Using a Lean Formal MethodAntonio Cau, Chris Czarnecki, Hussein Zedan. 123-132 [doi]
- Static Analysis to Identify Invariants in RSML SpecificationsDavid Y. W. Park, Jens U. Skakkebæk, David L. Dill. 133-142 [doi]
- Partition Refinement in Real-Time Model CheckingR. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan. 143-157 [doi]
- Formal Verification of Stabilizing SystemsMichael Siegel. 158-172 [doi]
- Synchronizing Clocked Transition SystemsMannes Poel, Job Zwiers. 173-185 [doi]
- Some Decidability Results for Duration Calculus under Synchronous InterpretationManoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya. 186-197 [doi]
- Fair Synchronous Transition Systems and Their Liveness ProofsAmir Pnueli, Natarajan Shankar, Eli Singerman. 198-209 [doi]
- Dynamical Properties of Timed AutomataAnuj Puri. 210-227 [doi]
- An Algorithm for the Approximative Analysis of Rectangular AutomataJörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger. 228-240 [doi]
- On Checking Parallel Real-Time Systems for Linear Duration PropertiesJianhua Zhao, Dang Van Hung. 241-250 [doi]
- A Practical and Complete Algorithm for Testing Real-Time SystemsRachel Cardell-Oliver, Tim Glover. 251-261 [doi]
- Mechanical Verification of Clock Synchronization AlgorithmsDetlef Schwier, Friedrich W. von Henke. 262-271 [doi]
- Compiling Graphical Real-Time Specifications into SiliconMartin Fränzle, Karsten Lüth. 272-281 [doi]
- Towards a Formal Semantics of Verilog Using Duration CalculusGerardo Schneider, Qiwen Xu. 282-293 [doi]
- The ICOS Synthesis EnvironmentKarsten Lüth. 294-297 [doi]
- KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT 98)Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine. 298-302 [doi]
- SGLOT: A Visual Tool for Structural LOTOS SpecificationsMario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías. 303-306 [doi]
- Discrete-Time Promela and SpinDragan Bosnacki, Dennis Dams. 307-310 [doi]
- MOBY/PLC - Graphical Development of PLC-AutomataJosef Tapken, Henning Dierks. 311-314 [doi]
- Predictability in Critical SystemsGérard Le Lann. 315-338 [doi]