Filipe Moutinho

48 papers A 1B 6C 9Journal 10Unranked 22

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