3 citations · 10 across the 8 of their papers we have counts for
10 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…
Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers
Mohammad Hossein Basiri, Benyamin Ghojogh, Nasser L. Azad +3
Vehicle platooning has been shown to be quite fruitful in the transportation industry to enhance fuel economy, road throughput, and driving comfort. Model Predictive Control (MPC)…
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…
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study
Pansy Arafa, Daniel Solomon, Samaneh Navabpour +1
Many researchers have studied the behaviour of successful developers while debugging desktop software. In this paper, we investigate the embedded-software debugging by intermediate…
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…
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour +1
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online monitoring of complex systems. The specification langua…
Power Redistribution for Optimizing Performance in MPI Clusters
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power efficiency has recently become a major concern in the high-performance computing domain. HPC centers are provisioned by a power bound which impacts execution time. Naturally,…