Towards usage of formal methods within embedded systems co-design. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ETFA, 2005)

Formal methods for Embedded Systems Co-design: the FORDESIGN project. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ReCoSoC, 2005)

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 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. - Filipe Moutinho; Luís Gomes 001; Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; André Monteiro (DoCEIS, 2011)

Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. - Fernando Pereira; Luís Gomes 001; Filipe Moutinho (DoCEIS, 2011)

Extending a net splitting operation for decomposition of high-level Petri nets. - Filipe Moutinho; Luís Gomes 001 (IECON, 2012)

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. - Fernando Pereira; Filipe Moutinho; José Ribeiro 006; Luís Gomes 001 (IECON, 2012)

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. - Filipe Moutinho; Luís Gomes 001 (DoCEIS, 2012)

A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. - Fernando Pereira; Filipe Moutinho; Luís Gomes 001 (DoCEIS, 2012)

Asynchronous wrappers configuration within GALS systems specified by Petri nets. - Filipe Moutinho; Luís Gomes 001; Anikó Costa; José Pimenta (ISIE, 2012)

Model-checking framework for embedded systems controllers development using IOPT Petri nets. - Fernando Pereira; Filipe Moutinho; Luís Gomes 001 (ISIE, 2012)

Towards medical device behavioural validation using Petri nets. - Paulo E. S. Barbosa; Misael Morais; Katia Elizabete Galdino; Melquisedec Andrade; Luís Gomes 001; Filipe Moutinho; Jorge C. A. de Figueiredo (CBMS, 2013)

IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. - Luís Gomes 001; Filipe Moutinho; Fernando Pereira (FPL, 2013)

Distributed embedded systems design using Petri nets. - Filipe Moutinho; Luís Gomes 001 (FPL, 2013)

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. - Filipe Moutinho; Luís Gomes 001 (DoCEIS, 2013)

Configuring communication nodes for networked embedded systems specified by Petri nets. - Filipe Moutinho; José Pimenta; Luís Gomes 001 (ISIE, 2013)

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 001 (ISIE, 2014)

Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. - Filipe Moutinho; Luís Gomes 001 (IEEE Trans. Ind. Informatics, 2014)

Attracting students to engineering through autonomous sailing yacht development. - Luís Gomes 001; Anikó Costa; Filipe Moutinho; Ricardo Mota (ICIT, 2015)

Distributed controllers modeling through Petri nets with multi-asynchronous-channels. - Filipe Moutinho; José Ribeiro 006; Luís Gomes 001 (ICIT, 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 001 (P&D@MoDELS, 2015)

Semantic annotation of data in schemas to support data translations. - Filipe Moutinho; Luis Paiva; Pedro Maló; Luís Gomes 001 (IECON, 2016)

Reconfigurable devices based experimentation supporting teaching introductory digital systems. - Luís Gomes 001; Anikó Costa; Filipe Moutinho; Pedro Maló (INDIN, 2017)

Extended Semantic Annotations for Generating Translators in the Arrowhead Framework. - Filipe Moutinho; Luis Paiva; Julius Köpke; Pedro Maló (IEEE Trans. Ind. Informatics, 2018)

Asynchronous Interfaces for IOPT-Flow to Support GALS Systems. - João Almeida; Filipe Moutinho; Rogério Campos-Rebelo (IECON, 2019)

Annotation Rules for XML Schemas with Grouped Semantic Annotations. - Rogério Campos-Rebelo; Filipe Moutinho; Luis Paiva; Pedro Maló (IECON, 2019)

Web-based Editor for Signal Interpretation Models. - Daniel Gomes; Rogério Campos-Rebelo; Filipe Moutinho (IECON, 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 001 (IECON, 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)

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. - Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes 001 (DoCEIS, 2020)

Fabric Defect Detection With Deep Learning and False Negative Reduction. - Tomás Almeida; Filipe Moutinho; João Pedro Matos-Carvalho (IEEE Access, 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)

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 001 (Petri Nets, 2022)

Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. - Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes 001 (DoCEIS, 2022)

Management platform for data translators supported by semantic annotations. - Gonçalo Adelino; Rogério Campos-Rebelo; Filipe Moutinho; Pedro Maló (ICPS, 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 001 (Algorithms, 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 001 (Comput., 2022)

A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. - Fernando Pereira; Filipe Moutinho; Luís Gomes 001 (ATAED/PN4TT@Petri Nets, 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 001 (DoCEIS, 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 001 (IEEE Access, 2023)

Multispectral Indices for Wildfire Management. - Afonso Oliveira; João Pedro Matos-Carvalho; Filipe Moutinho; Nuno Fachada (CoRR, 2023)

Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. - Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes 001 (Petri Nets, 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 001 (Petri Nets, 2024)

A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. - Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes 001 (RCIS Workshops, 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, 2024)