Journals
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
On the Formal Verification of Component-based Embedded Operating Systems,
In: Operating Systems Review, 47(1):28-34, 2013. DOI: 10.1145/2433140.2433148.
Conferences
- Rodrigo Schmitt Meurer, Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Virtualizing Mixed-Criticality Operating Systems,
In: Proceedings of the Brazilian Symposium on Computing Systems Engineering, pages 79-85, João Pessoa, Brazil, November 2016. DOI: 10.1109/SBESC.2016.020.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Proper Handling of Interrupts in Cyber-Physical Systems,
In: Proceedings of the 26th IEEE International Symposium on Rapid System Prototyping, pages 83-89, Amsterdam, The Netherlands, October 2015. DOI: 10.1109/RSP.2015.7416551.
- Mateus Krepsky Ludwich, João Gabriel Reis, Sérgio Aurélio Ferreira Soares, and Antônio Augusto Fröhlich,
Run-Time Support System for Models of Computation in Cyber-Physical Systems,
In: Proceedings of the First Workshop on Cyber-Physical System Architectures and Design Methodologies, pages 6, New Delhi, India, October 2014.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
System-Level Verification of Embedded Operating Systems Components,
In: Proceedings of the Brazilian Symposium on Computing Systems Engineering, Natal, Brazil, November 2012.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Abstracting hardware devices to embedded Java applications,
In: Proceedings of the IADIS Applied Computing 2011, pages 371-378, Rio de Janeiro, Brazil, November 2011.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Abstraindo dispositivos de hardware para aplicações Java embarcadas,
In: Proceedings of the Brazilian Symposium on Computing Systems Engineering, pages 176-181, Florianópolis, Brazil, November 2011.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Optimizing Motion Estimation for H.264 Encoding,
In: Proceedings of the XVII Brazilian Symposium on Multimedia and the Web, pages 198-204, Florianópolis, Brazil, October 2011.
- Mateus Krepsky Ludwich and Antônio Augusto Fröhlich,
Interfacing Operating Systems Components with Embedded Java Applications,
In: Proceedings of the International Information and Telecommunication Technologies Symposium, pages 203-206, Florianópolis, Brazil, December 2009.
- Mateus Krepsky Ludwich, Danillo Moura Santos and Antônio Augusto Fröhlich,
Adaptação de um Decodificador MPEG-2 a uma API DSP Multiplataforma,
In: Proceedings of the 14th Brazilian Symposium on Multimedia and the Web, pages 41-44, Vila Velha, Brazil, October 2008.
Books
Book Chapters
Technical Reports
Theses
- Mateus Krepsky Ludwich,
On Time-Deterministic Multicore Virtualization Techniques,
Florianópolis: Federal University of Santa Catarina, 205 pages, 2018 (Ph.D. Thesis).
- Mateus Krepsky Ludwich,
Método para Abstração de Componentes de Hardware para Sistemas Embarcados,
Florianópolis: Federal University of Santa Catarina, 131 pages, 2012 (M.Sc. Thesis).
- Mateus Krepsky Ludwich,
Adaptação de um Decodificador de Vídeo Digital a uma Interface de Processamento Digital de Sinais Multiplataforma,
Florianópolis: Federal University of Santa Catarina, 47 pages, 2007 (B.Sc. Thesis).
Manuals
Selected Presentations
Copyright Notice
It is understood that the following electronic versions of the papers are non-commercial distributions available to ensure the timely dissemination of their content. Copyrights for each published paper are held by the respective publishing organization.