Publicações no PortAberta

Co-autor de rede

Mapa da Ciência

Ribeiro, Óscar Rafael Silva Ferreira

Membro do Corpo Docente e de Investigadores

posições

Departamento de Informática 2022 -

Publicações
Contato
Ver Todos

publicações selecionadas

artigo académico
- Do physical fitness and cognitive function mediate the relationship between basic activities of daily living and quality of life in older adults with dementia?. Quality of Life Research. 2023
artigo de conferência
- Prototipagem rápida de ambientes ubíquos 2010
- The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. Computational Methods in Applied Sciences. 2010
- The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. Computational Methods in Applied Sciences. 2010
- Validation of scenario-based business requirements with Coloured Petri Nets 2009
- Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net 2007
- Translating synchronous Petri Nets into PROMELA for verifying behavioural properties 2007
- Validation of Reactive Software from Scenario-Based Models 2007
- Some rules to transform sequence diagrams into coloured Petri nets 2006
- Model checking embedded systems with PROMELA 2005
teses
- Animation-based validation of reactive software systems using behavioural models 2009