1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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).
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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).

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.