Get started
Author

Fernando Pereira

Observed name: Pereira, Fernando
ORCID: 0000-0001-7255-369X
Observed ORCID: 0000-0001-7255-369X
OpenAlex ID: A5021795348
IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets
2013 · Luis Gomes, Filipe Moutinho, et al. · International Conference on Field Programmable Logic and Applications (FPL) · 47
IOPT-tools — Towards cloud design automation of digital controllers with Petri nets
2014 · Fernando Pereira, Filipe Moutinho, et al. · International Conference on Mechatronics and Control · 41
From IOPT Petri nets to C: An automatic code generator tool
2011 · Rogerio Campos-Rebelo, Fernando Pereira, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 33
Extending input-output place-transition Petri nets for distributed controller systems development
2014 · Luis Gomes, Filipe Moutinho, et al. · International Conference on Mechatronics and Control · 28
Automatic synthesis of VHDL hardware components from IOPT Petri net models
2013 · Fernando Pereira, Luis Gomes · Annual Conference of the IEEE Industrial Electronics Society (IECON) · 27
IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development
2022 · Fernando Pereira, Filipe Moutinho, et al. · Lecture notes in computer science · 26
Model-checking framework for embedded systems controllers development using IOPT Petri nets
2012 · Fernando Pereira, Filipe Moutinho, et al. · IEEE International Symposium on Industrial Electronics (ISIE) · 26
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations
2012 · Fernando Pereira, Filipe Moutinho, et al. · Annual Conference of the IEEE Industrial Electronics Society (IECON) · 24
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification
2016 · Fernando Pereira, Luis Gomes · IFIP advances in information and communication technology · 18
An IOPT-net state-space generator tool
2011 · Fernando Pereira, Filipe Moutinho, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 15
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers
2015 · Fernando Pereira, Luis Gomes · IFIP advances in information and communication technology · 14
IOPT Petri net state space generation algorithm with maximal-step execution semantics
2011 · Fernando Pereira, Filipe Moutinho, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 14
An Ecore based Petri net type definition for PNML IOPT models
2011 · Jose Ribeiro, Filipe Moutinho, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 13
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development
2016 · Fernando Pereira, Luis Gomes · Annual Conference of the IEEE Industrial Electronics Society (IECON) · 11
Remote operation of embedded controllers designed using IOPT Petri-nets
2015 · Fernando Pereira, Arildo Melo, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 11
The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers
2016 · Fernando Pereira, Luis Gomes · IEEE Transactions on Industrial Electronics · 9
Integrated Development of Embedded Systems With Remote Graphical User Interfaces
2023 · Carolina Lagartinho-Oliveira, Fernando Pereira, et al. · IEEE Access · 6
PDF
Automatic Python code generation for Embedded/Cyber-Physical Systems
2023 · Pedro Vale, Fernando Pereira · International Young Engineers Forum (YEF-ECE) · 5
Minimalist Architecture to Generate Embedded System Web User Interfaces
2013 · Fernando Pereira, Luís Gomes · IFIP advances in information and communication technology · 5
Automatic generation of graphical user interfaces for VHDL based controllers
2011 · Filipe Moutinho, Fernando Pereira, et al. · IEEE International Symposium on Industrial Electronics (ISIE) · 5
FPGA controller for power converters with integrated oscilloscope and graphical user interface
2011 · Fernando Pereira, Luis Gomes, et al. · International Conference on Power Engineering, Energy and Electrical Drives · 5
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
2024 · Fernando Pereira, João-Paulo Barros, et al. · Lecture notes in computer science · 4
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets
2012 · Fernando Pereira, Filipe Moutinho, et al. · IFIP International Federation for Information Processing/IFIP · 4
PDF
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems
2018 · Fernando Pereira, Luis Gomes · IEEE International Conference on Industrial Informatics (INDIN) · 3
MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models
2013 · Anikó Costa, Paulo E. S. Barbosa, et al. · Advances in civil and industrial engineering book series · 3
Works count: 32
Citation count: 408
H-index: 13
I10-index: 15
Year
Topic
Type