Fernando Joaquim Ganhão Pereira
AuthID: R-000-PXS
11
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: 
WOS
WOS12
TITLE: IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: WOS
WOS13
TITLE: Performance Analysis of an Hybrid ARQ Adaptation of NDMA Schemes
AUTHORS: Francisco Ganhao; Miguel Pereira; Luis Bernardo ; Rui Dinis ; Rodolfo Oliveira; Paulo Pinto;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 61, ISSUE: 8
AUTHORS: Francisco Ganhao; Miguel Pereira; Luis Bernardo ; Rui Dinis ; Rodolfo Oliveira; Paulo Pinto;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 61, ISSUE: 8
14
TITLE: FPGA based Speed Control of Brushless DC Motors using IOPT Petri Net models
AUTHORS: Fernando Pereira; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
AUTHORS: Fernando Pereira; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
15
TITLE: A soft-handover scheme for LEO satellite networks
AUTHORS: Barros, G; Vieira, J; Ganhao, F; Bernardo, L; Dinis, R; Carvalho, P; Oliveira, R; Pinto, P;
PUBLISHED: 2013, SOURCE: IEEE 78th Vehicular Technology Conference (VTC Fall) in 2013 IEEE 78TH VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
AUTHORS: Barros, G; Vieira, J; Ganhao, F; Bernardo, L; Dinis, R; Carvalho, P; Oliveira, R; Pinto, P;
PUBLISHED: 2013, SOURCE: IEEE 78th Vehicular Technology Conference (VTC Fall) in 2013 IEEE 78TH VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
16
TITLE: Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2013, SOURCE: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013)
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2013, SOURCE: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013)
17
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef18
TITLE: IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets
AUTHORS: Gomes, L; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
AUTHORS: Gomes, L; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXED IN: Scopus CrossRef
Scopus CrossRef19
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXED IN: Scopus CrossRef
Scopus CrossRef20
TITLE: IOPT-TOOLS - A WEB BASED TOOL FRAMEWORK FOR EMBEDDED SYSTEMS CONTROLLER DEVELOPMENT USING PETRI NETS
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
INDEXED IN: WOS
WOS