15644 search results - page 19 / 3129 » Brittle System Analysis |
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
107
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
ESORICS
2012
Springer
13 years 5 days ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
141
click to vote
ICSE
2012
IEEE-ACM
13 years 5 days ago
2012
IEEE-ACM
Abstract—Software systems inherently contain vulnerabilities that have been exploited in the past resulting in significant revenue losses. The study of vulnerability life cycles...