Παρακολούθηση
Filipe Moutinho
Filipe Moutinho
FCT NOVA
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fct.unl.pt
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
522013
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
512014
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
482011
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
442014
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
362014
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
312012
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
312005
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
282012
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
232017
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
212012
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
202013
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
172011
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
172010
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
162019
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
162011
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
152011
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
152011
Fabric defect detection with deep learning and false negative reduction
T Almeida, F Moutinho, JP Matos-Carvalho
IEEE Access 9, 81936-81945, 2021
142021
Distributed embedded controller development with Petri nets: application to globally-asynchronous locally-synchronous systems
F de Carvalho Moutinho, LFS Gomes
Springer, 2015
142015
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
142011
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20