Fernando Joaquim Ganhão Pereira
AuthID: R-000-PXS
1
TITLE: A syntax-independent code generation tool for IOPT-Petri nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luís Gomes;
PUBLISHED: 2023, SOURCE: 2023 Joint of the Workshop on Algorithms and Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition, ATAED and PN4TT 2023 in CEUR Workshop Proceedings, VOLUME: 3424
AUTHORS: Fernando Pereira; Filipe Moutinho; Luís Gomes;
PUBLISHED: 2023, SOURCE: 2023 Joint of the Workshop on Algorithms and Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition, ATAED and PN4TT 2023 in CEUR Workshop Proceedings, VOLUME: 3424
INDEXED IN: 
Scopus
Scopus2
TITLE: Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2016, SOURCE: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, VOLUME: 470
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2016, SOURCE: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, VOLUME: 470
3
TITLE: Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2015, SOURCE: 6th IFIPWG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CLOUD-BASED ENGINEERING SYSTEMS, VOLUME: 450
AUTHORS: Fernando Pereira; Luis Gomes;
PUBLISHED: 2015, SOURCE: 6th IFIPWG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR CLOUD-BASED ENGINEERING SYSTEMS, VOLUME: 450
4
TITLE: Uplink Performance Evaluation of Packet Combining ARQ for MPR Prefix-Assisted DS-CDMA
AUTHORS: Francisco Ganhao; Luis Bernardo; Rui Dinis; Rodolfo Oliveira; Paulo Pinto;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 63, ISSUE: 7
AUTHORS: Francisco Ganhao; Luis Bernardo; Rui Dinis; Rodolfo Oliveira; Paulo Pinto;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 63, ISSUE: 7
5
TITLE: A hybrid ARQ scheme for faster than Nyquist signaling with iterative frequency-domain detection Full Text
AUTHORS: Dinis, R; Cunha, B; Ganhao, F; Bernardo, L; Oliveira, R; Pinto, P;
PUBLISHED: 2015, SOURCE: 81st IEEE Vehicular Technology Conference, VTC Spring 2015 in IEEE Vehicular Technology Conference, VOLUME: 2015-July
AUTHORS: Dinis, R; Cunha, B; Ganhao, F; Bernardo, L; Oliveira, R; Pinto, P;
PUBLISHED: 2015, SOURCE: 81st IEEE Vehicular Technology Conference, VTC Spring 2015 in IEEE Vehicular Technology Conference, VOLUME: 2015-July
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6
TITLE: Executable models for embedded controllers development - A cloud based development framework
AUTHORS: Pereira, F; Moutinho, F; Barros, JP; Costa, A; Gomes, L;
PUBLISHED: 2015, SOURCE: MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 in CEUR Workshop Proceedings, VOLUME: 1554
AUTHORS: Pereira, F; Moutinho, F; Barros, JP; Costa, A; Gomes, L;
PUBLISHED: 2015, SOURCE: MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 in CEUR Workshop Proceedings, VOLUME: 1554
INDEXED IN: Scopus
Scopus7
TITLE: Remote operation of embedded controllers designed using IOPT Petri-nets
AUTHORS: Fernando Pereira; Arildo Melo; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Fernando Pereira; Arildo Melo; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: 
WOS
WOS8
TITLE: Extending input-output place-transition Petri nets for distributed controller systems development
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXED IN: Scopus CrossRef
Scopus CrossRef9
TITLE: IOPT-tools-Towards cloud design automation of digital controllers with Petri nets
AUTHORS: Pereira, F; Moutinho, F; Gomes, L;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
AUTHORS: Pereira, F; Moutinho, F; Gomes, L;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
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
WOS