Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540231677, 9783540302063

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_6 ◽

2004 ◽

pp. 52-67 ◽

Cited By ~ 1

Author(s):

Jennifer M. Davoren ◽

Thomas Moor ◽

R. P. Goré ◽

Vaughan Coulthard ◽

Anil Nerode

Keyword(s):

Model Checking ◽

Problem Formulation ◽

Approximate Model

Download Full-text

Lazy Approximation for Dense Real-Time Systems

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_25 ◽

2004 ◽

pp. 363-378 ◽

Cited By ~ 15

Author(s):

Maria Sorea

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Forward Reachability Analysis of Timed Petri Nets

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_24 ◽

2004 ◽

pp. 343-362 ◽

Cited By ~ 10

Author(s):

Parosh Aziz Abdulla ◽

Johann Deneux ◽

Pritha Mahata ◽

Aletta Nylén

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Timed Petri Nets

Download Full-text

Static Fault-Tolerant Real-Time Scheduling with “Pseudo-topological” Orders

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_16 ◽

2004 ◽

pp. 215-230 ◽

Cited By ~ 1

Author(s):

Cătălin Dima ◽

Alain Girault ◽

Yves Sorel

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Real Time Scheduling ◽

Time Scheduling

Download Full-text

Learning of Event-Recording Automata

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_26 ◽

2004 ◽

pp. 379-395 ◽

Cited By ~ 14

Author(s):

Olga Grinchtein ◽

Bengt Jonsson ◽

Martin Leucker

Keyword(s):

Event Recording

Download Full-text

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_23 ◽

2004 ◽

pp. 325-342 ◽

Cited By ~ 1

Author(s):

Philippe Gerner ◽

Thao Dang

Keyword(s):

Real Time

Download Full-text

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_5 ◽

2004 ◽

pp. 36-51 ◽

Cited By ~ 10

Author(s):

Simona Bernardi ◽

Susanna Donatelli ◽

Giovanna Dondossola

Keyword(s):

Methodological Approach ◽

Automation Systems

Download Full-text

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_14 ◽

2004 ◽

pp. 183-198 ◽

Cited By ~ 6

Author(s):

Felix C. Gärtner ◽

Arshad Jhumka

Keyword(s):

Fault Tolerance ◽

Fail Safe

Download Full-text

Decomposing Verification of Timed I/O Automata

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_8 ◽

2004 ◽

pp. 84-101 ◽

Cited By ~ 2

Author(s):

Dilsun Kırlı Kaynar ◽

Nancy Lynch

Download Full-text

Of Elections and Electrons

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_2 ◽

2004 ◽

pp. 3-4

Author(s):

Peter Y. Ryan

Download Full-text

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies

Lazy Approximation for Dense Real-Time Systems

Forward Reachability Analysis of Timed Petri Nets

Static Fault-Tolerant Real-Time Scheduling with “Pseudo-topological” Orders

Learning of Event-Recording Automata

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

Decomposing Verification of Timed I/O Automata

Of Elections and Electrons

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science
Latest Publications