Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540230687, 9783540300809

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decision Problems for Timed Automata: A Survey

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_1 ◽

2004 ◽

pp. 1-24 ◽

Cited By ~ 48

Author(s):

Rajeev Alur ◽

P. Madhusudan

Keyword(s):

Timed Automata ◽

Decision Problems

Download Full-text

Real Time and Stochastic Time

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_5 ◽

2004 ◽

pp. 132-180 ◽

Cited By ~ 1

Author(s):

Mario Bravetti

Keyword(s):

Real Time ◽

Stochastic Time

Download Full-text

Embedded Software Analysis with MOTOR

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_9 ◽

2004 ◽

pp. 268-293 ◽

Cited By ~ 3

Author(s):

Joost-Pieter Katoen ◽

Henrik Bohnenkamp ◽

Ric Klaren ◽

Holger Hermanns

Keyword(s):

Embedded Software ◽

Software Analysis

Download Full-text

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_3 ◽

2004 ◽

pp. 59-97 ◽

Cited By ~ 3

Author(s):

J. C. M. Baeten ◽

M. A. Reniers

Keyword(s):

Process Algebra ◽

Relative Timing

Download Full-text

Timed Petri Nets: Efficiency of Asynchronous Systems

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_2 ◽

2004 ◽

pp. 25-58 ◽

Cited By ~ 8

Author(s):

Elmar Bihler ◽

Walter Vogler

Keyword(s):

Petri Nets ◽

Asynchronous Systems ◽

Timed Petri Nets

Download Full-text

A Tutorial on Uppaal

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_7 ◽

2004 ◽

pp. 200-236 ◽

Cited By ~ 579

Author(s):

Gerd Behrmann ◽

Alexandre David ◽

Kim G. Larsen

Download Full-text

On the Semantic Foundations of Standard UML 2.0

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_6 ◽

2004 ◽

pp. 181-199 ◽

Cited By ~ 21

Author(s):

Bran V. Selic

Keyword(s):

Uml 2.0

Download Full-text

Expressiveness of Timed Events and Timed Languages

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_4 ◽

2004 ◽

pp. 98-131 ◽

Cited By ~ 1

Author(s):

Diletta R. Cacciagrano ◽

Flavio Corradini

Download Full-text

The IF Toolset

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems ◽

10.1007/978-3-540-30080-9_8 ◽

2004 ◽

pp. 237-267 ◽

Cited By ~ 60

Author(s):

Marius Bozga ◽

Susanne Graf ◽

Ileana Ober ◽

Iulian Ober ◽

Joseph Sifakis

Download Full-text

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Decision Problems for Timed Automata: A Survey

Real Time and Stochastic Time

Embedded Software Analysis with MOTOR

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)

Timed Petri Nets: Efficiency of Asynchronous Systems

A Tutorial on Uppaal

On the Semantic Foundations of Standard UML 2.0

Expressiveness of Timed Events and Timed Languages

The IF Toolset

Lecture Notes in Computer Science - Formal Methods for the Design of Real-Time Systems
Latest Publications