| IOPT-tools—A Web based tool framework for embedded systems controller development using Petri nets L Gomes, F Moutinho, F Pereira 2013 23rd International Conference on Field programmable Logic and …, 2013 | 58 | 2013 |
| IOPT-tools—Towards cloud design automation of digital controllers with Petri nets F Pereira, F Moutinho, L Gomes 2014 International Conference on Mechatronics and Control (ICMC), 2414-2419, 2014 | 53 | 2014 |
| From IOPT Petri nets to C: An automatic code generator tool R Campos-Rebelo, F Pereira, F Moutinho, L Gomes 2011 9th IEEE International Conference on Industrial Informatics, 390-395, 2011 | 49 | 2011 |
| Asynchronous-channels within Petri net-based GALS distributed embedded systems modeling F Moutinho, L Gomes IEEE Transactions on Industrial Informatics 10 (4), 2024-2033, 2014 | 48 | 2014 |
| Extending input-output place-transition Petri nets for distributed controller systems development L Gomes, F Moutinho, F Pereira, J Ribeiro, A Costa, JP Barros 2014 International Conference on Mechatronics and Control (ICMC), 1099-1104, 2014 | 39 | 2014 |
| Model-checking framework for embedded systems controllers development using IOPT Petri nets F Pereira, F Moutinho, L Gomes 2012 IEEE International Symposium on Industrial Electronics, 1399-1404, 2012 | 32 | 2012 |
| Towards usage of formal methods within embedded systems co-design L Gomes, JP Barros, A Costa, R Pais, F Moutinho 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005 | 31 | 2005 |
| Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations F Pereira, F Moutinho, J Ribeiro, L Gomes IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society …, 2012 | 29 | 2012 |
| Extended semantic annotations for generating translators in the arrowhead framework F Moutinho, L Paiva, J Köpke, P Maló IEEE Transactions on Industrial Informatics 14 (6), 2760-2769, 2017 | 25 | 2017 |
| Fabric defect detection with deep learning and false negative reduction T Almeida, F Moutinho, JP Matos-Carvalho IEEE Access 9, 81936-81945, 2021 | 24 | 2021 |
| IOPT-Tools–From executable models to automatic code generation for embedded controllers development F Pereira, F Moutinho, A Costa, JP Barros, R Campos-Rebelo, L Gomes International Conference on Applications and Theory of Petri Nets and …, 2022 | 22 | 2022 |
| Static and dynamic algorithms for terrain classification in UAV aerial imagery JP Matos-Carvalho, F Moutinho, AB Salvado, T Carrasqueira, ... Remote Sensing 11 (21), 2501, 2019 | 22 | 2019 |
| Asynchronous-channels and time-domains extending Petri nets for GALS systems F Moutinho, L Gomes Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET …, 2012 | 21 | 2012 |
| Towards medical device behavioural validation using petri nets PES Barbosa, M Morais, K Galdino, M Andrade, L Gomes, F Moutinho, ... Proceedings of the 26th IEEE International Symposium on Computer-Based …, 2013 | 20 | 2013 |
| An IOPT-net state-space generator tool F Pereira, F Moutinho, L Gomes, J Ribeiro, R Campos-Rebelo 2011 9th IEEE International Conference on Industrial Informatics, 383-389, 2011 | 20 | 2011 |
| Ecore representation for extending PNML for Input-Output Place-Transition nets F Moutinho, L Gomes, F Ramalho, J Figueiredo, JP Barros, P Barbosa, ... IECON 2010-36th Annual Conference on IEEE Industrial Electronics Society …, 2010 | 18 | 2010 |
| IOPT Petri net state space generation algorithm with maximal-step execution semantics F Pereira, F Moutinho, L Gomes, R Campos-Rebelo 2011 9th IEEE International Conference on Industrial Informatics, 789-795, 2011 | 17 | 2011 |
| SysVeritas: a framework for verifying IOPT nets and execution semantics within embedded systems design P Barbosa, JP Barros, F Ramalho, L Gomes, J Figueiredo, F Moutinho, ... Technological Innovation for Sustainability: Second IFIP WG 5.5/SOCOLNET …, 2011 | 17 | 2011 |
| How to build a 2d and 3d aerial multispectral map?—all steps deeply explained A Vong, JP Matos-Carvalho, P Toffanin, D Pedro, F Azevedo, F Moutinho, ... Remote Sensing 13 (16), 3227, 2021 | 15 | 2021 |
| State space generation algorithm for GALS systems modeled by IOPT Petri nets F Moutinho, L Gomes IECON 2011-37th Annual Conference of the IEEE Industrial Electronics Society …, 2011 | 15 | 2011 |
