| Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net JM Fernandes, S Tjell, JB Jorgensen, O Ribeiro Scenarios and State Machines, 2007. SCESM'07: ICSE Workshops 2007. Sixth …, 2007 | 104 | 2007 |
| Some rules to transform sequence diagrams into coloured Petri nets ÓRSF Ribeiro, JM Fernandes 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2006 | 59 | 2006 |
| The APEX framework: prototyping of ubiquitous environments based on Petri nets JL Silva, OR Ribeiro, JM Fernandes, JC Campos, MD Harrison International Conference on Human-Centred Software Engineering, 6-21, 2010 | 38 | 2010 |
| Model checking embedded systems with PROMELA OR Ribeiro, JM Fernandes, LF Pinto Engineering of Computer-Based Systems, 2005. ECBS'05. 12th IEEE …, 2005 | 38 | 2005 |
| Translating synchronous Petri Nets into PROMELA for verifying behavioural properties OR Ribeiro, JM Fernandes Industrial Embedded Systems, 2007. SIES'07. International Symposium on, 266-273, 2007 | 33 | 2007 |
| Evaluation of BPM tools open source/freeware M Sousa, N Lopes, Ó Ribeiro, J Silva 2018 13th Iberian Conference on Information Systems and Technologies (CISTI), 2018 | 11 | 2018 |
| Progressive Web Apps Development: Study of Caching Mechanisms F Correia, Ó Ribeiro, JC Silva 2021 21st International Conference on Computational Science and Its …, 2021 | 8 | 2021 |
| Validation of Scenario-based Business Requirements with Coloured Petri Nets OR Ribeiro, JM Fernandes Software Engineering Advances, 2009. ICSEA'09. Fourth International …, 2009 | 8 | 2009 |
| The impact of identifiable features in ML Classification algorithms with the HIKARI-2021 Dataset R Fernandes, J Silva, Ó Ribeiro, I Portela, N Lopes 2023 11th International Symposium on Digital Forensics and Security (ISDFS), 1-5, 2023 | 7 | 2023 |
| Avaliação de Ferramentas BPM: Uma Análise Comparativa de Soluções Comerciais M Sousa, N Lopes, Ó Ribeiro, JP Silva RISTI-Revista Ibérica de Sistemas e Tecnologias de Informação, 70-85, 2019 | 7 | 2019 |
| An agile software product line model-driven design environment for video surveillance systems N Cardoso, P Rodrigues, O Ribeiro, J Cabral, J Monteiro, J Mendes, ... Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference …, 2012 | 5 | 2012 |
| Technical assistance to school network using BPM S Barreto, J Silva, N Lopes, O Ribeiro, C Mariz 2018 13th Iberian Conference on Information Systems and Technologies (CISTI), 2018 | 4 | 2018 |
| Prototipagem rápida de ambientes ubíquos JL Silva, OR Ribeiro, JC Campos, JM Fernandes, MD Harrison 4ª Conferência Nacional em Interacção Humano-Computador, 121-128, 2010 | 4 | 2010 |
| Animation-based validation of reactive software systems using behavioural models ÓR Ribeiro | 3 | 2009 |
| On the use of coloured petri nets for visual animation ÓR Ribeiro, JM Fernandes | 3 | 2007 |
| Validation of reactive software from scenario-based models OR Ribeiro, JM Fernandes Quality of Information and Communications Technology, 2007. QUATIC 2007. 6th …, 2007 | 2 | 2007 |
| Predict Malware Using Machine Learning D Araújo, J Silva, P Leite, Ó Ribeiro, P Teixeira 2023 11th International Symposium on Digital Forensics and Security (ISDFS), 1-6, 2023 | 1 | 2023 |
| BPM na Assistência Técnica a Parque Escolar S Barreto, J Silva, N Lopes, Ó Ribeiro, C Mariz IEEE, 2018 | 1 | 2018 |
| Model-driven template metaprogramming N Cardoso, J Vale, O Ribeiro, J Cabral, P Cardoso, J Mendes, A Tavares Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference …, 2012 | 1 | 2012 |
| The APEX framework: prototyping of ubiquitous environments based on Petri nets MD Harrison, JL Silva, OR Ribeiro, JM Fernandes, JC Campos Human-Centred Software Engineering: Third International Conference (HCSE), 2010 | | 2010 |