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

9783642043673, 9783642043680

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

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

10.1007/978-3-642-04368-0_7 ◽

2009 ◽

pp. 58-72 ◽

Cited By ~ 5

Author(s):

Víctor Braberman ◽

Diego Garbervestky ◽

Nicolás Kicillof ◽

Daniel Monteverde ◽

Alfredo Olivero

Keyword(s):

Model Checking ◽

Component Analysis

Download Full-text

Stochastic Games for Verification of Probabilistic Timed Automata

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

10.1007/978-3-642-04368-0_17 ◽

2009 ◽

pp. 212-227 ◽

Cited By ~ 31

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Stochastic Games ◽

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Safe Runtime Verification of Real-Time Properties

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

10.1007/978-3-642-04368-0_10 ◽

2009 ◽

pp. 103-117 ◽

Cited By ~ 9

Author(s):

Christian Colombo ◽

Gordon J. Pace ◽

Gerardo Schneider

Keyword(s):

Real Time ◽

Runtime Verification

Download Full-text

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

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

10.1007/978-3-642-04368-0_20 ◽

2009 ◽

pp. 258-274 ◽

Cited By ~ 1

Author(s):

Shinya Umeno

Keyword(s):

Parameter Synthesis ◽

Event Order

Download Full-text

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

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

10.1007/978-3-642-04368-0_9 ◽

2009 ◽

pp. 88-102

Author(s):

Ashish Chiplunkar ◽

Shankara Narayanan Krishna ◽

Chinmay Jain

Keyword(s):

Model Checking ◽

Timed Automata

Download Full-text

Exploiting Timed Automata for Conformance Testing of Power Measurements

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

10.1007/978-3-642-04368-0_21 ◽

2009 ◽

pp. 275-290 ◽

Cited By ~ 8

Author(s):

Matthias Woehrle ◽

Kai Lampka ◽

Lothar Thiele

Keyword(s):

Timed Automata ◽

Conformance Testing ◽

Power Measurements

Download Full-text

Realizability of Real-Time Logics

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

10.1007/978-3-642-04368-0_12 ◽

2009 ◽

pp. 133-148 ◽

Cited By ~ 11

Author(s):

Laurent Doyen ◽

Gilles Geeraerts ◽

Jean-Francois Raskin ◽

Julien Reichert

Keyword(s):

Real Time

Download Full-text

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

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

10.1007/978-3-642-04368-0_6 ◽

2009 ◽

pp. 43-57 ◽

Cited By ~ 3

Author(s):

Anne Bouillard ◽

Stefan Haar ◽

Sidney Rosario

Keyword(s):

Partial Order ◽

Petri Net ◽

Stochastic Petri Net ◽

Critical Paths

Download Full-text

Compositional Abstraction for Stochastic Systems

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

10.1007/978-3-642-04368-0_16 ◽

2009 ◽

pp. 195-211 ◽

Cited By ~ 17

Author(s):

Joost-Pieter Katoen ◽

Daniel Klink ◽

Martin R. Neuhäußer

Keyword(s):

Stochastic Systems

Download Full-text

On the Supports of Recognizable Timed Series

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

10.1007/978-3-642-04368-0_19 ◽

2009 ◽

pp. 243-257

Author(s):

Karin Quaas

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

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

Stochastic Games for Verification of Probabilistic Timed Automata

Safe Runtime Verification of Real-Time Properties

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

Exploiting Timed Automata for Conformance Testing of Power Measurements

Realizability of Real-Time Logics

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

Compositional Abstraction for Stochastic Systems

On the Supports of Recognizable Timed Series

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