FTRTFT

Keyphrases

Publications

2002

Amir Pnueli
Applications of Formal Methods in Biology. FTRTFT (2002)
John M. Rushby
An Overview of Formal Verification for the Time-Triggered Architecture. FTRTFT (2002)
Christophe Lohr, Jean-Pierre Courtiat
From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT (2002)
Ahmed Bouajjani, Agathe Merceron
Parametric Verification of a Group Membership Algorithm. FTRTFT (2002)
Joseph Sifakis
Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT (2002)
Alexander Knapp, Stephan Merz, Christopher Rauh
Model Checking - Timed UML State Machines and Collaborations. FTRTFT (2002)
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
UPPAAL Implementation Secrets. FTRTFT (2002)
Martin Fränzle
Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT (2002)
Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT (2002)
Stavros Tripakis
Fault Diagnosis for Timed Automata. FTRTFT (2002)
Dexter Kozen, Matthew Stillerman
Eager Class Initialization for Java. FTRTFT (2002)
Bruce Powel Douglass
Real-Time UML. FTRTFT (2002)
David N. Jansen, Holger Hermanns, Joost-Pieter Katoen
A Probabilistic Extension of UML Statecharts. FTRTFT (2002)
Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT (2002)
Ahmed Khoumsi
A Method for Testing the Conformance of Real Time Systems. FTRTFT (2002)
Jens Palsberg, Di Ma
A Typed Interrupt Calculus. FTRTFT (2002)
Giorgio C. Buttazzo
Real-Time Operating Systems: Problems and Novel Solutions. FTRTFT (2002)
Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT (2002)
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT (2002)
Henning Dierks, Marc Lettrari
Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT (2002)
Oded Maler, Bruce H. Krogh, Moez Mahfoudh
On Control with Bounded Computational Resources. FTRTFT (2002)
Werner Damm, Bengt Jonsson
Eliminating Queues from RT UML Model Representations. FTRTFT (2002)
Arshad Jhumka, Martin Hiller, Neeraj Suri
Component-Based Synthesis of Dependable Embedded Software. FTRTFT (2002)
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
Verification of Timed Automata via Satisfiability Checking. FTRTFT (2002)
John Alexander McDermid
Software Hazard and Safety Analysis. FTRTFT (2002)

volume 2469, 2002

Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings FTRTFT 2469 (2002)

2000

volume 1926, 2000

Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings FTRTFT 1926 (2000)