Abstract is missing.
- Hybrid Verification by Exploiting the EnvironmentLimor Fix, Fred B. Schneider. 1-18
- Correctness of Real Time Systems by ConstructionJozef Hooman. 19-40
- Specifying and Verifying Fault-Tolerant SystemsLeslie Lamport, Stephan Merz. 41-76
- Development of Hybrid SystemsAmir Pnueli. 77-85
- Linear Duration InvariantsChaochen Zhou. 86-109
- Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant ProgramsAnish Arora. 110-127
- A Comparison of Statecharts VariantsMichael von der Beeck. 128-148
- A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic SystemsAlbert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic. 149-169
- Verification of an Audio Control ProtocolDoeko Bosscher, Indra Polak, Frits W. Vaandrager. 170-192
- Verfying Invariance Properties of Timed Systems with Duration VariablesAhmed Bouajjani, Rachid Echahed, Riadh Robbana. 193-210
- Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary NetsHanifa Boucheneb, Gérard Berthelot. 211-227
- Designing and Implementing Correct Real-Time SystemsSteven Bradley, William Henderson, David Kendall, Adrian Robson. 228-246
- Specification and Refinement of Finite Dataflow Networks - a Relational ApproachManfred Broy, Ketil Stølen. 247-267
- Activation-Oriented Specification of Real-Time SystemsVered Gafni, Amiram Yehudai, Yishai A. Feldman. 268-287
- Provably Correct SystemsJifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel. 288-335
- Simulation Approach to Provably Correct Hardware CompilationJifeng He, Zheng Jianping. 336-350
- Verification Methods for the Divergent Runs of Clock SystemsThomas A. Henzinger, Peter W. Kopke. 351-372
- Fault-Tolerant Bisimulation and Process TranformationsTomasz Janowski. 373-392
- Layering of Real-Time Distributed ProcessesWil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers. 393-417
- Testing and Refinement for Nondeterministic and Probabilistic ProcessesBengt Jonsson, Chris Ho-Stuart, Wang Yi. 418-430
- Prooving Safety Properties of Hybrid SystemsArjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli. 431-454
- A Layered Real-Time Specification of a RISC ProcessorPeter Kearney, Mark Utting. 455-475
- A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 SpacecraftJ. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, P. S. Goel. 476-487
- Reasoning about Durations in Metric Temporal LogicYassine Lakhnech, Jozef Hooman. 488-510
- Scheduling in Critical Real-Time Systems: a MinfestoGérard Le Lann. 511-528
- Stepwise Development of Fault-Tolerant Reactive SystemsZhiming Liu, Mathai Joseph. 529-546
- Distributed Implementation of SIGNAL: Scheduling & Graph ClusteringOlivier Maffeïs, Paul Le Guernic. 547-566
- Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal LogicRyosei Mori, Naoki Yonezaki. 567-582
- From Physical Modelling to Compositional Models of Hybrid SystemsSimin Nadjm-Tehrani, Jan-Erik Strömberg. 583-604
- Specification and Transformation of Reactive Systems with Time Restrictions and ConcurrencyMichael Schenke. 605-620
- Languages for Reactive Specifications: Synchrony Vs AsynchronyR. K. Shyamasundar, S. Ramesh. 621-640
- Specification and Verification of Controlled SystemsHenny Sipma, Zohar Manna. 641-659
- Towards a Duration Calculus Proof Assistant in PVSJens Ulrik Skakkebæk, Natarajan Shankar. 660-679
- Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain InformationWang Yi. 680-693
- Specifying Timed State Sequences in Powerful Decidable Logics and Timed AutomataThomas Wilke. 694-715
- A Calculus for Hybrid Sampled Data SystemsHuiqun Yu, Paritosh K. Pandya, Yongqiang Sun. 716-737
- Formal Design of Hybrid SystemsXinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya. 738-755
- A Formal Proof of the Deadline Driven SchedulerZheng Yuhua, Chaochen Zhou. 756-775
- STATEMATESusanne Wiefel, Gerhard Trefz. 776-776
- Tools Demonstration776-787 [doi]
- The PVS Verification System and PC/DCJohn M. Rushby, Jens Ulrik Skakkebæk. 777-777
- The DST Z-ToolsHans-Martin Hörcher. 778-778
- The VDM Domain CompilerHans-Martin Hörcher, Uwe Schmidt. 779-779
- Case Study Production CellThomas Lindner. 780-780
- IFAD VDM-SL ToolboxPoul Bøgh Lassen. 781-781
- Control Specification Language - CSLKlaus Winkelmann, Klaus Nökel. 782-782
- System Verification Environment - SVEKlaus Winkelmann, Thomas Filkorn. 783-783
- ITEX-DE: A TTCN Development Environment784-784
- The SDL Design Tool785-785
- TatzelwurmThomas Käufl, Stefan Klingenbeck. 786-786
- Formal Specification and Verification Using KIVWolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. 787-787