![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
7. FTRTFT 2002: Oldenburg, Germany
- Werner Damm, Ernst-Rüdiger Olderog:
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 Alexander 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é Juan 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.