Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540309468, 9783540316169

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantifying Similarities Between Timed Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_18 ◽

2005 ◽

pp. 226-241 ◽

Cited By ~ 30

Author(s):

Thomas A. Henzinger ◽

Rupak Majumdar ◽

Vinayak S. Prabhu

Keyword(s):

Timed Systems

Download Full-text

Timing Analysis and Simulation Tools for Real-Time Control

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_12 ◽

2005 ◽

pp. 142-143 ◽

Cited By ~ 4

Author(s):

Karl-Erik Årzén

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Control ◽

Simulation Tools ◽

Time Control

Download Full-text

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_7 ◽

2005 ◽

pp. 81-94 ◽

Cited By ~ 10

Author(s):

Gerd Behrmann ◽

Kim G. Larsen ◽

Jacob Illum Rasmussen

Keyword(s):

Parameter Synthesis

Download Full-text

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_17 ◽

2005 ◽

pp. 211-225 ◽

Cited By ~ 34

Author(s):

Beatrice Bérard ◽

Franck Cassez ◽

Serge Haddad ◽

Didier Lime ◽

Olivier H. Roux

Keyword(s):

Petri Nets ◽

Timed Automata ◽

Time Petri Nets

Download Full-text

Verification of Parameterized Timed Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_8 ◽

2005 ◽

pp. 95-97

Author(s):

Parosh Aziz Abdulla

Keyword(s):

Timed Systems

Download Full-text

Is Timed Branching Bisimilarity an Equivalence Indeed?

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_20 ◽

2005 ◽

pp. 258-272 ◽

Cited By ~ 8

Author(s):

Wan Fokkink ◽

Jun Pang ◽

Anton Wijs

Download Full-text

Modular Performance Analysis of Distributed Embedded Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_1 ◽

2005 ◽

pp. 1-1 ◽

Cited By ~ 3

Author(s):

Lothar Thiele

Keyword(s):

Performance Analysis ◽

Embedded Systems ◽

Distributed Embedded Systems

Download Full-text

Timed Abstract Non-interference

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_22 ◽

2005 ◽

pp. 289-303 ◽

Cited By ~ 7

Author(s):

Roberto Giacobazzi ◽

Isabella Mastroeni

Download Full-text

Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_10 ◽

2005 ◽

pp. 112-126 ◽

Cited By ~ 18

Author(s):

Patricia Bouyer ◽

François Laroussinie ◽

Pierre-Alain Reynier

Keyword(s):

Timed Automata ◽

Timed Systems ◽

Forward Analysis

Download Full-text

Implementation of Timed Automata: An Issue of Semantics or Modeling?

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_21 ◽

2005 ◽

pp. 273-288 ◽

Cited By ~ 29

Author(s):

Karine Altisen ◽

Stavros Tripakis

Keyword(s):

Timed Automata

Download Full-text

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Quantifying Similarities Between Timed Systems

Timing Analysis and Simulation Tools for Real-Time Control

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

Verification of Parameterized Timed Systems

Is Timed Branching Bisimilarity an Equivalence Indeed?

Modular Performance Analysis of Distributed Embedded Systems

Timed Abstract Non-interference

Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems

Implementation of Timed Automata: An Issue of Semantics or Modeling?

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications