1
TÍTULO: Progressive Web Apps Development: Study of Caching Mechanisms
AUTORES: Correia, Fernando; Ribeiro, Oscar; Silva, J. C.;
PUBLICAÇÃO: 2021, FONTE: 21st International Conference on Computational Science and Its Applications (ICCSA) in 2021 21ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS ICCSA 2021
INDEXADO EM: Scopus WOS
2
TÍTULO: Evaluation of BPM Tools Open Source/Freeware
AUTORES: Sousa, M; Lopes, N; Ribeiro, O; Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
INDEXADO EM: Scopus WOS CrossRef: 1
3
TÍTULO: Technical Assistance to School Network using BPM
AUTORES: Barreto, S; Silva, J ; Lopes, N; Ribeiro, O; Mariz, C;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
INDEXADO EM: Scopus WOS CrossRef: 1
4
TÍTULO: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTORES: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
5
TÍTULO: Validation of Scenario-based Business Requirements with Coloured Petri Nets
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
INDEXADO EM: Scopus WOS CrossRef
6
TÍTULO: Translating synchronous Petri nets into PROMELA for verifying behavioural properties
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
INDEXADO EM: Scopus WOS CrossRef
7
TÍTULO: Validation of Reactive Software from Scenario-Based Models
AUTORES: Oscar R Ribeiro; Joao M Fernandes;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
INDEXADO EM: CrossRef
8
TÍTULO: Model checking embedded systems with PROMELA
AUTORES: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLICAÇÃO: 2005, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef