3. FTRTFT 1994: Lübeck, Germany

Invited Lectures

• Limor Fix, Fred B. Schneider:
  Hybrid Verification by Exploiting the Environment. 1-18
  
• Jozef Hooman:
  Correctness of Real Time Systems by Construction. 19-40
  
• Leslie Lamport, Stephan Merz:
  Specifying and Verifying Fault-Tolerant Systems. 41-76
  
• Amir Pnueli:
  Development of Hybrid Systems. 77-85
  
• Chaochen Zhou:
  Linear Duration Invariants. 86-109
  

Selected Presentations

• Anish Arora:
  Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs. 110-127
  
• Michael von der Beeck:
  A Comparison of Statecharts Variants. 128-148
  
• Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
  A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. 149-169
  
• Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
  Verification of an Audio Control Protocol. 170-192
  
• Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
  Verfying Invariance Properties of Timed Systems with Duration Variables. 193-210
  
• Hanifa Boucheneb, Gérard Berthelot:
  Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. 211-227
  
• Steven Bradley, William Henderson, David Kendall, Adrian Robson:
  Designing and Implementing Correct Real-Time Systems. 228-246
  
• Manfred Broy, Ketil Stølen:
  Specification and Refinement of Finite Dataflow Networks - a Relational Approach. 247-267
  
• Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
  Activation-Oriented Specification of Real-Time Systems. 268-287
  
• Jifeng 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:
  Provably Correct Systems. 288-335
  
• Jifeng He, Jianping Zheng:
  Simulation Approach to Provably Correct Hardware Compilation. 336-350
  
• Thomas A. Henzinger, Peter W. Kopke:
  Verification Methods for the Divergent Runs of Clock Systems. 351-372
  
• Tomasz Janowski:
  Fault-Tolerant Bisimulation and Process Tranformations. 373-392
  
• Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
  Layering of Real-Time Distributed Processes. 393-417
  
• Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
  Testing and Refinement for Nondeterministic and Probabilistic Processes. 418-430
  
• Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
  Prooving Safety Properties of Hybrid Systems. 431-454
  
• Peter Kearney, Mark Utting:
  A Layered Real-Time Specification of a RISC Processor. 455-475
  
• J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, Prem Shankar Goel:
  A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. 476-487
  
• Yassine Lakhnech, Jozef Hooman:
  Reasoning about Durations in Metric Temporal Logic. 488-510
  
• Gérard Le Lann:
  Scheduling in Critical Real-Time Systems: a Minfesto. 511-528
  
• Zhiming Liu, Mathai Joseph:
  Stepwise Development of Fault-Tolerant Reactive Systems. 529-546
  
• Olivier Maffeïs, Paul Le Guernic:
  Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. 547-566
  
• Ryosei Mori, Naoki Yonezaki:
  Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. 567-582
  
• Simin Nadjm-Tehrani, Jan-Erik Strömberg:
  From Physical Modelling to Compositional Models of Hybrid Systems. 583-604
  
• Michael Schenke:
  Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. 605-620
  
• R. K. Shyamasundar, S. Ramesh:
  Languages for Reactive Specifications: Synchrony Vs Asynchrony. 621-640
  
• Henny Sipma, Zohar Manna:
  Specification and Verification of Controlled Systems. 641-659
  
• Jens Ulrik Skakkebæk, Natarajan Shankar:
  Towards a Duration Calculus Proof Assistant in PVS. 660-679
  
• Wang Yi:
  Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. 680-693
  
• Thomas Wilke:
  Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata. 694-715
  
• Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun:
  A Calculus for Hybrid Sampled Data Systems. 716-737
  
• Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya:
  Formal Design of Hybrid Systems. 738-755
  
• Zheng Yuhua, Chaochen Zhou:
  A Formal Proof of the Deadline Driven Scheduler. 756-775
  

Tools Demonstration

• Susanne Wiefel, Gerhard Trefz: STATEMATE. 776-776
• John M. Rushby, Jens Ulrik Skakkebæk: The PVS Verification System and PC/DC. 777-777
• Hans-Martin Hörcher: The DST Z-Tools. 778-778
• Hans-Martin Hörcher, Uwe Schmidt: The VDM Domain Compiler. 779-779
• Thomas Lindner: Case Study Production Cell. 780-780
• Poul Bøgh Lassen: IFAD VDM-SL Toolbox. 781-781
• Klaus Winkelmann, Klaus Nökel: Control Specification Language - CSL. 782-782
• Klaus Winkelmann, Thomas Filkorn: System Verification Environment - SVE. 783-783
• ITEX-DE: A TTCN Development Environment. 784-784
• The SDL Design Tool. 785-785
• Thomas Käufl, Stefan Klingenbeck: Tatzelwurm. 786-786
• Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Formal Specification and Verification Using KIV. 787-787

Last update Mon May 20 14:43:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page