3688 search results - page 190 / 738 » Static analysis of aspects |
154
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
183
click to vote
ECRTS
2006
IEEE
16 years 19 days ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
144
click to vote
FDL
2005
IEEE
16 years 5 days ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
188
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
196
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...