Adaptação de um decodificador MPEG-2 a uma API DSP multiplataforma. - Mateus Krepsky Ludwich; Danillo Moura Santos; Antônio Augusto Fröhlich (WebMedia (Companion), 2008)

Interfacing Hardware Devices to Embedded Java. - Mateus Krepsky Ludwich; Antônio Augusto Fröhlich (SBESC, 2011)

System-Level Verification of Embedded Operating Systems Components. - Mateus Krepsky Ludwich; Antônio Augusto Fröhlich (SBESC, 2012)

On the formal verification of component-based embedded operating systems. - Mateus Krepsky Ludwich; Antônio Augusto Fröhlich (ACM SIGOPS Oper. Syst. Rev., 2013)

Proper handling of interrupts in cyber-physical systems. - Mateus Krepsky Ludwich; Antônio Augusto Fröhlich (RSP, 2015)

Virtualizing Mixed-Criticality Operating Systems. - Rodrigo Schmitt Meurer; Mateus Krepsky Ludwich; Antônio Augusto Fröhlich (SBESC, 2016)

On time-deterministic multicore virtualization techniques - Mateus Krepsky Ludwich (2018)