Skip to main content
SpringerLink
Log in

Formal Techniques in Real-Time and Fault-Tolerant Systems

4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Bengt Jonsson
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joachim Parrow
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1135)

Included in the following conference series:

Conference proceedings info: FTRTFT 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  2. On the semantics of group communication

    • Flaviu Cristian
    Pages 1-21

  3. Unifying verification paradigms

    • Natarajan Shankar
    Pages 22-39

  4. Formal methods for early fault detection

    • Gerard J. Holzmann
    Pages 40-54

  5. Retiming techniques for Statecharts

    • Andrea Maggiolo-Schettini, Adriano Peron
    Pages 55-71

  6. Compiling Argos into Boolean equations

    • F. Maraninchi, N. Halbwachs
    Pages 72-89

  7. Real-time mode-machines

    • Stephen Paynter
    Pages 90-109

  8. A calculus for timed automata

    • Pedro R. D'Argenio, Ed Brinksma
    Pages 110-129

  9. Minimizable timed automata

    • Jan Springintveld, Frits Vaandrager
    Pages 130-147

  10. Weak chop inverses and liveness in Mean-Value Calculus

    • Paritosh K. Pandya
    Pages 148-167

  11. Synthesizing controllers from Duration Calculus

    • Martin Fränzle
    Pages 168-187

  12. Sampling semantics of Duration Calculus

    • Dang Van Hung, Phan Hong Giang
    Pages 188-207

  13. The production cell: A verified real-time system

    • Henning Dierks
    Pages 208-227

  14. Verification-driven development of a collision-avoidance protocol for the Ethernet

    • Konsta Karsisto, Antti Valmari
    Pages 228-245

  15. Exhaustive computation of the scheduled task execution sequences of a real-time application

    • Annie Choquet-Geniet, Dominique Geniet, Francis Cottet
    Pages 246-262

  16. Scheduling Data Flow programs in Hard Real-Time environments

    • Renzo Davoli, Fabio Tamburini, Luigi -Alberto Giachini
    Pages 263-278

  17. Dynamic scheduling in the presence of faults: Specification and verification

    • Tomasz Janowski, Mathai Joseph
    Pages 279-297

  18. Efficient broadcasting on faulty star networks

    • Aohan Mei, Yoshihide Igarashi, Naoki Shimizu
    Pages 298-305

  19. Model checking for extended timed temporal logics

    • Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
    Pages 306-326

  20. Partial orders and verification of real-time systems

    • Florence Pagani
    Pages 327-346
Back to top

Other volumes

  1. Formal Techniques in Real-Time and Fault-Tolerant Systems

Keywords

About this book

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation