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 | 52 | 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 | 51 | 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 | 44 | 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 | 36 | 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 | 31 | 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 | 28 | 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 | 23 | 2017 |
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 |
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 | 18 | 2019 |
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 | 17 | 2011 |
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 |
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 | 17 | 2010 |
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 | 16 | 2011 |
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 |
Fabric defect detection with deep learning and false negative reduction T Almeida, F Moutinho, JP Matos-Carvalho IEEE Access 9, 81936-81945, 2021 | 14 | 2021 |
Distributed embedded controller development with Petri nets: application to globally-asynchronous locally-synchronous systems F de Carvalho Moutinho, LFS Gomes Springer, 2015 | 14 | 2015 |
An Ecore based Petri net type definition for PNML IOPT models J Ribeiro, F Moutinho, F Pereira, JP Barros, L Gomes 2011 9th IEEE International Conference on Industrial Informatics, 777-782, 2011 | 14 | 2011 |