Suivre
Filipe Moutinho
Titre
Citée par
Citée par
Année
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
462011
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
432013
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
412014
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
382014
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
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
292014
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
272012
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
212013
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
192017
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
182011
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
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
152011
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
Distributed embedded controller development with Petri nets: application to globally-asynchronous locally-synchronous systems
F de Carvalho Moutinho, LFS Gomes
Springer, 2015
132015
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20