Fernando Pereira
Fernando Pereira
ISEL/IPL, FCT/UNL
Verified email at deea.isel.ipl.pt
Title
Cited by
Cited by
Year
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
442011
Automatic synthesis of VHDL hardware components from IOPT Petri net models
F Pereira, L Gomes
IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013
372013
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
362014
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
362013
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
302012
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
262014
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
Combining data-flows and petri nets for cyber-physical systems specification
F Pereira, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 65-76, 2016
202016
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development
F Pereira, L Gomes
Industrial Electronics Society, IECON 2016-42nd Annual Conference of the …, 2016
192016
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
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
Cloud based IOPT Petri net simulator to test and debug embedded system controllers
F Pereira, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 165-175, 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
Remote operation of embedded controllers designed using IOPT Petri-nets
F Pereira, A Melo, L Gomes
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
112015
FPGA based speed control of Brushless DC Motors using IOPT Petri Net models
F Pereira, L Gomes
2013 IEEE International Conference on Industrial Technology (ICIT), 1011-1016, 2013
102013
FPGA controller for power converters with integrated oscilloscope and graphical user interface
F Pereira, L Gomes, L Redondo
2011 International Conference on Power Engineering, Energy and Electrical …, 2011
82011
The IOPT-flow modeling framework applied to power electronics controllers
F Pereira, L Gomes
IEEE Transactions on Industrial Electronics 64 (3), 2363-2372, 2016
72016
A state-space based model-checking framework for embedded system controllers specified using IOPT Petri nets
F Pereira, F Moutinho, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 123-132, 2012
72012
Multifunctional controller architecture for solid-state Marx modulator based on FPGA
F Pereira, L Gomes, LM Redondo
IEEE Transactions on Plasma Science 42 (10), 2991-2997, 2014
52014
Minimalist architecture to generate embedded system web user interfaces
F Pereira, L Gomes
Doctoral Conference on Computing, Electrical and Industrial Systems, 239-249, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20