|
Conferences in DBLP
- Flaviu Cristian
On the Semantics of Group Communication. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:1-21 [Conf]
- Natarajan Shankar
Unifying Verification Paradigms. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:22-39 [Conf]
- Gerard J. Holzmann
Formal Methods for Early Fault Detection. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:40-54 [Conf]
- Andrea Maggiolo-Schettini, Adriano Peron
Retiming Techniques for Statecharts. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:55-71 [Conf]
- Florence Maraninchi, Nicolas Halbwachs
Compiling ARGOS into Boolean Equations. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:72-89 [Conf]
- Stephen Paynter
Real-Time Mode-Machines. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:90-109 [Conf]
- Pedro R. D'Argenio, Ed Brinksma
A Calculus for Timed Automata. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:110-129 [Conf]
- Jan Springintveld, Frits W. Vaandrager
Minimizable Timed Automata. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:130-147 [Conf]
- Paritosh K. Pandya
Weak Chop Inverses and Liveness in Mean-Value Calculus. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:148-167 [Conf]
- Martin Fränzle
Synthesizing Controllers from Duration Calculus. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:168-187 [Conf]
- Dang Van Hung, Phan Hong Giang
Sampling Semantics of Duration Calculus. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:188-207 [Conf]
- Henning Dierks
The Production Cell: A Verified Real-Time System. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:208-227 [Conf]
- Konsta Karsisto, Antti Valmari
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:228-245 [Conf]
- Annie Choquet, Dominique Geniet, Francis Cottet
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:246-262 [Conf]
- Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini
Scheduling Data Flow Programs in Hard Real-Time Environments. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:263-278 [Conf]
- Tomasz Janowski, Mathai Joseph
Dynamic Scheduling in the Presence of Faults: Specification and Verification. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:279-297 [Conf]
- Aohan Mei, Yoshihide Igarashi, Naoki Shimizu
Efficient Broadcasting on Faulty Star Networks. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:298-305 [Conf]
- Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
Model-Checking for Extended Timed Temporal Logics. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:306-326 [Conf]
- Florence Pagani
Partial Orders and Verification of Real-Time systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:327-346 [Conf]
- Roberto M. Amadio, Mads Dam
Toward a Modal Theory of Types for the pi-Calculus. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:347-365 [Conf]
- Cheryl Dietz
Graphical Formalization of Real-Time Requirements. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:366-384 [Conf]
- Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
On Specifying Real-Time Systems in a Causality-Based Setting. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:385-404 [Conf]
- Martin Westhead, Simin Nadjm-Tehrani
Verification of Embedded Systems Using Synchronous Observers. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:405-419 [Conf]
- Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
Compositionality in Real-Time Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:420-439 [Conf]
- Simon Fowler, Andy J. Wellings
Formal Analysis of a Real-Time Kernel Specification. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:440-458 [Conf]
- Morten Biehl, Nils Klarlund, Theis Rauhe
Mona: Decidable Arithmetic in Practice. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:459-462 [Conf]
- Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma
Verifying Synchronous Reactive Systems Programmed in ESTEREL. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:463-466 [Conf]
- Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
AutoFocus: A Tool for Distributed Systems Specification. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:467-470 [Conf]
- Rajesh K. Bawa, Emmanuelle Encrenaz
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:471-474 [Conf]
- Mario Marrero, Álvaro Suárez
EVGC: A Tool for Visualizing LOTOS Behavioural Specifications. [Citation Graph (0, 0)][DBLP] FTRTFT, 1996, pp:475-478 [Conf]
|