Filipe Moutinho

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 26

Top Topics

Embedded Systems

Top Venues

IEEE Trans. Ind. Informatics

Publications

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets (2024)
Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets (2024)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops (2024)
Fernando Pereira, Filipe Moutinho, Luís Gomes
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets (2023)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange. DoCEIS (2023)
Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes
Integrated Development of Embedded Systems With Remote Graphical User Interfaces. IEEE Access 11 (2023)
Afonso Oliveira, João Pedro Matos-Carvalho, Filipe Moutinho, Nuno Fachada
Multispectral Indices for Wildfire Management. CoRR (2023)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS (2022)
Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets (2022)
Shazia Sulemane, João Pedro Matos-Carvalho, Dário Pedro, Filipe Moutinho, Sérgio D. Correia
Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images. Algorithms 15 (12) (2022)
Gonçalo Adelino, Rogério Campos-Rebelo, Filipe Moutinho, Pedro Maló
Management platform for data translators supported by semantic annotations. ICPS (2022)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model. Comput. 11 (11) (2022)
André Vong, João Pedro Matos-Carvalho, Piero Toffanin, Dário Pedro, Fábio Azevedo, Filipe Moutinho, Nuno Cruz Garcia, André Mora
How to Build a 2D and 3D Aerial Multispectral Map? - All Steps Deeply Explained. Remote. Sens. 13 (16) (2021)
Tomás Almeida, Filipe Moutinho, João Pedro Matos-Carvalho
Fabric Defect Detection With Deep Learning and False Negative Reduction. IEEE Access 9 (2021)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS (2020)
Daniel Gomes, Rogério Campos-Rebelo, Filipe Moutinho
Web-based Editor for Signal Interpretation Models. IECON (2019)
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models. IECON (2019)
Rogério Campos-Rebelo, Filipe Moutinho, Luis Paiva, Pedro Maló
Annotation Rules for XML Schemas with Grouped Semantic Annotations. IECON (2019)
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
Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery. Remote. Sens. 11 (21) (2019)
João Almeida, Filipe Moutinho, Rogério Campos-Rebelo
Asynchronous Interfaces for IOPT-Flow to Support GALS Systems. IECON (2019)
Filipe Moutinho, Luis Paiva, Julius Köpke, Pedro Maló
Extended Semantic Annotations for Generating Translators in the Arrowhead Framework. IEEE Trans. Ind. Informatics 14 (6) (2018)
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN (2017)
Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes
Semantic annotation of data in schemas to support data translations. IECON (2016)
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS (2015)
Filipe Moutinho, José Ribeiro, Luís Gomes
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT (2015)
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota
Attracting students to engineering through autonomous sailing yacht development. ICIT (2015)
Filipe Moutinho, Luís Gomes
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics 10 (4) (2014)
Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes
Communication support for Petri nets based distributed controllers. ISIE (2014)
Luís Gomes, Filipe Moutinho, Fernando Pereira
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL (2013)
Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo
Towards medical device behavioural validation using Petri nets. CBMS (2013)
Filipe Moutinho, Luís Gomes
Distributed embedded systems design using Petri nets. FPL (2013)
Filipe Moutinho, José Pimenta, Luís Gomes
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE (2013)
Filipe Moutinho, Luís Gomes
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS (2013)
Fernando Pereira, Filipe Moutinho, Luís Gomes
Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE (2012)
Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. IECON (2012)
Fernando Pereira, Filipe Moutinho, Luís Gomes
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS (2012)
Filipe Moutinho, Luís Gomes
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS (2012)
Filipe Moutinho, Luís Gomes
Extending a net splitting operation for decomposition of high-level Petri nets. IECON (2012)
Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE (2012)
Fernando Pereira, Luís Gomes, Filipe Moutinho
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS (2011)
Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS (2011)
Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS (2011)
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC (2005)
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
Towards usage of formal methods within embedded systems co-design. ETFA (2005)