Francisco Assis M. do Nascimento

Fabiano Hessel

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

A Decentralized Federated Learning Architecture for Intrusion Detection in IoT Systems.

[BibT_eX]

[DOI]

Antonio Augusto da Fontoura

Fabiano Hessel

Proceedings of the Advanced Information Networking and Applications, 2022

2020

Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis.

[BibT_eX]

[DOI]

Edison Pignaton de Freitas

Simin Nadjm-Tehrani

IEEE Trans. Aerosp. Electron. Syst., 2020

2012

A model-driven engineering framework for embedded systems design.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2012

2010

Design space abstraction and metamodeling for embedded systems design space exploration.

[BibT_eX]

[DOI]

Wolfgang Müller

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

2009

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems.

[BibT_eX]

[DOI]

Ronaldo Rodrigues Ferreira

Franz J. Rammig

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.

[BibT_eX]

[DOI]

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

Formal Verification for Embedded Systems Design Based on MDE.

[BibT_eX]

[DOI]

Proceedings of the Analysis, 2009

GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration.

[BibT_eX]

[DOI]

Fernando Lehnen

Morecy V. Moré

Salomão A. Leizer

Proceedings of the ICEGOV 2009, 2009

2007

HEI - A High Education Institutions Oriented Content Management System - Making Easy the Web Content Publishing for High Education Institutions.

[BibT_eX]

Roger Wagner

Proceedings of the WEBIST 2007, 2007

VCS: An Open Source Web-based Vaccination Management Information System.

[BibT_eX]

Carlos Theobaldo Renck

Leandro Sorgetz

Proceedings of the WEBIST 2007, 2007

Model driven engineering for MPSOC design space exploration.

[BibT_eX]

[DOI]

Eduardo Wenzel Brião

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

ModES: Embedded Systems Design Methodology and Tools Based on MDE.

[BibT_eX]

[DOI]

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

2006

MDA-based approach for embedded software generation from a UML/MOF repository.

[BibT_eX]

[DOI]

Marco A. Wehrmeister

Carlos Eduardo Pereira

Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, 2006

2001

A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems.

[BibT_eX]

[DOI]

Wolfgang Rosenstiel

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

1998

A Co-Synthesis Approach based on Symbolic Reachability Analysis.

[BibT_eX]

[DOI]

Edelweis Helena Ache Garcez

Wolfgang Rosenstiel

Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

A Model Checker for a Partial Order based Model of Concurrency.

[BibT_eX]