7 citations · 7 across the 2 of their papers we have counts for
3 papers
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar +4
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems,…
Using DSP Slices as Content-Addressable Update Queues
Thomas B. Preußer, Monica Chiosa, Alexander Weiss +1
Content-Addressable Memory (CAM) is a powerful abstraction for building memory caches, routing tables and hazard detection logic. Without a native CAM structure available on FPGA d…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…