170 search results - page 14 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
WCET
2010
14 years 7 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
110
click to vote
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
103
click to vote
HYBRID
1998
Springer
15 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....