Ivan Gomes

According to our database, Ivan Gomes authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

2023

Word embeddings for protein sequence analysis.

Ana Marta Sequeira, Ivan Gomes, Miguel Rocha

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2023

2022

CompartOS: CHERI Compartmentalization for Embedded Systems.

Hesham Almatary, Michael Dodson, Jessica Clarke, Peter Rugg, Ivan Gomes, Michal Podhradsky, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson

CoRR, 2022

2020

Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Assisted authoring of model-based systems engineering documents.

Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020