Concepedia

Óscar R. Ribeiro

ÓR

Statistics

Publications

4

Citations

151

H-Index

4

Active since

2005

Affiliations

University of Minho(Current)

Óscar R. Ribeiro is an author at University of Minho specializing in computer science, computing, and petri net models.

ORCID

Publications per year

2005–2007

4

Publications

4

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

João M. Fernandes, Simon Tjell, Jens Bæk Jørgensen et al. · 2007 · 75 citations · Full text

, , +17

Some rules to transform sequence diagrams into coloured Petri nets

Óscar R. Ribeiro, João M. Fernandes · RepositóriUM (Universidade do Minho) · 2006 · 31 citations · Full text

, , +8

Model Checking Embedded Systems with PROMELA

Óscar R. Ribeiro, João M. Fernandes, Luís Pinto · 2005 · 23 citations · Full text

, , +15

Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties

Óscar R. Ribeiro, João M. Fernandes · 2007 · 22 citations · Full text

, , +17

1–4 of 4