- 2004
- Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén:
Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT 2004: 343-362 - Mikhail Bernadsky, Raman Sharykin
, Rajeev Alur:
Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT 2004: 309-324 - Simona Bernardi, Susanna Donatelli, Giovanna Dondossola:
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51 - Thomas Brihaye, Véronique Bruyère, Jean-François Raskin:
Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT 2004: 277-292 - Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276 - Deepak D'Souza, Nicolas Tabareau:
On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT 2004: 68-83 - Samar Dajani-Brown, Darren D. Cofer, Amar Bouali:
Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20 - 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: 52-67 - Catalin Dima, Alain Girault, Yves Sorel:
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230 - Bruno Dutertre, Maria Sorea:
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT 2004: 199-214 - Paul Feautrier:
From Software to Hardware and Back. FORMATS/FTRTFT 2004: 1-2 - Harald Fecher:
The Influence of Durational Actions on Time Equivalences. FORMATS/FTRTFT 2004: 231-245 - Felix C. Gärtner, Arshad Jhumka:
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. FORMATS/FTRTFT 2004: 183-198 - Philippe Gerner, Thao Dang:
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT 2004: 325-342 - Olga Grinchtein, Bengt Jonsson, Martin Leucker:
Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396 - Dilsun Kirli Kaynar, Nancy A. Lynch:
Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT 2004: 84-101 - Chiheb Kossentini, Paul Caspi:
Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT 2004: 21-35 - Moez Krichen, Stavros Tripakis:
Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151 - Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang:
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308 - Oded Maler, Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166 - Nicolas Markey, Philippe Schnoebelen:
Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT 2004: 102-117 - Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon:
A Unified Fault-Tolerance Protocol. FORMATS/FTRTFT 2004: 167-182 - Peter Y. A. Ryan:
Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4 - Maria Sorea:
Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT 2004: 363-378 - Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133 - Fang Yu, Bow-Yaw Wang, Yao-Wen Huang:
Bounded Model Checking for Region Automata. FORMATS/FTRTFT 2004: 246-262 - Yassine Lakhnech, Sergio Yovine:
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. Lecture Notes in Computer Science 3253, Springer 2004, ISBN 3-540-23167-6 [contents] - 2002
- Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - Ahmed Bouajjani, Agathe Merceron:
Parametric Verification of a Group Membership Algorithm. FTRTFT 2002: 311-330 - Giorgio C. Buttazzo:
Real-Time Operating Systems: Problems and Novel Solutions. FTRTFT 2002: 37-52
