Member of the UNINOVA-CTS. Member of the R&D Group on Reconfigurable and Embedded Systems (GRES). Member of the Organising Committee of the: International Young Engineers Forum on Electrical and Computer Engineering (YEF-ECE).

ORCID

Scopus

Google Scholar Citations

Model-Driven Development (IOPT-Tools, IOPT-Flow)
Reconfigurable Computing Platforms
Cyber-Physical Systems
Embedded Systems
Digital Systems



"Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems".
Filipe Moutinho, Luís Gomes.
SpringerBriefs in Electrical and Computer Engineering, Springer International Publishing, 2016
doi: 10.1007/978-3-319-20822-0


Diogo Ferreira, Filipe Moutinho, João P. Matos-Carvalho, Magno Guedes, Pedro Deusdado.
"Generic FPGA Pre-Processing Image Library for Industrial Vision Systems".
Sensors 2024, 24, 6101.
https://doi.org/10.3390/s24186101

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luis Gomes.
"Integrated Development of Embedded Systems with Remote Graphical User Interfaces".
IEEE Access, 2023.
https://doi.org/10.3390/computers11110166

Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogerio Campos-Rebelo, Luis Gomes.
"Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model".
Computers 2022, 11, 166.
https://doi.org/10.3390/computers11110166

Sulemane, S.; Matos-Carvalho, J.P.; Pedro, D.; Moutinho, F.; Correia, S.D.
"Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images".
Algorithms 2022, 15, 440.
https://doi.org/10.3390/a15120440

Amaro, Gonçalo, Filipe Moutinho, Rogério Campos-Rebelo, Julius Köpke, and Pedro Maló.
"JSON Schemas with Semantic Annotations Supporting Data Translation".
Applied Sciences 11, no. 24: 11978. 2021
https://doi.org/10.3390/app112411978

Vong, A.; Matos-Carvalho, J.P.; Toffanin, P.; Pedro, D.; Azevedo, F.; Moutinho, F.; Garcia, N.C.; Mora, A.
How to Build a 2D and 3D Aerial Multispectral Map?—All Steps Deeply Explained.
Remote Sens. 2021, 13, 3227.
https://doi.org/10.3390/rs13163227

T. Almeida, F. Moutinho and J. P. Matos-Carvalho.
"Fabric Defect Detection With Deep Learning and False Negative Reduction",
IEEE Access, vol. 9, pp. 81936-81945, 2021
doi: 10.1109/ACCESS.2021.3086028

F. Moutinho; R. Campos-Rebelo; C. Lagartinho-Oliveira; E. Moreira; B. Almeida; L. Gomes
"NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools",
Electronics 2020, 9, 1328
doi: 10.3390/electronics9081328

J. P. Matos-Carvalho, F. Moutinho, A. B. Salvado, T. Carrasqueira, R. Campos-Rebelo, D. Pedro, L. M.Campos., J. M. Fonseca and A. Mora
"Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery",
Remote Sens. 2019, 11(21), 2501
https://doi.org/10.3390/rs11212501

F. Moutinho, L. Paiva, J. Köpke and P. Maló,
"Extended Semantic Annotations for Generating Translators in the Arrowhead Framework",
IEEE Transactions on Industrial Informatics, vol. 14, no. 6, pp. 2760-2769, Jun. 2018
doi: 10.1109/TII.2017.2780887

Moutinho, F.; Gomes, L.,
"Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling",
Industrial Informatics, IEEE Transactions on , vol.10, no.4, pp.2024,2033, Nov. 2014,
doi: 10.1109/TII.2014.2341933



"Extending IOPT-Nets with High-Level Features: A Power Wheelchair Digital Twin Case Study".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
YEF-ECE 2024 - 8th International Young Engineers Forum on Electrical and Computer Engineering
July 5, 2024, Caparica, Portugal

"Horses Identification Through Deep Learning Algorithms".
Rafael Santos, Filipe Moutinho, José Prazeres, Valderi R. Q. Leithardt, João Pedro Matos-Carvalho
YEF-ECE 2024 - 8th International Young Engineers Forum on Electrical and Computer Engineering
July 5, 2024, Caparica, Portugal

"Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
Petri Nets 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency
June 23 - 28, 2024, Geneva, Switzerland

"Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-nets Controllers".
Fernando Pereira, João Paulo Barros, Filipe Moutinho, Anikó Costa, Rogerio Campos-Rebelo, Luís Gomes.
Petri Nets 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency
June 23 - 28, 2024, Geneva, Switzerland

"A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Challenges and Opportunities
May 14-17, 2024, Guimarães, Portugal


"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
DoCEIS'2023 - 14th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Connected Cyber Physical Spaces. Springer.
July 5 - 7 2023, Caparica, Portugal

"A syntax-independent code generation tool for IOPT-Petri nets".
Fernando Pereira, Filipe Moutinho, Luís Gomes.
PN4TT'2023 - International Workshop on Petri nets for Twin Transition.
June 26, 2023, Caparica, Portugal

"ROS-Based Digital Twin for Power Wheelchair".
Afonso Alves, Carolina Lagartinho-Oliveira, Filipe Moutinho, Luis Gomes
ONCON - 2022 - IEEE Industrial Electronics Society Annual On-Line Conference
9 - 11 December 2022, ONLINE

"Reconfigurable sensor node applied to LoRa networks".
Filipa Gouveia, Rogerio Campos-Rebelo, Filipe Moutinho
CONTROLO 2022 - 15th APCA International Conference on Automatic Control and Soft Computing
6 - 8 July 2022, Caparica, Lisbon-Region, Portugal

"Towards Digital Twin in the Context of Power Wheelchairs Provision and Support".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
DoCEIS'2022 - 13th Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Digitalization and Virtualization, Springer
June 29 - July 1 2022, Caparica, Portugal

"IOPT-Tools - From executable models to automatic code generation for embedded controllers development".
Fernando Pereira, Filipe Moutinho, Anikó Costa, João Paulo Barros, Rogerio Campos-Rebelo, Luís Gomes.
Petri Nets 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency
June 19 - 24, 2022, Bergen, Norway

"Management platform for data translators supported by semantic annotations".
Gonçalo Adelino, Rogerio Campos-Rebelo, Filipe Moutinho, Pedro Maló
ICPS'2022 - 5th IEEE International Conference on Industrial Cyber-Physical Systems
24 – 26 May 2022, hosted by University of Warwick in Coventry, United Kingdom (Virtualized)

"Ferramenta de edição e configuração de código VHDL".
Nuno Leal, Filipe Moutinho, Anikó Costa, Luís Gomes
REC 2021 – XVII Jornadas sobre Sistemas Reconfiguráveis, July 5 – 6, 2021, Porto, Portugal

"Towards FPGA learning through a game-based approach".
Miguel Marcelo, Filipe Moutinho
REC 2021 – XVII Jornadas sobre Sistemas Reconfiguráveis, July 5 – 6, 2021, Porto, Portugal

"Sistemas de Visão Industrial: Biblioteca Genérica de Pré Processamento de Imagem em FPGA".
Diogo Ferreira, Filipe Moutinho, Pedro Deusdado
REC 2021 – XVII Jornadas sobre Sistemas Reconfiguráveis, July 5 – 6, 2021, Porto, Portugal


"Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
DoCEIS'2020 - 11th Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Life Improvement. IFIP AICT 577, Springer
July 1-3 2020, Online, Portugal

"Towards remote monitoring and reconfiguration of FPGA-based controllers using IOPT-Tools".
Gabriel Alves, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes
REC'2020 - XVI Jornadas sobre Sistemas Reconfiguráveis.
10-11 Fevereiro de 2020, Instituto Superior Técnico, Lisboa, Portugal

"Asynchronous Interfaces for IOPT-Flow to Support GALS Systems".
João Almeida, Filipe Moutinho, Rogerio Campos-Rebelo
IECON'2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
October 14-17, 2019, Lisbon, Portugal

"Annotation Rules for XML Schemas with Grouped Semantic Annotations".
Rogerio Campos-Rebelo, Filipe Moutinho, Luís Paiva, Pedro Maló
IECON'2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
October 14-17, 2019, Lisbon, Portugal

"GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models".
Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes
IECON'2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
October 14-17, 2019, Lisbon, Portugal

"Web-based Editor for Signal Interpretation Models".
Daniel Gomes, Rogerio Campos-Rebelo, Filipe Moutinho
IECON'2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
October 14-17, 2019, Lisbon, Portugal

"A Survey of IOPT-Flow for GALS System Development".
João Almeida, Filipe Moutinho, Rogério Campos-Rebelo
YEF-ECE'2019 - "3rd International Young Engineers Forum on Electrical and Computer Engineering".
May 10, 2019, Costa da Caparica, Portugal

"FPGA in image processing".
Tiago Carrasqueira, Filipe Moutinho, Rogério Campos-Rebelo
REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis.
14-15 Fevereiro de 2019, Universidade do Minho, Guimarães, Portugal

"IOPT-TOOLS - Ambiente de desenvolvimento de sistemas embutidos basedado em redes de Petri utilizando tecnologias web".
Luís Gomes, Filipe Moutinho, Anikó Costa, Fernando Pereira.
REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis.
14-15 Fevereiro de 2019, Universidade do Minho, Guimarães, Portugal

"Componente modular reconfigurável para a indústria 4.0".
Thomas Pedro Noronha, Pedro Rodrigues, Rogério Campos-Rebelo, Filipe Moutinho, Pedro Maló, Luís Gomes.
REC'2018 - XIV Jornadas sobre Sistemas Reconfiguráveis.
16-17 Fevereiro de 2018, Monte de Caparica, Portugal

"Monitorização de Cadeiras de Rodas através de Ferramentas de Automatização de Projeto".
Carolina Lagartinho-Oliveira, Rogério Campos-Rebelo, Filipe Moutinho.
REC'2018 - XIV Jornadas sobre Sistemas Reconfiguráveis.
16-17 Fevereiro de 2018, Monte de Caparica, Portugal


"Reconfigurable devices based experimentation supporting teaching introductory digital systems".
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló.
INDIN'2017 - 15th IEEE International Conference on Industrial Informatics.
24-26 July, 2017, Emden, Germany.

"Dispositivos Reconfiguráveis e Laboratórios de Ensino de Sistemas Digitais".
Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló.
REC'2017 - XIII Jornadas sobre Sistemas Reconfiguráveis.
30 e 31 de JAneiro de 2017, Instituto de Telecomunicações, Aveiro, Portugal

"Semantic Annotation of Data in Schemas to Support Data Translations".
Filipe Moutinho, Luís Paiva, Pedro Maló, Luís Gomes.
IECON'2016 - 42th Annual Conference of the IEEE Industrial Electronics Society.
October 23-27, 2016, Florence, Italy

"Executable models for Embedded Controllers Development - A Cloud Based Development Framework".
Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes.
MODELS'2015 - ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems.
September 27 - October 2, 2015, Ottawa, Canada

"Attracting students to Engineering through Autonomous sailing Yacht development".
Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota.
ICIT'2015 International Conference on Industrial Technology.
March 17-19 2015, Seville, Spain

"Distributed controllers modeling through Petri nets with multi-asynchronous-channels".
Filipe Moutinho, José Ribeiro, Luís Gomes.
ICIT'2015 International Conference on Industrial Technology.
March 17-19 2015, Seville, Spain

"Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development".
Luís Gomes, Filipe Moutinho, Fernando Pereira, José Ribeiro, Anikó Costa, João Paulo Barros.
ICMC'2014 International Conference on Mechatronics and Control.
July 03-05 2014, Jinzhou, China

"IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets".
Fernando Pereira, Filipe Moutinho, Luís Gomes.
ICMC'2014 International Conference on Mechatronics and Control.
July 03-05 2014, Jinzhou, China

"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.
ISIE'2014 - 23rd IEEE International Symposium of Industrial Electronics.
June 01-04 2014, Istanbul, Turkey

"Suporte de Comunicação para Controladores Distribuídos Modelados com Redes de Petri".
Rogério Campos-Rebelo, Edgar M. Silva, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes.
REC'2014 - X Jornadas sobre Sistemas Reconfiguráveis.
13 de Abril de 2014, Vilamoura, Algarve, Portugal


"Distributed embedded systems design using Petri nets".
Filipe Moutinho, Luís Gomes.
Field Programmable Logic and Applications (FPL), 2013 23rd International Conference on .
September 2-4 2013, Porto, Portugal

"IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets".
Luís Gomes, Filipe Moutinho, Fernando Pereira.
Field Programmable Logic and Applications (FPL), 2013 23rd International Conference on .
September 2-4 2013, Porto, Portugal

"Towards Medical Device Behavioural Validation Using Petri Nets".
Paulo Barbosa, Luís Gomes, Jorge Figueiredo, Misael Morais, Katia Galdino, Filipe Moutinho, Melquisedec Andrade.
CBMS'2013 - 26th IEEE International Symposium on Computer-Based Medical Systems.
June 20-22 2013, Porto, Portugal

"Configuring communication nodes for networked embedded systems specified by Petri nets".
Filipe Moutinho, José Pimenta, Luís Gomes.
ISIE'2013 - 22nd IEEE International Symposium of Industrial Electronics.
May 28-31 2013, Taipei, Taiwan

"Augmenting high-level Petri nets to support GALS distributed embedded systems specification".
Filipe Moutinho, Luís Gomes.
DoCEIS'2013 - 4th Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for the Internet of Things. IFIP AICT 394, Springer.
April 15-17 2013, Caparica, Lisbon, Portugal

"Towards distributed execution of Petri net conflicts through model transformation".
Filipe Moutinho, Luís Gomes.
ICIT'2013 - IEEE International Conference on Industrial Technology.
February 25-27, 2013, Cape Town, South Africa

"Dimensionamento de buffers para redes ponto a ponto de sistemas GALS especificados através de redes de Petri".
Filipe Moutinho, José Pimenta, Luís Gomes.
REC'2013 - IX Jornadas sobre Sistemas Reconfiguráveis.
7-8 de Fevereiro de 2013, Instituto de Sistemas e Robótica - Universidade de Coimbra, Portugal


"Extending a net splitting operation for decomposition of high-level Petri nets".
Filipe Moutinho, Luís Gomes.
IECON'2012 - 38th Annual Conference of the IEEE Industrial Electronics Society.
October 25-28, 2012, Montreal, Canada

"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.
IECON'2012 - 38th Annual Conference of the IEEE Industrial Electronics Society.
October 25-28, 2012, Montreal, Canada

"Asynchronous Wrappers Configuration within GALS Systems Specified by Petri Nets".
Filipe Moutinho, Luís Gomes; Anikó Costa, José Pimenta.
ISIE'2012 - 21st IEEE International Symposium of Industrial Electronics.
May 28-31 2012, Hangzhou, China

"Model-checking framework for Embedded Systems Controllers Development using IOPT Petri nets".
Fernando Pereira, Filipe Moutinho, Luís Gomes.
ISIE'2012 - 21st IEEE International Symposium of Industrial Electronics.
May 28-31 2012, Hangzhou, China

"State Space Generation for Petri nets-based GALS Systems".
Filipe Moutinho, Luís Gomes.
ICIT'2012 - IEEE International Conference on Industrial Technology.
March 19-21, 2012, Kos Island, Greece

"Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems".
Filipe Moutinho, Luís Gomes.
DoCEIS'2012 - 3rd Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Value Creation. IFIP AICT 372, Springer.
February 27-29 2012, Costa da Caparica, Portugal

"A state-space based model-checking framework for embedded system controllers specified using IOPT Petri Nets".
Fernando Pereira, Filipe Moutinho, Luís Gomes.
DoCEIS'2012 - 3rd Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Value Creation. IFIP AICT 372, Springer.
February 27-29 2012, Costa da Caparica, Portugal

"Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri".
Filipe Moutinho, José Pimenta, Luís Gomes.
REC'2012 - VIII Jornadas sobre Sistemas Reconfiguráveis.
9-10 de Fevereiro de 2012, Instituto Superior de Engenharia de Lisboa, Portugal


"State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets".
Filipe Moutinho, Luís Gomes.
IECON'2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.
November 7-10, 2011, Melbourne, Australia

"An Ecore based Petri net Type Definition for PNML IOPT Models".
José Ribeiro, Filipe Moutinho, Fernando Pereira, João Paulo Barros, Luís Gomes.
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics.
26-29 July 2011, Caparica, Lisbon, Portugal

"An IOPT-net State-Space Generator Tool".
Fernando Pereira, Filipe Moutinho, Luís Gomes, Rogério Campos-Rebelo.
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics.
26-29 July 2011, Caparica, Lisbon, Portugal

"IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics".
Fernando Pereira, Filipe Moutinho, Luís Gomes, Rogério Campos-Rebelo.
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics.
26-29 July 2011, Caparica, Lisbon, Portugal

"From IOPT Petri nets to C: an Automatic Code Generator Tool".
Rogério Campos-Rebelo; Fernando Pereira, Filipe Moutinho, Luís Gomes.
INDIN'2011 - 9th IEEE International Conference on Industrial Informatics.
26-29 July 2011, Caparica, Lisbon, Portugal

"Automatic generation of graphical user interfaces for VHDL based controllers".
Filipe Moutinho, Fernando Pereira, Luís Gomes.
ISIE'2011 - 20th IEEE International Symposium of Industrial Electronics.
June 27-30 2011, Gdansk, Poland

"Petri net based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System".
Filipe Moutinho, Luís Gomes, Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro.
DoCEIS'2011 - 2nd Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Sustainability. IFIP AICT 349, Springer, pp 237-245.
February 21-23 2011, Costa da Caparica, Portugal

"Automatic generation of run-time monitoring capabilities to Petri nets based Controllers with Graphical User Interfaces".
Fernando Pereira, Luís Gomes, Filipe Moutinho.
DoCEIS'2011 - 2nd Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Sustainability. IFIP AICT 349, Springer, pp 246-255.
February 21-23 2011, Costa da Caparica, Portugal

"SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design".
Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha.
DoCEIS'2011 - 2nd Doctoral Conference on Computing, Electrical and Industrial Systems - Technological Innovation for Sustainability. IFIP AICT 349, Springer, pp 256-265.
February 21-23 2011, Costa da Caparica, Portugal

"Interface para Leitura e Escrita Concorrente de Memória RAM DDR2 em Plataforma baseada em FPGA".
Filipe Moutinho, Fernando Pereira, Luís Gomes.
REC'2011 - VII Jornadas sobre Sistemas Reconfiguráveis.
3-4 de Fevereiro de 2011, Faculdade de Engenharia de Universidade do Porto, Portugal


"Ecore Representation for Extending PNML for Input-Output Place-Transition Nets".
Filipe Moutinho, Luís Gomes, Franklin Ramalho, Jorge Figueiredo, João Paulo Barros, Paulo Barbosa, Rui Pais, Anikó Costa.
IECON'2010 - 36th Annual Conference of the IEEE Industrial Electronics Society.
2010, Phoeniz, AZ, USA

"From Models to Controllers Integrating Graphical Animation in FPGA through Automatic Code Generation".
Filipe Moutinho, Luís Gomes.
ISIE'2009 - 18th IEEE International Symposium of Industrial Electronics.
July 5-8 2009, Seoul Olympic Parktel, Seoul, Korea

"Geração Automática de Controladores em FPGA Integrando Animação Gráfica".
Filipe Moutinho, Luís Gomes.
REC'2009 - V Jornadas sobre Sistemas Reconfiguráveis.
5-6 Fevereiro de 2009, Monte de Caparica, Portugal

"Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN".
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais e Filipe Moutinho.
REC'2006 - II Jornadas sobre Sistemas Reconfiguráveis.
16-17 Fevereiro de 2006, Faculdade de Engenharia de Universidade do Porto, Portugal

"Towards Usage of Formal Methods within Embedded Systems Co-Design".
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais e Filipe Moutinho.
ETFA'2005 - 10th International Conference on Emergent Technologies and Factory Automation.
19-22 September 2005; Facolta' di Ingegneria, Catania, Italy

"Formal methods for Embedded Systems Co-design: the FORDESIGN project".
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho.
ReCoSoC'05 - Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings.
Gilles Sassatelli, Manfred Glesner, Lionel Torres, Leandro Soares Indrusiak, Thomas Hollstein (Editors).
ISBN 2 - 9517 - 4611 - 3; 27-29 June 2005, Montpellier, França


"MDA-based Methodology for Verifying Distributed Execution of Embedded Systems Models".
Anikó Costa, Paulo E. S. Barbosa, Filipe Moutinho, Fernando Pereira, Luís Gomes, Franklin Ramalho, Jorge C. A. Figueiredo.
Formal Methods in Manufacturing Systems: Recent Advances. IGI Global, 2013. 112-135. doi:10.4018/978-1-4666-4034-4.ch006

"Merging and splitting Petri net models within distributed embedded controller design".
Luís Gomes, Anikó Costa, João Paulo Barros, Filipe Moutinho, Fernando Pereira.
Embedded Computing Systems: Applications, Optimization, and Advanced Design. IGI Global, 2013. 160-183. doi:10.4018/978-1-4666-3922-5.ch009