default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. FTRTFT 2000: Pune, India
- Mathai Joseph:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings. Lecture Notes in Computer Science 1926, Springer 2000, ISBN 3-540-41055-4
Invited Lectures
- Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin:
Stability of Discrete Sampled Systems. 1-11 - Yoram Moses:
Issues in the Refinement of Distributed Programs. 12-17 - Werner Damm:
Challenges in the Verification of Electronic Control Units. 18
Model Checking
- Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou:
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. 19-30 - Jeremy Sproston:
Decidable Model Checking of Probabilistic Hybrid Automata. 31-45
Fault Tolerance
- Kevin Lano, David Clark
, Kelly Androutsopoulos, Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems. 46-57 - Max Breitling:
Modeling Faults of Distributed, Reactive Systems. 58-69 - Paul Caspi, Rym Salem:
Threshold and Bounded-Delay Voting in Critical Control Systems. 70-81 - Sandeep S. Kulkarni, Anish Arora:
Automating the Addition of Fault-Tolerance. 82-93 - Hans Hansson, Christer Norström, Sasikumar Punnekkat:
Reliability Modelling of Time-Critical Distributed Systems. 94-105
Scheduling
- Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. 106-120 - K. Subramani, Ashok K. Agrawala:
A Dual Interpretation of "Standard Constraints" in Parametric Scheduling. 121-133
Validation
- Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg:
Co-simulation of Hybrid Systems: Signal-Simulink. 134-151 - A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar:
A System for Object Code Validation. 152-169
Refinement
- Ian J. Hayes:
Real-Time Program Refinement Using Auxiliary Variables. 170-184 - Ron van der Meyden, Yoram Moses:
On Refinement and Temporal Annotations. 185-201 - Ralph-Johan Back, Luigia Petre, Ivan Porres:
Generalizing Action Systems to Hybrid Systems. 202-213
Verification
- Leszek Holenderski:
Compositional Verification of Synchronous Networks. 214-227 - Simeon Veloudis, Nimal Nissanke:
Modelling Coordinated Atomic Actions in Timed CSP. 228-239
Logic and Automata
- Deepak D'Souza:
A Logical Characterisation of Event Recording Automata. 240-251 - Michaël Adélaïde, Olivier F. Roux:
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. 252-263 - Dimitar P. Guelev:
Probabilistic Neighbourhood Logic. 264-275 - Marc Geilen, Dennis Dams:
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. 276-290 - Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verifying Universal Properties of Parameterized Networks. 291-303
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.
last updated on 2025-12-19 01:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
