Control Flow Analysis for Embedded Multi-core Hybrid Systems. - Augusto W. Hoppe; Fernanda Lima Kastensmidt; Jürgen Becker 001 (ARC, 2018)

Fine Grained Control Flow Checking with Dedicated FPGA Monitors. - Augusto W. Hoppe; Jürgen Becker 001; Fernanda Lima Kastensmidt (SoCC, 2020)

Virtual Verification of E/E Architectures for Secure Automated Driving Functions. - Kevin Neubauer; Marcel Rumez; Huiying Tremmel; Augusto W. Hoppe; Reiner Kriesten; Philipp Nenninger; Eric Sax; Jürgen Becker 001 (ISSE, 2021)

High-speed Hardware Accelerator for Trace Decoding in Real-Time Program Monitoring. - Augusto W. Hoppe; Jürgen Becker 001; Fernanda Lima Kastensmidt (LASCAS, 2021)

Real-Time Trace Decoding and Monitoring for Safety and Security in Embedded Systems. - Augusto W. Hoppe (2022)