Óscar R. Ribeiro

According to our database, Óscar R. Ribeiro authored at least 7 papers between 2005 and 2025.

Collaborative distances:

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

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

Proceedings of the 13th International Symposium on Digital Forensics and Security, 2025

A Comparison of Supervised Learning Models on Distinct Datasets for Malware Detection.

Mariana Carvalho, Daniel Fernandes, Nuno Lopes, Óscar R. Ribeiro

Proceedings of the 13th International Symposium on Digital Forensics and Security, 2025

2010

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets.

José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison

Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010

2009

Validation of Scenario-Based Business Requirements with Coloured Petri Nets.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2007

Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Validation of Reactive Software from Scenario-Based Models.

Óscar R. Ribeiro, João M. Fernandes

Proceedings of the Quality of Information and Communications Technology, 2007

2005

Model Checking Embedded Systems with PROMELA.

Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005