A strategy for mapping reconfigurable cores in NoCs. - Jonas Gomes Filho; Marius Strum; Wang Jiang Chau (LASCAS, 2013)

Exploring the problems of placement and mapping in NoC-based reconfizurable systems. - Jonas Gomes Filho; Jiang Chau Wang (ReConFig, 2013)

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)

Towards a model-based verification methodology for Complex Swarm Systems (Invited paper). - Jonas Gomes Filho; Nils Przigoda; Robert Wille; Rolf Drechsler (ISED, 2016)

Frame conditions in symbolic representations of UML/OCL models. - Nils Przigoda; Jonas Gomes Filho; Philipp Niemann 001; Robert Wille; Rolf Drechsler (MEMOCODE, 2016)

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 (ASP-DAC, 2017)

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. - Nils Przigoda; Philipp Niemann 001; Jonas Gomes Filho; Robert Wille; Rolf Drechsler (Comput. Lang. Syst. Struct., 2018)