Óscar Rafael Silva Ferreira Ribeiro
Óscar Rafael Silva Ferreira Ribeiro-
From 2013 to 2014
-
At ALGORITMI
-
Academic Degree
PhD (Doutoramento)
-
Current Position
Invited Teaching Assistant (Assistente Convidado) at Escola Superior de Tecnologia do Instituto Politécnico do Cavado e do Ave
Personal E-mail
ORCID
Researcher ID
H-6512-2014
FCT Public Key
J006914FL1FE
DeGóis
4261185683928241
- An agile software product line model-driven design environment for video surveillance systems.Cardoso, N.; Rodrigues, P.; Ribeiro, O.; Cabral, J.; Monteiro, J.; Mendes, J.&seIEEE International Conference on Emerging Technologies and Factory Automation, ETFA2012
- Model-driven template metaprogramming.Cardoso, N.; Vale, J.; Ribeiro, O.; Cabral, J.; Cardoso, P.; Mendes, J.; TaIEEE International Conference on Emerging Technologies and Factory Automation, ETFA2012
- The APEX framework: Prototyping of ubiquitous environments based on Petri nets.Silva, J.L.; Ribeiro, Ó.R.; Fernandes, J.M.; Campos, J.C.; Harrison, M2010
- Validation of scenario-based business requirements with coloured petri nets.Ribeiro, O.R.; Fernandes, J.M.2009
- Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured petri net.Fernandes, J.M.; Tjell, S.; Jørgensen, J.B.; Ribeiro, Ó.2007
- Translating synchronous Petri nets into PROMELA for verifying behavioural properties.Ribeiro, Ó.R.; Fernandes, J.M.2007
| Year | Supervision | Co-Supervision |
|---|
