4. FTRTFT 1996: Uppsala, Sweden

@proceedings{DBLP:conf/ftrtft/1996,
  editor    = {Bengt Jonsson and
               Joachim Parrow},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th
               International Symposium, FTRTFT'96, Uppsala, Sweden, September
               9-13, 1996, Proceedings},
  booktitle = {FTRTFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1135},
  year      = {1996},
  isbn      = {3-540-61648-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• Flaviu Cristian: On the Semantics of Group Communication. 1-21 BibTeX
• Natarajan Shankar: Unifying Verification Paradigms. 22-39 BibTeX
• Gerard J. Holzmann: Formal Methods for Early Fault Detection. 40-54 BibTeX

Selected Presentations

State Charts

• Andrea Maggiolo-Schettini, Adriano Peron: Retiming Techniques for Statecharts. 55-71 BibTeX
• Florence Maraninchi, Nicolas Halbwachs: Compiling ARGOS into Boolean Equations. 72-89 BibTeX
• Stephen Paynter: Real-Time Mode-Machines. 90-109 BibTeX

Timed Automata

• Pedro R. D'Argenio, Ed Brinksma: A Calculus for Timed Automata. 110-129 BibTeX
• Jan Springintveld, Frits W. Vaandrager: Minimizable Timed Automata. 130-147 BibTeX

Duration Calculus

• Paritosh K. Pandya: Weak Chop Inverses and Liveness in Mean-Value Calculus. 148-167 BibTeX
• Martin Fränzle: Synthesizing Controllers from Duration Calculus. 168-187 BibTeX
• Dang Van Hung, Phan Hong Giang: Sampling Semantics of Duration Calculus. 188-207 BibTeX

Case Studies

• Henning Dierks: The Production Cell: A Verified Real-Time System. 208-227 BibTeX
• Konsta Karsisto, Antti Valmari: Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. 228-245 BibTeX

Scheduling

• Annie Choquet, Dominique Geniet, Francis Cottet: Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. 246-262 BibTeX
• Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini: Scheduling Data Flow Programs in Hard Real-Time Environments. 263-278 BibTeX
• Tomasz Janowski, Mathai Joseph: Dynamic Scheduling in the Presence of Faults: Specification and Verification. 279-297 BibTeX

Fault Tolerance

• Aohan Mei, Yoshihide Igarashi, Naoki Shimizu: Efficient Broadcasting on Faulty Star Networks. 298-305 BibTeX

Model Checking

• Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. 306-326 BibTeX
• Florence Pagani: Partial Orders and Verification of Real-Time systems. 327-346 BibTeX

Specification

• Roberto M. Amadio, Mads Dam: Toward a Modal Theory of Types for the pi-Calculus. 347-365 BibTeX
• Cheryl Dietz: Graphical Formalization of Real-Time Requirements. 366-384 BibTeX
• Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma: On Specifying Real-Time Systems in a Causality-Based Setting. 385-404 BibTeX

Verification

• Martin Westhead, Simin Nadjm-Tehrani: Verification of Embedded Systems Using Synchronous Observers. 405-419 BibTeX
• Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst: Compositionality in Real-Time Shared Variable Concurrency. 420-439 BibTeX
• Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. 440-458 BibTeX

Tools Demonstration

• Morten Biehl, Nils Klarlund, Theis Rauhe: Mona: Decidable Arithmetic in Practice. 459-462 BibTeX
• Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma: Verifying Synchronous Reactive Systems Programmed in ESTEREL. 463-466 BibTeX
• Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies: AutoFocus: A Tool for Distributed Systems Specification. 467-470 BibTeX
• Rajesh K. Bawa, Emmanuelle Encrenaz: A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. 471-474 BibTeX
• Mario Marrero, Álvaro Suárez: EVGC: A Tool for Visualizing LOTOS Behavioural Specifications. 475-478 BibTeX