2 citations · 5 across the 4 of their papers we have counts for
6 papers
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Control flow coverage criteria are an important part of the process of qualifying embedded software for safety-critical systems. Criteria such as modified condition/decision covera…
A generalizable saliency map-based interpretation of model outcome
Shailja Thakur, Sebastian Fischmeister
One of the significant challenges of deep neural networks is that the complex nature of the network prevents human comprehension of the outcome of the network. Consequently, the ap…
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
The lack of any sender authentication mechanism in place makes CAN (Controller Area Network) vulnerable to security threats. For instance, an attacker can impersonate an ECU (Elect…
Deep Learning for System Trace Restoration
Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau +1
Most real-world datasets, and particularly those collected from physical systems, are full of noise, packet loss, and other imperfections. However, most specification mining, anoma…
Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation
Pansy Arafa, Hany Kashif, Sebastian Fischmeister
Software tracing techniques are well-established and used by instrumentation tools to extract run-time information for program analysis and debugging. Dynamic binary instrumentatio…
DAG-width of Control Flow Graphs with Applications to Model Checking
Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to conside…