Jonas Gomes Filho

According to our database, Jonas Gomes Filho authored at least 7 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of <i>modifies only</i> statements.

Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler

Comput. Lang. Syst. Struct., 2018

2017

Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-IPs.

Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Frame conditions in symbolic representations of UML/OCL models.

Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Towards a model-based verification methodology for Complex Swarm Systems (Invited paper).

Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler

Proceedings of the Sixth International Symposium on Embedded Computing and System Design, 2016

2015

Using Genetic Algorithms for Hardware Core Placement and Mapping in NoC-Based Reconfigurable Systems.

Jonas Gomes Filho, Marius Strum, Jiang Chau Wang

Int. J. Reconfigurable Comput., 2015

2013

Exploring the problems of placement and mapping in NoC-based reconfizurable systems.

Jonas Gomes Filho, Jiang Chau Wang

Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2013

A strategy for mapping reconfigurable cores in NoCs.

Jonas Gomes Filho, Marius Strum, Wang Jiang Chau

Proceedings of the 4th IEEE Latin American Symposium on Circuits and Systems, 2013