Journals

    Conferences

  1. 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.
  2. 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.

    3. Books

    Book Chapters

    Technical Reports

    Theses

  3. 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).

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