|
|
Conferences in DBLP
- Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
Stability of Discrete Sampled Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:1-11 [Conf]
- Yoram Moses
Issues in the Refinement of Distributed Programs. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:12-17 [Conf]
- Werner Damm
Challenges in the Verification of Electronic Control Units. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:18- [Conf]
- Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:19-30 [Conf]
- Jeremy Sproston
Decidable Model Checking of Probabilistic Hybrid Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:31-45 [Conf]
- Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
Invariant-Based Synthesis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:46-57 [Conf]
- Max Breitling
Modeling Faults of Distributed, Reactive Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:58-69 [Conf]
- Paul Caspi, Rym Salem
Threshold and Bounded-Delay Voting in Critical Control Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:70-81 [Conf]
- Sandeep S. Kulkarni, Anish Arora
Automating the Addition of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:82-93 [Conf]
- Hans Hansson, Christer Norström, Sasikumar Punnekkat
Reliability Modelling of Time-Critical Distributed Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:94-105 [Conf]
- Karine Altisen, Gregor Gößler, Joseph Sifakis
A Methodology for the Construction of Scheduled Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:106-120 [Conf]
- K. Subramani, Ashok K. Agrawala
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:121-133 [Conf]
- Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg
Co-simulation of Hybrid Systems: Signal-Simulink. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:134-151 [Conf]
- A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar
A System for Object Code Validation. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:152-169 [Conf]
- Ian J. Hayes
Real-Time Program Refinement Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:170-184 [Conf]
- Ron van der Meyden, Yoram Moses
On Refinement and Temporal Annotations. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:185-201 [Conf]
- Ralph-Johan Back, Luigia Petre, Ivan Porres
Generalizing Action Systems to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:202-213 [Conf]
- Leszek Holenderski
Compositional Verification of Synchronous Networks. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:214-227 [Conf]
- Simeon Veloudis, Nimal Nissanke
Modelling Coordinated Atomic Actions in Timed CSP. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:228-239 [Conf]
- Deepak D'Souza
A Logical Characterisation of Event Recording Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:240-251 [Conf]
- Michaël Adélaïde, Olivier Roux
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:252-263 [Conf]
- Dimitar P. Guelev
Probabilistic Neighbourhood Logic. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:264-275 [Conf]
- Marc Geilen, Dennis Dams
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:276-290 [Conf]
- Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verifying Universal Properties of Parameterized Networks. [Citation Graph (0, 0)][DBLP]
FTRTFT, 2000, pp:291-303 [Conf]
|
