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

9783642243097, 9783642243103

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Thin and Thick Timed Regular Languages

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

10.1007/978-3-642-24310-3_9 ◽

2011 ◽

pp. 113-128 ◽

Cited By ~ 12

Author(s):

Nicolas Basset ◽

Eugene Asarin

Keyword(s):

Regular Languages

Download Full-text

Statistical Model Checking for Networks of Priced Timed Automata

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

10.1007/978-3-642-24310-3_7 ◽

2011 ◽

pp. 80-96 ◽

Cited By ~ 71

Author(s):

Alexandre David ◽

Kim G. Larsen ◽

Axel Legay ◽

Marius Mikučionis ◽

Danny Bøgsted Poulsen ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Timed Automata ◽

Statistical Model Checking

Download Full-text

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface

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

10.1007/978-3-642-24310-3_23 ◽

2011 ◽

pp. 335-351 ◽

Cited By ~ 1

Author(s):

Suleiman Abu Kharmeh ◽

Kerstin Eder ◽

David May

Keyword(s):

Communication Interface

Download Full-text

Interfaces for Control Components

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

10.1007/978-3-642-24310-3_3 ◽

2011 ◽

pp. 25-25

Author(s):

Rajeev Alur

Download Full-text

Craig Interpolation in the Presence of Non-linear Constraints

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

10.1007/978-3-642-24310-3_17 ◽

2011 ◽

pp. 240-255 ◽

Cited By ~ 11

Author(s):

Stefan Kupferschmid ◽

Bernd Becker

Keyword(s):

Linear Constraints ◽

Craig Interpolation ◽

Non Linear

Download Full-text

Incremental Computation of Succinct Abstractions for Hybrid Systems

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

10.1007/978-3-642-24310-3_19 ◽

2011 ◽

pp. 271-285 ◽

Cited By ~ 4

Author(s):

Tomáš Dzetkulič ◽

Stefan Ratschan

Keyword(s):

Hybrid Systems ◽

Incremental Computation

Download Full-text

Performance Model Checking Scenario-Aware Dataflow

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

10.1007/978-3-642-24310-3_5 ◽

2011 ◽

pp. 43-59 ◽

Cited By ~ 8

Author(s):

Bart Theelen ◽

Marc Geilen ◽

Jeroen Voeten

Keyword(s):

Model Checking ◽

Performance Model

Download Full-text

Robust Specification of Real Time Components

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

10.1007/978-3-642-24310-3_10 ◽

2011 ◽

pp. 129-144 ◽

Cited By ~ 9

Author(s):

Kim G. Larsen ◽

Axel Legay ◽

Louis-Marie Traonouez ◽

Andrzej Wąsowski

Keyword(s):

Real Time

Download Full-text

Exact Incremental Analysis of Timed Automata with an SMT-Solver

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

10.1007/978-3-642-24310-3_13 ◽

2011 ◽

pp. 177-192 ◽

Cited By ~ 7

Author(s):

Bahareh Badban ◽

Martin Lange

Keyword(s):

Timed Automata ◽

Incremental Analysis ◽

Smt Solver

Download Full-text

On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections

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

10.1007/978-3-642-24310-3_16 ◽

2011 ◽

pp. 225-239 ◽

Cited By ~ 4

Author(s):

Dileep Raghunath Kini ◽

Shankara Narayanan Krishna ◽

Paritosh K. Pandya

Keyword(s):

Safety Signal

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

Thin and Thick Timed Regular Languages

Statistical Model Checking for Networks of Priced Timed Automata

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface

Interfaces for Control Components

Craig Interpolation in the Presence of Non-linear Constraints

Incremental Computation of Succinct Abstractions for Hybrid Systems

Performance Model Checking Scenario-Aware Dataflow

Robust Specification of Real Time Components

Exact Incremental Analysis of Timed Automata with an SMT-Solver

On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections

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