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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

8
(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

2009 ◽  
pp. 58-72 ◽  
Author(s):  
Víctor Braberman ◽  
Diego Garbervestky ◽  
Nicolás Kicillof ◽  
Daniel Monteverde ◽  
Alfredo Olivero
Keyword(s):  
Model Checking ◽  
Component Analysis

scholarly journals Stochastic Games for Verification of Probabilistic Timed Automata

2009 ◽  
pp. 212-227 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
David Parker
Keyword(s):  
Stochastic Games ◽  
Timed Automata ◽  
Probabilistic Timed Automata

scholarly journals Safe Runtime Verification of Real-Time Properties

2009 ◽  
pp. 103-117 ◽  
Author(s):  
Christian Colombo ◽  
Gordon J. Pace ◽  
Gerardo Schneider
Keyword(s):  
Real Time ◽  
Runtime Verification

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

2009 ◽  
pp. 88-102
Author(s):  
Ashish Chiplunkar ◽  
Shankara Narayanan Krishna ◽  
Chinmay Jain
Keyword(s):  
Model Checking ◽  
Timed Automata

Exploiting Timed Automata for Conformance Testing of Power Measurements

2009 ◽  
pp. 275-290 ◽  
Author(s):  
Matthias Woehrle ◽  
Kai Lampka ◽  
Lothar Thiele
Keyword(s):  
Timed Automata ◽  
Conformance Testing ◽  
Power Measurements

Realizability of Real-Time Logics

2009 ◽  
pp. 133-148 ◽  
Author(s):  
Laurent Doyen ◽  
Gilles Geeraerts ◽  
Jean-Francois Raskin ◽  
Julien Reichert
Keyword(s):  
Real Time

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

2009 ◽  
pp. 43-57 ◽  
Author(s):  
Anne Bouillard ◽  
Stefan Haar ◽  
Sidney Rosario
Keyword(s):  
Partial Order ◽  
Petri Net ◽  
Stochastic Petri Net ◽  
Critical Paths

scholarly journals Compositional Abstraction for Stochastic Systems

2009 ◽  
pp. 195-211 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Daniel Klink ◽  
Martin R. Neuhäußer
Keyword(s):  
Stochastic Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document