Mateus Krepsky Ludwich

According to our database, Mateus Krepsky Ludwich authored at least 6 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Virtualizing Mixed-Criticality Operating Systems.

Rodrigo Schmitt Meurer, Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

2015

Proper handling of interrupts in cyber-physical systems.

Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

2013

On the formal verification of component-based embedded operating systems.

Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

ACM SIGOPS Oper. Syst. Rev., 2013

2012

System-Level Verification of Embedded Operating Systems Components.

Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

2011

Interfacing Hardware Devices to Embedded Java.

Mateus Krepsky Ludwich, Antônio Augusto Fröhlich

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

2008

Adaptação de um decodificador MPEG-2 a uma API DSP multiplataforma.

Mateus Krepsky Ludwich, Danillo Moura Santos, Antônio Augusto Fröhlich

Proceedings of the Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web, 2008