Sciweavers

82 search results - page 2 / 17
» Soft-Error Detection Using Control Flow Assertions
Sort
View
DSN
2000
IEEE
13 years 9 months ago
Executable Assertions for Detecting Data Errors in Embedded Control Systems
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an erro...
Martin Hiller
RSP
2005
IEEE
13 years 11 months ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
IMSCCS
2007
IEEE
13 years 11 months ago
Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature
In radiation environments, alpha particles, cosmic rays and solar wind flux can cause a single event upset (SEU), which is one of the major sources of bit-flips in digital electro...
Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni
DIMVA
2006
13 years 6 months ago
Detecting Self-mutating Malware Using Control-Flow Graph Matching
Next generation malware will by be characterized by the intense use of polymorphic and metamorphic techniques aimed at circumventing the current malware detectors, based on pattern...
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
BPSC
2009
190views Business» more  BPSC 2009»
13 years 6 months ago
Detective Information Flow Analysis for Business Processes
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
Rafael Accorsi, Claus Wonnemann