- Werner Damm, Bengt Jonsson:
Eliminating Queues from RT UML Model Representations. FTRTFT 2002: 375-394 - Henning Dierks, Marc Lettrari:
Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454 - Bruce Powel Douglass:
Real-Time UML. FTRTFT 2002: 53-70 - Martin Fränzle
:
Take It NP-Easy: Bounded Model Construction for Duration Calculus. FTRTFT 2002: 245-264 - David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374 - Arshad Jhumka, Martin Hiller, Neeraj Suri:
Component-Based Synthesis of Dependable Embedded Software. FTRTFT 2002: 111-128 - Ahmed Khoumsi:
A Method for Testing the Conformance of Real Time Systems. FTRTFT 2002: 331-354 - Alexander Knapp, Stephan Merz, Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations. FTRTFT 2002: 395-416 - Dexter Kozen, Matthew Stillerman:
Eager Class Initialization for Java. FTRTFT 2002: 71-80 - Christophe Lohr, Jean-Pierre Courtiat:
From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146 - Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. FTRTFT 2002: 147-164 - John Alexander McDermid:
Software Hazard and Safety Analysis. FTRTFT 2002: 23-36 - Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain:
Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244 - Jens Palsberg, Di Ma:
A Typed Interrupt Calculus. FTRTFT 2002: 291-310 - Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny:
Towards Bounded Model Checking for the Universal Fragment of TCTL. FTRTFT 2002: 265-290 - Amir Pnueli:
Applications of Formal Methods in Biology. FTRTFT 2002: 81-82 - John M. Rushby:
An Overview of Formal Verification for the Time-Triggered Architecture. FTRTFT 2002: 83-106 - Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT 2002: 107-110 - Stavros Tripakis:
Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224 - 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: 185-204 - Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT 2002: 165-184 - Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432 - 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 [contents] - 2000
- Michaël Adélaïde, Olivier F. Roux:
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. FTRTFT 2000: 252-263 - Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120 - Ralph-Johan Back, Luigia Petre, Ivan Porres:
Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213 - Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verifying Universal Properties of Parameterized Networks. FTRTFT 2000: 291-303 - A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar:
A System for Object Code Validation. FTRTFT 2000: 152-169 - Max Breitling:
Modeling Faults of Distributed, Reactive Systems. FTRTFT 2000: 58-69 - Paul Caspi, Rym Salem:
Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT 2000: 70-81
