- Henning Dierks:
The Production Cell: A Verified Real-Time System. FTRTFT 1996: 208-227 - Cheryl Dietz:
Graphical Formalization of Real-Time Requirements. FTRTFT 1996: 366-384 - Simon Fowler, Andy J. Wellings:
Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458 - Martin Fränzle
:
Synthesizing Controllers from Duration Calculus. FTRTFT 1996: 168-187 - Gerard J. Holzmann:
Formal Methods for Early Fault Detection. FTRTFT 1996: 40-54 - Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification. FTRTFT 1996: 467-470 - Dang Van Hung, Phan Hong Giang:
Sampling Semantics of Duration Calculus. FTRTFT 1996: 188-207 - Tomasz Janowski, Mathai Joseph:
Dynamic Scheduling in the Presence of Faults: Specification and Verification. FTRTFT 1996: 279-297 - Konsta Karsisto, Antti Valmari:
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. FTRTFT 1996: 228-245 - Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404 - Andrea Maggiolo-Schettini, Adriano Peron:
Retiming Techniques for Statecharts. FTRTFT 1996: 55-71 - Florence Maraninchi, Nicolas Halbwachs:
Compiling ARGOS into Boolean Equations. FTRTFT 1996: 72-89 - Mario Marrero, Álvaro Suárez Sarmiento:
EVGC: A Tool for Visualizing LOTOS Behavioural Specifications. FTRTFT 1996: 475-478 - Aohan Mei, Yoshihide Igarashi, Naoki Shimizu:
Efficient Broadcasting on Faulty Star Networks. FTRTFT 1996: 298-305 - Florence Pagani:
Partial Orders and Verification of Real-Time systems. FTRTFT 1996: 327-346 - Paritosh K. Pandya:
Weak Chop Inverses and Liveness in Mean-Value Calculus. FTRTFT 1996: 148-167 - Stephen Paynter:
Real-Time Mode-Machines. FTRTFT 1996: 90-109 - Natarajan Shankar:
Unifying Verification Paradigms. FTRTFT 1996: 22-39 - Jan Springintveld, Frits W. Vaandrager:
Minimizable Timed Automata. FTRTFT 1996: 130-147 - Martin Westhead, Simin Nadjm-Tehrani:
Verification of Embedded Systems Using Synchronous Observers. FTRTFT 1996: 405-419 - Bengt Jonsson, Joachim Parrow:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1135, Springer 1996, ISBN 3-540-61648-9 [contents] - 1994
- Anish Arora:
Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs. FTRTFT 1994: 110-127 - Michael von der Beeck:
A Comparison of Statecharts Variants. FTRTFT 1994: 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. FTRTFT 1994: 149-169 - Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
Verification of an Audio Control Protocol. FTRTFT 1994: 170-192 - Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210 - Hanifa Boucheneb, Gérard Berthelot:
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT 1994: 211-227 - Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246 - Manfred Broy, Ketil Stølen:
Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT 1994: 247-267 - Limor Fix, Fred B. Schneider:
Hybrid Verification by Exploiting the Environment. FTRTFT 1994: 1-18
