HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dr. Jonas Gomes Filho


Ich habe meinen Master- und Doktor-Abschluss von der Universität Sao Paulo in Brasilien erhalten, wo ich an Themen wie konfigurierbare Schaltungen, Networks in Chip (NoC) und KI-Algorithmen gearbeitet habe. Derzeit arbeite ich an der Entwicklung von komplexen Schwarmalgorithmen. Dabei handelt es sich um ein neues Systemparadigma, welches durch eine große Anzahl von heterogeneren Komponenten charakterisiert ist, die sich dynamisch in ihrer Struktur ändern können und dadurch neue Möglichkeiten für verschiedene Anwendungen bieten.

WiMi

Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
Autor: Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Zeitschrift: Computer Languages, Systems & Structures
Details: DOI: 10.1016/j.cl.2017.11.002, Volume 54, Pages 512-527 (2018)

Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs
Autor: Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler
Konferenz: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)
Pdf | Referenz: Chiba/Tokyo, Japan, 2017

Frame Conditions in Symbolic Representations of UML/OCL Models
Autor: Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Pdf | Referenz: pp. 65-70, Indian Institute of Technology, Kanpur, India, 2016

Towards a Model-Based Verification Methodology for Complex Swarm Systems
Autor: Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler
Konferenz: International Symposium on Electronic System Design (ISED)
Referenz: Patna, Indien, 2016

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz