Filipe Moutinho
Filipe Moutinho
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uninova.pt
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
422011
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
352014
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
352013
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
332014
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
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
292012
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
252012
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
232014
Asynchronous-channels and time-domains extending Petri nets for GALS systems
F Moutinho, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 143-150, 2012
222012
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
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
162011
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
162011
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
162010
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
142011
From models to controllers integrating graphical animation in FPGA through automatic code generation
F Moutinho, L Gomes
2009 IEEE International Symposium on Industrial Electronics, 712-717, 2009
142009
Formal methods for Embedded Systems Co-design: the FORDESIGN project
L Gomes, J Barros, A Costa, R Pais, F Moutinho
142005
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
132011
Distributed embedded controller development with Petri nets: application to globally-asynchronous locally-synchronous systems
F de Carvalho Moutinho, LFS Gomes
Springer, 2015
122015
Asynchronous wrappers configuration within GALS systems specified by Petri nets
F Moutinho, L Gomes, A Costa, J Pimenta
2012 IEEE International Symposium on Industrial Electronics, 1357-1362, 2012
122012
Configuring communication nodes for networked embedded systems specified by Petri nets
F Moutinho, J Pimenta, L Gomes
2013 IEEE International Symposium on Industrial Electronics, 1-6, 2013
112013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20