A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

2018 - Tomás Grimm, Michael Hübner, Djones Lettnin

Electronics, MDPI, Special Issue Hardware and Architecture [Website]

Survey on Real-Time Network-on-Chip Architecture

2015 - Salma Hesham, Jens Rettkowski, Diana Göhringer, Mohamed A. Abd El Ghany

In Proc. of the 11th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), Bochum, Germany, April 2015.