Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540441656, 9783540457398

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial Order Path Technique for Checking Parallel Timed Automata

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_24 ◽

2007 ◽

pp. 417-432 ◽

Cited By ~ 6

Author(s):

Jianhua Zhao ◽

He Xu ◽

Xuandong Li ◽

1Tao Zheng ◽

Guoliang Zheng

Keyword(s):

Partial Order ◽

Timed Automata

Download Full-text

Verification of Timed Automata via Satisfiability Checking

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_15 ◽

2002 ◽

pp. 225-243 ◽

Cited By ~ 25

Author(s):

Peter Niebert ◽

Moez Mahfoudh ◽

Eugene Asarin ◽

Marius Bozga ◽

Oded Maler ◽

...

Keyword(s):

Timed Automata ◽

Satisfiability Checking

Download Full-text

Parametric Verification of a Group Membership Algorithm

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_19 ◽

2002 ◽

pp. 311-330 ◽

Cited By ~ 8

Author(s):

Ahmed Bouajjani ◽

Agathe Merceron

Keyword(s):

Group Membership

Download Full-text

Software Hazard and Safety Analysis

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_2 ◽

2002 ◽

pp. 23-34 ◽

Cited By ~ 14

Author(s):

John McDermid

Keyword(s):

Safety Analysis

Download Full-text

Real-Time Operating Systems: Problems and Novel Solutions

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_3 ◽

2002 ◽

pp. 37-51 ◽

Cited By ~ 3

Author(s):

Giorgio Buttazzo

Keyword(s):

Real Time ◽

Operating Systems

Download Full-text

Eliminating Queues from RT UML Model Representations

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_22 ◽

2002 ◽

pp. 375-393 ◽

Cited By ~ 6

Author(s):

Werner Damm ◽

Bengt Jonsson

Download Full-text

Take It NP-Easy: Bounded Model Construction for Duration Calculus

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_16 ◽

2002 ◽

pp. 245-264 ◽

Cited By ~ 8

Author(s):

Martin Fränzle

Keyword(s):

Model Construction ◽

Duration Calculus

Download Full-text

A Method for Testing the Conformance of Real Time Systems

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_20 ◽

2002 ◽

pp. 331-351 ◽

Cited By ~ 7

Author(s):

Ahmed Khoumsi

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Towards Bounded Model Checking for the Universal Fragment of TCTL

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_17 ◽

2002 ◽

pp. 265-288 ◽

Cited By ~ 16

Author(s):

Wojciech Penczek ◽

Bożena Woźna ◽

Andrzej Zbrzezny

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

A Probabilistic Extension of UML Statecharts

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45739-9_21 ◽

2002 ◽

pp. 355-374 ◽

Cited By ~ 19

Author(s):

David N. Jansen ◽

Holger Hermanns ◽

Joost-Pieter Katoen

Download Full-text

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Partial Order Path Technique for Checking Parallel Timed Automata

Verification of Timed Automata via Satisfiability Checking

Parametric Verification of a Group Membership Algorithm

Software Hazard and Safety Analysis

Real-Time Operating Systems: Problems and Novel Solutions

Eliminating Queues from RT UML Model Representations

Take It NP-Easy: Bounded Model Construction for Duration Calculus

A Method for Testing the Conformance of Real Time Systems

Towards Bounded Model Checking for the Universal Fragment of TCTL

A Probabilistic Extension of UML Statecharts

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications