Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1996

Formal Techniques in Real-Time and Fault-Tolerant Systems

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

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)

Conference series link(s): FTRTFT: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Conference proceedings info: FTRTFT 1996.

Sections

Buy it now

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

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

Table of contents (30 papers)

  1. Front Matter

    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

  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

  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

  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
Back to top

Other Volumes

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

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation