7. FTRTFT 2002: Oldenburg, Germany

Werner Damm, Ernst-Rüdiger Olderog (Eds.): 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. Lecture Notes in Computer Science 2469 Springer 2002, ISBN 3-540-44165-4

Invited Tutorials

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. 3-22
John A. McDermid:
Software Hazard and Safety Analysis. 23-36

Invited Papers

Giorgio C. Buttazzo:
Real-Time Operating Systems: Problems and Novel Solutions. 37-52
Bruce Powel Douglass:
Real-Time UML. 53-70
Dexter Kozen, Matthew Stillerman:
Eager Class Initialization for Java. 71-80
Amir Pnueli:
Applications of Formal Methods in Biology. 81-82
John M. Rushby:
An Overview of Formal Verification for the Time-Triggered Architecture. 83-106
Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. 107-110

Synthesis and Scheduling

Arshad Jhumka, Martin Hiller, Neeraj Suri:
Component-Based Synthesis of Dependable Embedded Software. 111-128
Christophe Lohr, Jean-Pierre Courtiat:
From the Specification to the Scheduling of Time-Dependent Systems. 129-146
Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. 147-164

Timed Automata I

Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting. 165-184
Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo:
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. 185-204
Stavros Tripakis:
Fault Diagnosis for Timed Automata. 205-224

Bounded Model Checking

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain:
Verification of Timed Automata via Satisfiability Checking. 225-244
Martin Fränzle:
Take It NP-Easy: Bounded Model Construction for Duration Calculus. 245-264
Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny:
Towards Bounded Model Checking for the Universal Fragment of TCTL. 265-290

Verification and Conformance Testing

Jens Palsberg, Di Ma:
A Typed Interrupt Calculus. 291-310
Ahmed Bouajjani, Agathe Merceron:
Parametric Verification of a Group Membership Algorithm. 311-330
Ahmed Khoumsi:
A Method for Testing the Conformance of Real Time Systems. 331-354

UML Models and Model Checking

David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
A Probabilistic Extension of UML Statecharts. 355-374
Werner Damm, Bengt Jonsson:
Eliminating Queues from RT UML Model Representations. 375-394
Alexander Knapp, Stephan Merz, Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations. 395-416

Timed Automata II

Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata. 417-432
Henning Dierks, Marc Lettrari:
Constructing Test Automata from Graphical Real-Time Requirements. 433-454

Last update Thu May 23 16:50:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page