Filipe Moutinho

According to our database, Filipe Moutinho authored at least 45 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Generic FPGA Pre-Processing Image Library for Industrial Vision Systems.

Diogo Ferreira, Filipe Moutinho, João Pedro Matos-Carvalho, Magno Guedes, Pedro Deusdado

Sensors, September, 2024

A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the Joint Proceedings of RCIS 2024 Workshops and Research Projects Track co-located with the 18th International Conferecence on Research Challenges in Information Science (RCIS 2024), 2024

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers.

Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Multispectral Indices for Wildfire Management.

Afonso Oliveira, João Pedro Matos-Carvalho, Filipe Moutinho, Nuno Fachada

CoRR, 2023

Integrated Development of Embedded Systems With Remote Graphical User Interfaces.

Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes

IEEE Access, 2023

Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for Connected Cyber Physical Spaces, 2023

A Syntax-Independent Code Generation Tool for IOPT-Petri Nets.

Fernando Pereira, Filipe Moutinho, Luís Gomes

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Comput., 2022

Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images.

Shazia Sulemane, João Pedro Matos-Carvalho, Dário Pedro, Filipe Moutinho, Sérgio D. Correia

Algorithms, 2022

Management platform for data translators supported by semantic annotations.

Gonçalo Adelino, Rogério Campos-Rebelo, Filipe Moutinho, Pedro Maló

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

Towards Digital Twin in the Context of Power Wheelchairs Provision and Support.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for Digitalization and Virtualization, 2022

IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.

Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

How to Build a 2D and 3D Aerial Multispectral Map? - All Steps Deeply Explained.

André Vong, João Pedro Matos-Carvalho, Piero Toffanin, Dário Pedro, Fábio Azevedo, Filipe Moutinho, Nuno Cruz Garcia, André Mora

Remote. Sens., 2021

Fabric Defect Detection With Deep Learning and False Negative Reduction.

Tomás Almeida, Filipe Moutinho, João Pedro Matos-Carvalho

IEEE Access, 2021

2020

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for Life Improvement, 2020

2019

Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery.

João Pedro Matos-Carvalho, Filipe Moutinho, Ana Beatriz Salvado, Tiago Carrasqueira, Rogério Campos-Rebelo, Dário Pedro, Luís Miguel Campos, José Manuel Fonseca, André Mora

Remote. Sens., 2019

GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models.

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Proceedings of the IECON 2019, 2019

Web-based Editor for Signal Interpretation Models.

Daniel Gomes, Rogério Campos-Rebelo, Filipe Moutinho

Proceedings of the IECON 2019, 2019

Annotation Rules for XML Schemas with Grouped Semantic Annotations.

Rogério Campos-Rebelo, Filipe Moutinho, Luis Paiva, Pedro Maló

Proceedings of the IECON 2019, 2019

Asynchronous Interfaces for IOPT-Flow to Support GALS Systems.

João Almeida, Filipe Moutinho, Rogério Campos-Rebelo

Proceedings of the IECON 2019, 2019

2018

Extended Semantic Annotations for Generating Translators in the Arrowhead Framework.

Filipe Moutinho, Luis Paiva, Julius Köpke, Pedro Maló

IEEE Trans. Ind. Informatics, 2018

2017

Reconfigurable devices based experimentation supporting teaching introductory digital systems.

Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

2016

Semantic annotation of data in schemas to support data translations.

Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes

Proceedings of the IECON 2016, 2016

2015

Executable models for Embedded Controllers Development - A Cloud Based Development Framework.

Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Distributed controllers modeling through Petri nets with multi-asynchronous-channels.

Filipe Moutinho, José Ribeiro, Luís Gomes

Proceedings of the IEEE International Conference on Industrial Technology, 2015

Attracting students to engineering through autonomous sailing yacht development.

Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota

Proceedings of the IEEE International Conference on Industrial Technology, 2015

2014

Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling.

Filipe Moutinho, Luís Gomes

IEEE Trans. Ind. Informatics, 2014

Communication support for Petri nets based distributed controllers.

Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes

Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

2013

Configuring communication nodes for networked embedded systems specified by Petri nets.

Filipe Moutinho, José Pimenta, Luís Gomes

Proceedings of the 22nd IEEE International Symposium on Industrial Electronics, 2013

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.

Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for the Internet of Things, 2013

Distributed embedded systems design using Petri nets.

Filipe Moutinho, Luís Gomes

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets.

Luís Gomes, Filipe Moutinho, Fernando Pereira

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

Towards medical device behavioural validation using Petri nets.

Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012

Model-checking framework for embedded systems controllers development using IOPT Petri nets.

Fernando Pereira, Filipe Moutinho, Luís Gomes

Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012

Asynchronous wrappers configuration within GALS systems specified by Petri nets.

Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta

Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012

A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets.

Fernando Pereira, Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for Value Creation, 2012

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems.

Filipe Moutinho, Luís Gomes

Proceedings of the Technological Innovation for Value Creation, 2012

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations.

Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Extending a net splitting operation for decomposition of high-level Petri nets.

Filipe Moutinho, Luís Gomes

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2011

Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces.

Fernando Pereira, Luís Gomes, Filipe Moutinho

Proceedings of the Technological Innovation for Sustainability, 2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.

Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

2005

Formal methods for Embedded Systems Co-design: the FORDESIGN project.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

Towards usage of formal methods within embedded systems co-design.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005