3565 search results - page 30 / 713 » Modeling a system controller for timing analysis |
118
Voted
ECBS
2009
IEEE
15 years 9 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
141
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
86
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
69
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
