Get started
Author

Óscar R. Ribeiro

Observed names: O. Ribeiro, O.R. Ribeiro, Oscar R. Ribeiro, Oscar Ribeiro, Ribeiro, Óscar R., Óscar Ribeiro
ORCID: 0000-0002-7301-3211
Observed ORCID: 0000-0002-7301-3211
OpenAlex ID: A5103160402
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
2007 · Joao M. Fernandes, Simon Tjell, et al. · 74
Some rules to transform sequence diagrams into coloured Petri nets
2006 · Óscar Ribeiro, João M. Fernandes · 31
Model Checking Embedded Systems with PROMELA
2005 · O.R. Ribeiro, J.M. Fernandes, et al. · IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) · 25
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties
2007 · Oscar R. Ribeiro, Joao M. Fernandes · IEEE International Symposium on Industrial Embedded Systems (SIES) · 23
Evaluating Effectiveness and Security in Microservices Architecture
2024 · Michael Matias, Ernesto Ferreira, et al. · Procedia Computer Science · 20
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
2010 · José Luís Silva, Óscar R. Ribeiro, et al. · Lecture notes in computer science · 20
Progressive Web Apps Development: Study of Caching Mechanisms
2021 · Fernando Correia, Oscar Ribeiro, et al. · International Conference on Computational Science and Its Applications · 12
The impact of identifiable features in ML Classification algorithms with the HIKARI-2021 Dataset
2023 · Rui Fernandes, João Silva, et al. · International Symposium on Digital Forensics and Security (ISDFS) · 9
Evaluation of BPM tools open source/freeware
2018 · Marco Sousa, Nuno Lopes, et al. · Iberian Conference on Information Systems and Technologies (CISTI) · 8
PDF
An agile software product line model-driven design environment for video surveillance systems
2012 · N. Cardoso, P. Rodrigues, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 7
Avaliação de Ferramentas BPM: Uma Análise Comparativa de Soluções Comerciais
2019 · Instituto Politécnico do Cávado e Ave, Marco Sousa, et al. · RISTI - Revista Ibérica de Sistemas e Tecnologias de Informação · 5
PDF
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
2009 · Óscar R. Ribeiro, João M. Fernandes · International Conference on Software Engineering Advances · 3
Assessing Monolith and Microservices Architectures
2026 · Ricardo J.L. Azevedo, Óscar Ribeiro, et al. · Procedia Computer Science · 2
A Comparison of Supervised Learning Models on Distinct Datasets for Malware Detection
2025 · Mariana Carvalho, Daniel Fernandes, et al. · International Symposium on Digital Forensics and Security (ISDFS) · 2
Technical assistance to school network using BPM
2018 · Sónia Barreto, Joaquim Silva, et al. · Iberian Conference on Information Systems and Technologies (CISTI) · 2
PDF
Validation of Reactive Software from Scenario-Based Models
2007 · Oscar R. Ribeiro, Joao M. Fernandes · International Conference on the Quality of Information and Communications Technology (QUATIC) · 2
PDF
Readiness with Intelligence and Hospital Incident Management Systems
2026 · Paulo Barreiro, Vicent Romo-Perez, et al. · Procedia Computer Science · 1
Design and Implementation of a RAG-Enhanced LLM Chatbot for Penetration Testing Tasks
2026 · Oumaima Ben Fadhel, Rui Fernandes, et al. · Procedia Computer Science · 1
Effective Interoperability in Incidents and Chaotic Scenarios
2025 · Pedro Sousa, Paulo Barreiro, et al. · Procedia Computer Science · 1
Animation-based validation of reactive software systems using behavioural models
2009 · Óscar Ribeiro · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 1
Validation of Reactive Software from Scenario-Based Models
2007 · Oscar R. Ribeiro, Joao M. Fernandes · International Conference on the Quality of Information and Communications Technology (QUATIC) · 1
RAG-Augmented LLMs for Penetration Testing: A benchmarking study of open-source LLM models
2026 · Oumaima Ben Fadhel, Rui Fernandes, et al. · Intelligent Systems with Applications
Comparative Study of Symbolic Execution Tools Applied to Vulnerability Detection
2026 · André Cardoso, Óscar Ribeiro, et al. · International Symposium on Digital Forensics and Security (ISDFS)
Evaluating Spam Detection Techniques: A Comparison of TF-IDF and Sentence Embeddings with Machine Learning Models
2025 · Bruno Silva, Patricia Leite, et al. · International Symposium on Digital Forensics and Security (ISDFS)
Blockchain - Decentralized Bookmaker
2024 · Pedro Cerqueira, Oscar Ribeiro, et al. · Procedia Computer Science
Works count: 28
Citation count: 250
H-index: 8
I10-index: 7
Year
Topic
Type