???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Fernando Pereira

Nomes de citação

  • Pereira, Fernando

Identificadores de autor

Ciência ID
B517-0D5B-A3C8
ORCID iD
0000-0001-7255-369X

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2017
Concluído
Programa Doutoral em Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"The DS-Pnet modeling formalism for cyber-physical system development" (TESE/DISSERTAÇÃO)
Aprovado por unanimidade
1992
Concluído
Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
15 Valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2018/01/03 - Atual Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal

Outras Carreiras

Categoria Profissional
Instituição de acolhimento
Empregador
2003/01/01 - Atual Técnico Superior (Técnico Superior) InoCAM, Soluções de Manufactura Assistida por Computador, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
1995/01/01 - 2018/01/02 Eq. Assistente do 2º Trienio Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Produções

Publicações

Artigo em conferência
  1. Bruna Henriques; Ana Martins; Pereira, Fernando. "Using Neural Networks for Electricity Price Forecast". Trabalho apresentado em Energy Economics International Conference (EEIC2023), the 7th APEEN Annual Conference,, Lisbon, 2023.
  2. Vale, Pedro; Pereira, Fernando. "Automatic Python code generation for Embedded/Cyber-Physical Systems". 2023.
    10.1109/yef-ece58420.2023.10209340
  3. Pereira, Fernando; Moutinho, Filipe; Gomes, Luís. "A syntax-independent code generation tool for IOPT-Petri nets". Trabalho apresentado em International Workshop on Petri nets for Twin Transition, 2023.
  4. Pereira, Fernando; Gomes, Luis. "A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems". 2018.
    10.1109/indin.2018.8472084
  5. Pereira, Fernando; Gomes, Luis. "The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development". 2016.
    10.1109/iecon.2016.7794152
  6. Pereira, Fernando. "Executable models for embedded controllers development - A cloud based development framework". Trabalho apresentado em MoDELS 2015, Ottawa, 2015.
  7. Pereira, Fernando; Melo, Arildo; Gomes, Luis. "Remote operation of embedded controllers designed using IOPT Petri-nets". 2015.
    10.1109/indin.2015.7281797
  8. Pereira, Fernando; Moutinho, Filipe; Gomes, Luis. "IOPT-tools — Towards cloud design automation of digital controllers with Petri nets". 2014.
    10.1109/icmc.2014.7232002
  9. Gomes, Luis; Moutinho, Filipe; Pereira, Fernando; Ribeiro, Jose; Costa, Aniko; Barros, Joao-Paulo. "Extending input-output place-transition Petri nets for distributed controller systems development". 2014.
    10.1109/icmc.2014.7231723
  10. Pereira, Fernando; Gomes, Luis. "Automatic synthesis of VHDL hardware components from IOPT Petri net models". 2013.
    10.1109/iecon.2013.6699475
  11. Gomes, Luis; Moutinho, Filipe; Pereira, Fernando. "IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets". 2013.
    10.1109/fpl.2013.6645633
  12. Pereira, F.; Gomes, L.. "FPGA based speed control of Brushless DC Motors using IOPT Petri Net models". 2013.
    10.1109/icit.2013.6505810
  13. Pereira, Fernando; Moutinho, Filipe; Ribeiro, Jose; Gomes, Luis. "Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations". 2012.
    10.1109/iecon.2012.6389075
  14. Pereira, Fernando; Moutinho, Filipe; Gomes, Luis. "Model-checking framework for embedded systems controllers development using IOPT Petri nets". 2012.
    10.1109/isie.2012.6237295
  15. Ribeiro, Jose; Moutinho, Filipe; Pereira, Fernando; Barros, Joao Paulo; Gomes, Luis. "An Ecore based Petri net type definition for PNML IOPT models". 2011.
    10.1109/indin.2011.6034992
  16. Campos-Rebelo, Rogerio; Pereira, Fernando; Moutinho, Filipe; Gomes, Luis. "From IOPT Petri nets to C: An automatic code generator tool". 2011.
    10.1109/indin.2011.6034908
  17. Pereira, Fernando; Moutinho, Filipe; Gomes, Luis; Campos-Rebelo, Rogerio. "IOPT Petri net state space generation algorithm with maximal-step execution semantics". 2011.
    10.1109/indin.2011.6034958
  18. Pereira, Fernando; Moutinho, Filipe; Gomes, Luis; Ribeiro, Jose; Campos-Rebelo, Rogerio. "An IOPT-net state-space generator tool". 2011.
    10.1109/indin.2011.6034907
  19. Moutinho, Filipe; Pereira, Fernando; Gomes, Luis. "Automatic generation of graphical user interfaces for VHDL based controllers". 2011.
    10.1109/isie.2011.5984381
  20. Pereira, Fernando; Gomes, Luis; Redondo, Luis. "FPGA controller for power converters with integrated oscilloscope and graphical user interface". 2011.
    10.1109/powereng.2011.6036436
Artigo em revista
  1. Lagartinho-Oliveira, Carolina; Pereira, Fernando; Moutinho, Filipe; Campos-Rebelo, Rogerio; Gomes, Luis. "Integrated Development of Embedded Systems With Remote Graphical User Interfaces". IEEE Access 11 (2023): 63795-63807. http://dx.doi.org/10.1109/access.2023.3287198.
    10.1109/access.2023.3287198
  2. Pereira, Fernando; Gomes, Luis. "The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers". IEEE Transactions on Industrial Electronics 64 3 (2017): 2363-2372. http://dx.doi.org/10.1109/tie.2016.2620101.
    10.1109/tie.2016.2620101
  3. Pereira, Fernando; Gomes, Luis; Redondo, Luis M.. "Multifunctional Controller Architecture for Solid-State Marx Modulator Based on FPGA". IEEE Transactions on Plasma Science 42 10 (2014): 2991-2997. http://dx.doi.org/10.1109/tps.2014.2320409.
    10.1109/tps.2014.2320409
Capítulo de livro
  1. Pereira, Fernando; Moutinho, Filipe; Costa, Anikó; Barros, João-Paulo; Campos-Rebelo, Rogério; Gomes, Luis. "IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development". In Application and Theory of Petri Nets and Concurrency, 127-138. Springer International Publishing, 2022.
    10.1007/978-3-031-06653-5_7
  2. Pestana, Celso; Canacsinh, Hiren; Chaves, Miguel; Gamboa, Paulo; Cordeiro, Armando; Luís, Ricardo; Martins, Ana; et al. "Novel Design of the Converter for an Active UPS Application Based on Marx Modulator Concept with Supercapacitors". In IFIP Advances in Information and Communication Technology, 414-423. Springer International Publishing, 2019.
    10.1007/978-3-030-17771-3_36
  3. Pereira, Fernando; Gomes, Luis. "Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification". In IFIP Advances in Information and Communication Technology, 65-76. Springer International Publishing, 2016.
    10.1007/978-3-319-31165-4_7
  4. Pereira, Fernando; Gomes, Luis. "Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers". In Technological Innovation for Cloud-Based Engineering Systems, 165-175. Springer International Publishing, 2015.
    10.1007/978-3-319-16766-4_18
  5. Gomes, Luis; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando. "Merging and Splitting Petri Net Models within Distributed Embedded Controller Design". In Embedded Computing Systems, 160-183. IGI Global, 2013.
    10.4018/978-1-4666-3922-5.ch009
  6. Costa, Anikó; Barbosa, Paulo E. S.; Moutinho, Filipe; Pereira, Fernando; Ramalho, Franklin; Figueiredo, Jorge C. A.; Gomes, Luis. "MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models". In Advances in Civil and Industrial Engineering, 112-135. IGI Global, 2013.
    10.4018/978-1-4666-4034-4.ch006
  7. Pereira, Fernando; Gomes, Luís. "Minimalist Architecture to Generate Embedded System Web User Interfaces". In IFIP Advances in Information and Communication Technology, 239-249. Springer Berlin Heidelberg, 2013.
    10.1007/978-3-642-37291-9_26
  8. Pereira, Fernando; Moutinho, Filipe; Gomes, Luís. "A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets". In IFIP Advances in Information and Communication Technology, 123-132. Springer Berlin Heidelberg, 2012.
    10.1007/978-3-642-28255-3_14
  9. Pereira, Fernando; Gomes, Luis; Moutinho, Filipe. "Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces". In IFIP Advances in Information and Communication Technology, 246-255. Springer Berlin Heidelberg, 2011.
    10.1007/978-3-642-19170-1_27
Livro
  1. Pereira, Fernando. Linux, Curso Completo. Lisboa, Portugal: FCA- Editora de Informática. 2012.
    Publicado
Tese / Dissertação
  1. Pereira, Fernando. "The DS-Pnet modeling formalism for cyber-physical system development". Doutoramento, Universidade Nova de Lisboa, 2017. http://hdl.handle.net/10362/27876.