Journals

    Conferences

  1. Josafat Leal Filho, Pablo Machado Barros , Mateus Lucena, André Bulcã, Matheus Wagner , Alexandre Augusto Cardoso da Silva, Antônio Augusto Fröhlich, Ubiratan Jose Furtado, Seismic Data Compression with OBNZip: Implications for 4D Seismic Analysis, In: Proceedings of the 19th Congress of the Brazilian Geophysical Society (CISBGF 2025), pages 1-4, Rio de Janeiro, Brazil, November 2025. DOI: 10.22564/19cisbgf2025.505.
  2. Caciano Machado and Antônio Augusto Fröhlich, IoT Data Integrity Verification for Cyber-Physical Systems Using Blockchain, In: Proceedings of the International Symposium on RealTime Distributed Computing (ISORC), pages 83-91, Singapore, May 2018. DOI: 10.1109/ISORC.2018.00019.
  3. Alex de Magalhães Machado and Antônio Augusto Fröhlich, A Lua Virtual Machine for Resource-Constrained Embedded Systems, In: Proceedings of the IADIS International Conference Applied Computing 2010, pages 175-182, Timisoara, Romania, October 2010.

    4. Books

    Book Chapters

    Technical Reports

    Theses

  4. Alex de Magalhães Machado, Um Estudo sobre a Modelagem Quantitativa de Requisitos de Sistemas Embarcados Visando a Exploracao do Espaço de Projeto, Florianópolis: Federal University of Santa Catarina, 124 pages, 2012 (M.Sc. Thesis).

    5. 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.