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