Filipe Moutinho


Researcher at CTS-UNINOVA. Member of the R&D Group on Reconfigurable and Embedded Systems (GRES). Member of the Organising Committees of the Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) and International Young Engineers Forum on Electrical and Computer Engineering (YEF-ECE).


ORCID Google Scholar Citations

Research Interests

Cyber-Physical Systems (CPS), Internet of Things (IoT), Embedded Systems,
Reconfigurable Computing Platforms, Globally-Asynchronous Locally-Synchronous (GALS) Circuits,
Model-Based Development (specification, simulation, verification, and automatic code generation), Petri nets, IOPT Tools,
Automatic Generation of Data Translators


Published Book

"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

Publications in Journals

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. PP, no. 99, pp. 1-1,
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

Publications in Conferences & Workshops

2017-2018 (4)

"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

2014-2016 (8)

"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

2013 (7)

"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

2012 (8)

"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

2011 (10)

"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

2005-2010 (6)

"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

Published Book Chapters

"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