Model Checking Embedded Systems with PROMELA. - Óscar R. Ribeiro; João M. Fernandes 001; Luís F. Pinto (ECBS, 2005)

Validation of Reactive Software from Scenario-Based Models. - Óscar R. Ribeiro; João M. Fernandes 001 (QUATIC, 2007)

Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. - Óscar R. Ribeiro; João M. Fernandes 001 (SIES, 2007)

Validation of Scenario-Based Business Requirements with Coloured Petri Nets. - Óscar R. Ribeiro; João M. Fernandes 001 (ICSEA, 2009)

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. - José Luís Silva 001; Óscar R. Ribeiro; João M. Fernandes 001; José Creissac Campos; Michael D. Harrison (HCSE, 2010)

A Comparison of Supervised Learning Models on Distinct Datasets for Malware Detection. - Mariana Carvalho; Daniel Fernandes; Nuno Lopes; Óscar R. Ribeiro (ISDFS, 2025)

Evaluating Spam Detection Techniques: A Comparison of TF-IDF and Sentence Embeddings with Machine Learning Models. - Bruno Silva; Patrícia Leite; Óscar R. Ribeiro (ISDFS, 2025)