Óscar Rafael da Silva Ferreira Ribeiro
AuthID: R-000-DYW
1
TITLE: Provoking Artificial Slips and Trips towards Perturbation-Based Balance Training: A Narrative Review Full Text
AUTHORS: Ferreira, Rafael N.; Ribeiro, Nuno Ferrete; Figueiredo, Joana; Santos, Cristina P.;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 23
AUTHORS: Ferreira, Rafael N.; Ribeiro, Nuno Ferrete; Figueiredo, Joana; Santos, Cristina P.;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 23
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Progressive Web Apps Development: Study of Caching Mechanisms
AUTHORS: Correia, Fernando; Ribeiro, Oscar; Silva, J. C.;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in 2021 21ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS ICCSA 2021
AUTHORS: Correia, Fernando; Ribeiro, Oscar; Silva, J. C.;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in 2021 21ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS ICCSA 2021
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Evaluation of BPM Tools Open Source/Freeware
AUTHORS: Sousa, M; Lopes, N; Ribeiro, O; Silva, J ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
AUTHORS: Sousa, M; Lopes, N; Ribeiro, O; Silva, J ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
4
TITLE: Technical Assistance to School Network using BPM
AUTHORS: Barreto, S; Silva, J ; Lopes, N; Ribeiro, O; Mariz, C;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
AUTHORS: Barreto, S; Silva, J ; Lopes, N; Ribeiro, O; Mariz, C;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
5
TITLE: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
6
TITLE: Validation of Scenario-based Business Requirements with Coloured Petri Nets
AUTHORS: Oscar R Ribeiro; Joao M Fernandes ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
AUTHORS: Oscar R Ribeiro; Joao M Fernandes ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
7
TITLE: Translating synchronous Petri nets into PROMELA for verifying behavioural properties
AUTHORS: Oscar R Ribeiro; Joao M Fernandes ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
AUTHORS: Oscar R Ribeiro; Joao M Fernandes ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
8
TITLE: Validation of Reactive Software from Scenario-Based Models
AUTHORS: Oscar R Ribeiro; Joao M Fernandes;
PUBLISHED: 2007, SOURCE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
AUTHORS: Oscar R Ribeiro; Joao M Fernandes;
PUBLISHED: 2007, SOURCE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
INDEXED IN: 
CrossRef
CrossRef9
TITLE: Model checking embedded systems with PROMELA
AUTHORS: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
AUTHORS: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
