FORMATS/FTRTFT

Keyphrases

Publications

2004

Olga Grinchtein, Bengt Jonsson, Martin Leucker
Learning of Event-Recording Automata. FORMATS/FTRTFT (2004)
Felix C. Gärtner, Arshad Jhumka
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. FORMATS/FTRTFT (2004)
Oded Maler, Dejan Nickovic
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT (2004)
Catalin Dima, Alain Girault, Yves Sorel
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT (2004)
Moez Krichen, Stavros Tripakis
Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT (2004)
Thomas Brihaye, Véronique Bruyère, Jean-François Raskin
Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT (2004)
Philippe Gerner, Thao Dang
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT (2004)
Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon
A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT (2004)
Peter Y. A. Ryan
Of Elections and Electrons. FORMATS/FTRTFT (2004)
Samar Dajani-Brown, Darren D. Cofer, Amar Bouali
Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT (2004)
Maria Sorea
Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT (2004)
Deepak D'Souza, Nicolas Tabareau
On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT (2004)
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
Robustness and Implementability of Timed Automata. FORMATS/FTRTFT (2004)
Mikhail Bernadsky, Raman Sharykin, Rajeev Alur
Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT (2004)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT (2004)
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT (2004)
Paul Feautrier
From Software to Hardware and Back. FORMATS/FTRTFT (2004)
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT (2004)
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
Bounded Model Checking for Region Automata. FORMATS/FTRTFT (2004)
Chiheb Kossentini, Paul Caspi
Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT (2004)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT (2004)
Dilsun Kirli Kaynar, Nancy A. Lynch
Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT (2004)
Harald Fecher
The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT (2004)
Bruno Dutertre, Maria Sorea
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT (2004)
Nicolas Markey, Philippe Schnoebelen
Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT (2004)

volume 3253, 2004

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings FORMATS/FTRTFT 3253 (2004)