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

9783540754534, 9783540754541

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic Simulation-Checking of Dense-Time Automata

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

10.1007/978-3-540-75454-1_25 ◽

2007 ◽

pp. 352-368 ◽

Cited By ~ 3

Author(s):

Farn Wang

Keyword(s):

Symbolic Simulation

Download Full-text

Dynamical Properties of Timed Automata Revisited

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

10.1007/978-3-540-75454-1_11 ◽

2007 ◽

pp. 130-146 ◽

Cited By ~ 9

Author(s):

Cătălin Dima

Keyword(s):

Timed Automata ◽

Dynamical Properties

Download Full-text

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters

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

10.1007/978-3-540-75454-1_19 ◽

2007 ◽

pp. 257-273 ◽

Cited By ~ 7

Author(s):

Minyoung Kim ◽

Mark-Oliver Stehr ◽

Carolyn Talcott ◽

Nikil Dutt ◽

Nalini Venkatasubramanian

Keyword(s):

Formal Verification ◽

System Parameters

Download Full-text

Efficient Detection of Zeno Runs in Timed Automata

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

10.1007/978-3-540-75454-1_15 ◽

2007 ◽

pp. 195-210 ◽

Cited By ~ 13

Author(s):

Rodolfo Gómez ◽

Howard Bowman

Keyword(s):

Timed Automata ◽

Efficient Detection

Download Full-text

Hypervolume Approximation in Timed Automata Model Checking

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

10.1007/978-3-540-75454-1_7 ◽

2007 ◽

pp. 69-81

Author(s):

Víctor Braberman ◽

Jorge Lucángeli Obes ◽

Alfredo Olivero ◽

Fernando Schapachnik

Keyword(s):

Model Checking ◽

Timed Automata

Download Full-text

Robust Sampling for MITL Specifications

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

10.1007/978-3-540-75454-1_12 ◽

2007 ◽

pp. 147-162 ◽

Cited By ~ 17

Author(s):

Georgios E. Fainekos ◽

George J. Pappas

Download Full-text

Counter-Free Input-Determined Timed Automata

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

10.1007/978-3-540-75454-1_8 ◽

2007 ◽

pp. 82-97

Author(s):

Fabrice Chevalier ◽

Deepak D’Souza ◽

Pavithra Prabhakar

Keyword(s):

Timed Automata

Download Full-text

From Analysis to Design

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

10.1007/978-3-540-75454-1_2 ◽

2007 ◽

pp. 4-4 ◽

Cited By ~ 1

Author(s):

Bruce H. Krogh

Download Full-text

Costs Are Expensive!

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

10.1007/978-3-540-75454-1_6 ◽

2007 ◽

pp. 53-68 ◽

Cited By ~ 4

Author(s):

Patricia Bouyer ◽

Nicolas Markey

Download Full-text

Towards Budgeting in Real-Time Calculus: Deferrable Servers

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

10.1007/978-3-540-75454-1_9 ◽

2007 ◽

pp. 98-113 ◽

Cited By ~ 6

Author(s):

Pieter J. L. Cuijpers ◽

Reinder J. Bril

Keyword(s):

Real Time

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

Symbolic Simulation-Checking of Dense-Time Automata

Dynamical Properties of Timed Automata Revisited

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters

Efficient Detection of Zeno Runs in Timed Automata

Hypervolume Approximation in Timed Automata Model Checking

Robust Sampling for MITL Specifications

Counter-Free Input-Determined Timed Automata

From Analysis to Design

Costs Are Expensive!

Towards Budgeting in Real-Time Calculus: Deferrable Servers

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