???global.info.a_carregar???
Luis Filipe dos Santos Gomes. Completed the Habilitation title (Título de Agregado) in Electrical and Computer Engineering in 2017/06/20 by NOVA University Lisbon - NOVA School of Science and Technology, PhD in Electrotechnical Engineering in 1997 by the same School and engineer degree (Licenciatura) in Electrotechnical Engineering in 1981/09 by Technical University of Lisbon - Instituto Superior Técnico. He is Associate Professor with Habilitation in NOVA University Lisbon - Dep of Electrical and Computer Engineering. Published over 30 articles in journals, 10 journal issues/sections, 9 book chapters, 6 edited books and 1 book. Supervised 6 PhD theses and co-supervised 3. In his curriculum, the most frequent terms in the context of scientific and technological outputs are: Petri nets; Model-driven development; Distributed execution; Embedded systems; Automatic code generation; Hardware-software co-design; Model composability; Cyber-Physical Systems.
Read full resume ↓
Identification

Personal identification

Full name
Luis Filipe dos Santos Gomes

Citation names

  • Gomes, Luis
  • L. Gomes
  • Gomes, L.
  • Luis Gomes
  • Luís Gomes
  • Gomes, Luís

Author identifiers

Ciência ID
C11F-501A-E0EC
ORCID iD
0000-0003-4299-8270
Google Scholar ID
dPIAnsEAAAAJ
Researcher Id
D-3783-2009
Scopus Author Id
14043081400

Email addresses

  • lugo@fct.unl.pt (Professional)

Addresses

  • Universidade Nova de Lisboa - Fac. Ciencias e Tecnologia - Dep. Eng. Electrotecnica e de Computadores, 2829-516, Caparica, Almada, Portugal (Professional)

Websites

Education
Degree Classification
2017/06/20
Concluded
 Engenharia Electrotecnica e de Computadores (Título de Agregado)
Major in Sistemas Computacionais e Percepcionais
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Approved unanimously
1997
Concluded
 Engenharia Electrotécnica (Doutoramento)
Major in Especialidade: Sistemas Digitais
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Redes de Petri Reactivas e Hierárquicas - Integração de Formalismos no Projecto de Sistemas Reactivos de Tempo-real" (THESIS/DISSERTATION)
1992/02
Concluded
 Provas de Aptidão Pedagógica e Capacidade Científica (equivalente a Mestrado para efeitos de progressão na carreira docente universitária) (Pós-Graduação)
Major in Informática
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 Very Good
1976/09 - 1981/09
Concluded
 Engenharia Electrotecnica (Licenciatura)
Major in Electrónica e Telecomunicações
Universidade de Lisboa Instituto Superior Técnico, Portugal
 15
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2008/04 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021/11/01 - 2021/12/31 Visiting Professor (University Teacher) Harbin Institute of Industry, China
Harbin Institute of Technology School of Astronautics, China
2008 - 2010 Invited Associate Professor (University Teacher) Escola Naval, Portugal
1997/11 - 2008/04 Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1992/02 - 1997/11 Assistant (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1987/01 - 1992/02 Trainee Assistant (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Departamento de Informática, Portugal

Other Careers

Category
Host institution 		Employer
1984/02 - 1987/11 Técnico Superior (Técnico Superior) EID - Empresa de Investigação e Desenvolvimento de Electrónica, S.A., Portugal
1982/05 - 1984/07 Técnico Superior (Técnico Superior) Marinha Portuguesa, Portugal
1976/11 - 1982/05 Professor do ensino básico e secundário (Professor do ensino básico e secundário) Ministério da Educação, Portugal
Projects

Contract

Designation Funders
2021/01/01 - 2025/12/31 Intelligent Systems Associate Laboratory
LA/P/0104/2020
10.54499/LA/P/0104/2020
Researcher
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Centro de Matemática, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade Nova de Lisboa, Portugal

Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade de Aveiro, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Universidade de Coimbra, Portugal

Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho Instituto de Polímeros e Compósitos, Portugal

Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal

Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2017 - 2020 Productive4.0 - Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle
737459-2
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Ongoing
2017 - 2020 PROPHESY - Platform for rapid deployment of self-configuring and optimized predictive maintenance services
H2020-FOF-09-2017
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Ongoing
2019/01/01 - 2019/12/31 Centre of Technology and Systems
UID/EEA/00066/2019
UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2015/05/01 - 2018/04/30 Cyber Physical System based Proactive Collaborative Maintenance
ECSEL/0005/2014
UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/05/01 - 2015/10/31 Petri-Rig - A Petri net based framework for embedded systems engineeRInG
128522
Provided by PTCRIS: 128522
PTDC/EEI-AUT/2641/2012
Principal investigator
Universidade Nova de Lisboa UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2011/01/01 - 2013/12/31 Strategic Project - UI 66 - 2011-2012
PEst-OE/EEI/UI0066/2011
UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2007/12/01 - 2011/11/30 AMADEUS: ASPECTS AND COMPILER OPTIMIZATIONS FOR MATLAB SYSTEM DEVELOPMENT
70271
Provided by PTCRIS: 70271
Researcher
Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2009 - 2011 Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri
Convénio FCT/CAPES 2009
Principal investigator
Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2006/12/01 - 2008/11/30 VET-TREND – Valorisation of an Experiment-based Training System through a Transnational Educational Network Development
2006 RO/06/B/F/NT175014
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Concluded
2006/10/01 - 2008/09/30 IDENTITY - INDIVIDUALIZED LEARNING ENHANCED BY VIRTUAL REALITY
229930-CP-1-2006-1-RO-MINERVA-M
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Concluded
2005/05/01 - 2008/06/30 FORDESIGN - Formal methods for Embedded Systems Co-design
Provided by PTCRIS: 61364
61364
Principal investigator
Universidade Nova de Lisboa UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
 Fundação para a Ciência e a Tecnologia, I.P.
Concluded
2005/05/01 - 2008/06/30 FORDESIGN - Formal methods for Embedded Systems Co-design
POSC/EIA/61364/2004
UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005/01/01 - 2007/12/31 COMPLETE - New Strategies of COMPetence Acquisition for Lifelong Learning in Energy – Transport - Environment Engineering
RO/04/B/F/PP–175016
Researcher
Universidade Nova de Lisboa UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
2000/01/01 - 2002/02/28 DOTS – Distributed Object Telecontrol Systems and Networks
IST-1999-10258
Researcher
Universidade Nova de Lisboa UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
Concluded
1996 - 1999 INNOVA - High Performance Telecontrol Station with Image and Sound Capabilities
ESPRIT 21017
Researcher
Universidade Nova de Lisboa UNINOVA Instituto de Desenvolvimento de Novas Tecnologias, Portugal
Concluded
Outputs

Publications

Book
  1. Moutinho, Filipe de Carvalho; Santos Gomes, Luís Filipe. Distributed Embedded Controller Development with Petri Nets. Springer International Publishing. 2016.
    Published • 10.1007/978-3-319-20822-0
Book chapter
  1. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Graphical Formalism for Signal Interpretation Modeling". In Topics in Intelligent Engineering and Informatics, 139-154. Springer International Publishing, 2019.
    10.1007/978-3-030-14350-3_8
  2. Gasmi, Maroua; Mosbahi, Olfa; Khalgui, Mohamed; Gomes, Luis. "Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration". In Informatics in Control, Automation and Robotics, 23-42. Springer International Publishing, 2015.
    Published • 10.1007/978-3-319-26453-0_2
  3. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets". In Human-Computer Systems Interaction: Backgrounds and Applications 3, 39-50. Springer International Publishing, 2014.
    Published • 10.1007/978-3-319-08491-6_4
  4. Gomes, Luis; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando. "Merging and Splitting Petri Net Models within Distributed Embedded Controller Design". In Embedded Computing Systems, 160-183. IGI Global, 2013.
    Published • 10.4018/978-1-4666-3922-5.ch009
  5. Costa, Anikó; Barbosa, Paulo E. S.; Moutinho, Filipe; Pereira, Fernando; Ramalho, Franklin; Figueiredo, Jorge C. A.; Gomes, Luis. "MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models". In Advances in Civil and Industrial Engineering, 112-135. IGI Global, 2013.
    Published • 10.4018/978-1-4666-4034-4.ch006
  6. Gomes, Luís; Barros, João Paulo; Costa, Anikó. "Structuring Mechanisms in Petri Net Models". In Design of Embedded Control Systems, 153-166. Springer US, 2005.
    Published • 10.1007/0-387-28327-7_13
  7. Gomes, L.; Barros, J.P.; Costa, A.. "Modeling formalisms for embedded system design". 5-1-5-34-5-1-5-34. 2005.
  8. Gomes, Luis; Costa, Anikó. "Hardware-level Design Languages". In The Industrial Information Technology Handbook, edited by Richard Zurawski, 84-1-84-18. CRC Press, 2005.
    Published
  9. Gomes, Luis. "Fuzzy modelling for reactive real-time systems control using Reactive Petri Nets". In Fuzziness in Petri Nets, edited by J.Cardoso, 223-254. Physica-Verlag (Springer), 1999.
    Published
Conference paper
  1. Lagartinho-Oliveira, Carolina; Moutinho, Filipe; Gomes, Luis. "Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study". Paper presented in Petri Nets 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency, Geneva, 2024.
    Submitted
  2. Gomes, Luis; Costa, Anikó. "Model-driven development in hardware-software co-design of controllers for cyber-physical systems". 2023.
    10.1109/icelie58531.2023.10313106
  3. Pereira, F.; Moutinho, F.; Gomes, L.. "A syntax-independent code generation tool for IOPT-Petri nets". 2023.
    Published
  4. Gomes, Luis; Ribeiro-Gomes, José. "Analysing navigation paths in constrained graphs using Petri nets". Paper presented in 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), Helsinki-Espoo, 2023.
    Published • 10.1109/isie51358.2023.10228055
  5. Lagartinho-Oliveira, C.; Moutinho, F.; Gomes, L.. "Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange". 2023.
    10.1007/978-3-031-36007-7_14
  6. Luis Gomes; Rogério Campos-Rebelo; Anikó Costa; João-Paulo Barros. "Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach". Paper presented in CONTROLO 2022 - 15th APCA International Conference on Automatic Control and Soft Computing, 2022.
    10.1007/978-3-031-10047-5_44
  7. Fernando Pereira; Filipe Moutinho; Anikó Costa; João-Paulo Barros; Rogério Campos-Rebelo; Luis Gomes. "IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development". Paper presented in PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Bergen, 2022.
    Published • 10.1007/978-3-031-06653-5_7
  8. Joao-Paulo Barros; Luis Gomes. "Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker". 2022.
    10.1109/isie51582.2022.9831529
  9. Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes. "Towards Digital Twin in the Context of Power Wheelchairs Provision and Support". 2022.
    10.1007/978-3-031-07520-9_9
  10. Alves, A.; Lagartinho-Oliveira, C.; Moutinho, F.; Gomes, L.. "ROS-Based Digital Twin for Power Wheelchair". 2022.
    10.1109/ONCON56984.2022.10127002
  11. Bazydlo, G.; Costa, A.; Gomes, L.. "Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study". 2022.
    10.1109/ICELIE55228.2022.9969438
  12. Pasandideh, S.; Pereira, P.; Gomes, L.. "Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets". 2022.
    10.1109/IECON49645.2022.9968328
  13. Nuno Leal; Moutinho, Filipe; Costa, Anikó; Gomes, Luis. "Ferramenta de edição e configuração de código VHDL". Paper presented in XVII Jornadas sobre Sistemas Reconfiguráveis - REC2021, Porto, 2021.
    Published
  14. Lagartinho-Oliveira, C.; Moutinho, F.; Gomes, L.. "Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application". 2020.
    10.1007/978-3-030-45124-0_8
  15. Lagartinho-Oliveira, Carolina; Moutinho, Filipe; Gomes, Luis. "GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models". Paper presented in IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, 2019.
    Published • 10.1109/iecon.2019.8927556
  16. Wisniewski, Remigiusz; Bazydlo, Grzegorz; Gomes, Luis; Costa, Aniko; Wojnakowski, Marcin. "Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools". Paper presented in IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, 2019.
    Published • 10.1109/iecon.2019.8926692
  17. Pasandideh, Shabnam; Gomes, Luis; Malo, Pedro. "Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks". Paper presented in 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019.
    Published • 10.1109/isie.2019.8781238
  18. Barros, Joao Paulo; Gomes, Luis. "From non-autonomous Petri net models to executable state machines". Paper presented in 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019.
    Published • 10.1109/isie.2019.8781246
  19. Gomes, Luis; Barros, Joao Paulo. "Refining IOPT Petri Nets Class for Embedded System Controller Modeling". Paper presented in IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, 2018.
    Published • 10.1109/iecon.2018.8592921
  20. Fernandes, Joao M.; Barros, Joao Paulo; Gomes, Luis. "Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications". Paper presented in IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, 2018.
    Published • 10.1109/iecon.2018.8591317
  21. Pereira, Fernando; Gomes, Luis. "A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems". Paper presented in 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 2018.
    Published • 10.1109/indin.2018.8472084
  22. Pasandideh, Shabnam; Gomes, Luis; Maló, Pedro. "Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets". Paper presented in DoCEIS’18 – 2018 9h Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, 2018.
    Published • 10.1007/978-3-319-78574-5_8
  23. Esteves, Joao; Gomes, Luis; Costa, Aniko. "Collision avoidance system for an autonomous sailboat". Paper presented in IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, 2017.
    Published • 10.1109/iecon.2017.8216599
  24. Ataide, Artur; Barros, Joao Paulo; Brito, Isabel Sofia; Gomes, Luis. "Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards". Paper presented in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017.
    Published • 10.1109/etfa.2017.8247737
  25. Gomes, Luis; Costa, Aniko; Moutinho, Filipe; Malo, Pedro. "Reconfigurable devices based experimentation supporting teaching introductory digital systems". Paper presented in 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017.
    Published • 10.1109/indin.2017.8104829
  26. Fernandes, D.; Gomes, L.; Costa, A.. "Wind speed and direction measurement based on time of flight ultrasonic anemometer". 2017.
    10.1109/ISIE.2017.8001453
  27. Marques, H.; Gomes, L.; Costa, A.. "Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation". 2017.
    10.1109/ISIE.2017.8001425
  28. Feio, R.; Rosas, J.; Gomes, L.. "Translating IOPT Petri net models into PLC ladder diagrams". 2017.
    10.1109/ICIT.2017.7915535
  29. Pereira, Fernando; Gomes, Luis. "Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification". Paper presented in DoCEIS2016 - Doctoral Conference on Computing, Electrical and Industrial Systems, 2016.
    Published • 10.1007/978-3-319-31165-4_7
  30. Pereira, F.; Gomes, L.. "The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development". 2016.
    10.1109/IECON.2016.7794152
  31. Rocha, J.-I.; Dias, O.P.; Gomes, L.. "Semi-formal method design using synchronous dataflows and Petri nets". 2016.
    10.1109/IECON.2016.7793262
  32. Moutinho, F.; Paiva, L.; Maló, P.; Gomes, L.. "Semantic annotation of data in schemas to support data translations". 2016.
    10.1109/IECON.2016.7793691
  33. Gomes, L.. "Model-based development of distributed embedded controllers - Rapid prototyping using IOPT-tools and FPGAs - Rapid p". 2016.
    10.1109/FPGA4GPC.2016.7518526
  34. Ribeiro, José; Melício, Fernando; Gomes, Luis. "Extending IOPT Nets with a Module Construct". Paper presented in DoCEIS’16 – 2016 7th Doctoral Conference on Computing, Electrical and Industrial Systems, 2016.
    Published • 10.1007/978-3-319-31165-4_9
  35. Brito, I.S.; Barros, J.P.; Gomes, L.. "From requirements to code (Re2Code) - A model-based approach for controller implementation". 2016.
    10.1109/INDIN.2016.7819354
  36. Abdollahvand, S.; Oliveira, L.B.; Gomes, L.; Goes, J.. "A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques". 2015.
    10.1109/ISCAS.2015.7168878
  37. Brito, I.S.; Barros, J.P.; Gomes, L.. "Controller design and implementation: An approach based on problem frames and Petri Net models". 2015.
    10.1109/INDIN.2015.7281849
  38. Gomes, L.; Santos, M.; Pereira, T.; Costa, A.. "Model-based development of an autonomous sailing yacht controller". 2015.
    10.1109/ICARSC.2015.20
  39. Pereira, F.; Melo, A.; Gomes, L.. "Remote operation of embedded controllers designed using IOPT Petri-nets". 2015.
    10.1109/INDIN.2015.7281797
  40. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Event life time in detection of sequences of events". 2015.
    10.1109/ICIT.2015.7125562
  41. Moutinho, F.; Ribeiro, J.; Gomes, L.. "Distributed controllers modeling through Petri nets with multi-asynchronous-channels". 2015.
    10.1109/ICIT.2015.7125319
  42. Gomes, L.; Costa, A.; Moutinho, F.; Mota, R.. "Attracting students to engineering through autonomous sailing yacht development". 2015.
    10.1109/ICIT.2015.7125579
  43. Pereira, F.; Moutinho, F.; Gomes, L.. "IOPT-tools-Towards cloud design automation of digital controllers with Petri nets". 2015.
    10.1109/ICMC.2014.7232002
  44. Gomes, L.; Moutinho, F.; Pereira, F.; Ribeiro, J.; Costa, A.; Barros, J.-P.. "Extending input-output place-transition Petri nets for distributed controller systems development". 2015.
    10.1109/ICMC.2014.7231723
  45. Abdollahvand, S.; Paulino, N.; Gomes, L.; Goes, J.. "A current-mode VCO-based amplifier-less 2nd-order ¿S modulator with over 85dB SNDR". 2015.
    10.1109/ISCAS.2015.7169077
  46. Pereira, F.; Moutinho, F.; Barros, J.P.; Costa, A.; Gomes, L.. "Executable models for embedded controllers development - A cloud based development framework". 2015.
  47. Ribeiro, J.; Melício, F.; Gomes, L.. "High-level Petri nets modules for embedded controllers design". 2015.
    10.1109/INDIN.2015.7281851
  48. Campos-Rebelo, Rogério; Costa, Anikó; Gomes, Luis. "Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling". Paper presented in DoCEIS2015 - Doctoral Conference on Computing, Electrical and Industrial Systems, 2015.
    Published • 10.1007/978-3-319-16766-4_16
  49. Pereira, Fernando; Gomes, Luis. "Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers". Paper presented in DoCEIS2015 - Doctoral Conference on Computing, Electrical and Industrial Systems, 2015.
    Published • 10.1007/978-3-319-16766-4_18
  50. Silva, Edgar M.; Gomes, Luis; Rodrigues, João; Maló, Pedro. "A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation". Paper presented in DoCEIS2015 - Doctoral Conference on Computing, Electrical and Industrial Systems, 2015.
    Published • 10.1007/978-3-319-16766-4_37
  51. Martins, João; Camarinha-Matos, Luis M.; Goes, João; Gomes, Luis. "Towards Cloud-Based Engineering Systems". Paper presented in DoCEIS2015 - Doctoral Conference on Computing, Electrical and Industrial Systems, 2015.
    Published • 10.1007/978-3-319-16766-4_1
  52. Gasmi, Maroua; Mosbahi, Olfa; Khalgui, Mohamed; Gomes, Luis. "PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm". Paper presented in SoMeT 2015 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, 2015.
    Published • 10.1007/978-3-319-22689-7_5
  53. Campos-Rebelo, Rogerio; Silva, Edgar M.; Moutinho, Filipe; Pedro Maló; Anikó Costa; Luis Gomes. "Suporte de Comunicação para Controladores Distribuídos Desenvolvidos em Redes de Petri". Paper presented in REC’2014 –X Jornadas sobre Sistemas Reconfiguráveis, Vilamoura, 2014.
  54. Gasmi, M.; Mosbahi, O.; Khalgui, M.; Gomes, L.. "New pipelined-based solutions for optimal reconfigurations of real-time systems". 2014.
  55. Silva, E.M.; Campos-Rebelo, R.; Hirashima, T.; Moutinho, F.; Malo, P.; Costa, A.; Gomes, L.. "Communication support for Petri nets based distributed controllers". 2014.
    10.1109/ISIE.2014.6864769
  56. Gomes, L.; Costa, A.. "Cloud based development framework using IOPT Petri nets for embedded systems teaching". 2014.
    10.1109/ISIE.2014.6864959
  57. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Output events for human-system interaction modeling". 2014.
    10.1109/HSI.2014.6860486
  58. Barros, J.P.; Brito, I.S.; Gomes, L.. "Requirements specification for controller design - From use cases to IOPT net models". 2014.
    10.1109/INDIN.2014.6945509
  59. Gasmi, M.; Mosbahi, O.; Khalgui, M.; Gomes, L.. "Reconfigurable priority ceiling protocol: Under rate monotonic based real-time scheduling". 2014.
  60. Silva, E.M.; Maló, P.; Gomes, L.. "A platform independent communication support for distributed controller systems modelled by Petri nets". 2014.
    10.1109/INDIN.2014.6945489
  61. Barros, J.P.; Gomes, L.. "Towards the use of Place/Transition net tools for analysis of IOPT models". 2014.
    10.1109/ISIE.2014.6864774
  62. Pais, Rui; Barros, João Paulo; Gomes, Luís. "From SysML State Machines to Petri Nets Using ATL Transformations". Paper presented in DoCEIS¿14 ¿ 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems, 2014.
    Published • 10.1007/978-3-642-54734-8_26
  63. Campos-Rebelo, Rogério; Costa, Anikó; Gomes, Luís. "Elementary Events for Modeling of Human-System Interactions with Petri Net Models". Paper presented in DoCEIS’14 – 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems, 2014.
    Published • 10.1007/978-3-642-54734-8_25
  64. Camarinha-Matos, Luis M.; Goes, João; Gomes, Luis; Martins, João. "Towards Collective Awareness Systems". Paper presented in DoCEIS¿14 ¿ 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems, 2014.
    Published • 10.1007/978-3-642-54734-8_1
  65. Rocha, José-Inácio; Páscoa Dias, Octávio; Gomes, Luís. "Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows". Paper presented in DoCEIS¿14 ¿ 2014 5th Doctoral Conference on Computing, Electrical and Industrial Systems, 2014.
    Published • 10.1007/978-3-642-54734-8_27
  66. Gomes, L.; Monmasson, E.; Cirstea, M.; Rodriguez-Andina, J.J.. "Industrial electronic control: FPGAs and embedded systems solutions". 2013.
    10.1109/IECON.2013.6699112
  67. Pereira, F.; Gomes, L.. "Automatic synthesis of VHDL hardware components from IOPT Petri net models". 2013.
    10.1109/IECON.2013.6699475
  68. Rocha, J.-I.; Dias, O.P.; Gomes, L.. "Exploiting dataflows and Petri nets mappings". 2013.
    10.1109/INDIN.2013.6622950
  69. Moutinho, F.; Gomes, L.. "Towards distributed execution of Petri net conflicts through model transformation". 2013.
    10.1109/ICIT.2013.6505879
  70. Pereira, F.; Gomes, L.. "FPGA based speed control of Brushless DC Motors using IOPT Petri Net models". 2013.
    10.1109/ICIT.2013.6505810
  71. Gomes, L.; Moutinho, F.; Pereira, F.. "IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets". 2013.
    10.1109/FPL.2013.6645633
  72. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Events for human-system interaction modeling with IOPT Petri nets". Paper presented in HSI’13 – 6th International Conference on Human System Interaction, 2013.
    10.1109/HSI.2013.6577802
  73. Moutinho, F.; Pimenta, J.; Gomes, L.. "Configuring communication nodes for networked embedded systems specified by Petri nets". 2013.
    10.1109/ISIE.2013.6563867
  74. Barbosa, P.E.S.; Morais, M.; Galdino, K.; Andrade, M.; Gomes, L.; Moutinho, F.; De Figueiredo, J.C.A.. "Towards medical device behavioural validation using Petri nets". 2013.
  75. Moutinho, F.; Gomes, L.. "Distributed embedded systems design using Petri nets". 2013.
    10.1109/FPL.2013.6645617
  76. Barbosa, P.E.S.; Morais, M.; Galdino, K.; Andrade, M.; Gomes, L.; Moutinho, F.; De Figueiredo, J.C.A.. "Towards medical device behavioural validation using Petri nets". 2013.
    10.1109/CBMS.2013.6627756
  77. Camarinha-Matos, Luis M.; Goes, João; Gomes, Luís; Martins, João. "Contributing to the Internet of Things". Paper presented in DoCEIS'13 - 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems, 2013.
    Published • 10.1007/978-3-642-37291-9_1
  78. Campos-Rebelo, Rogério; Costa, Anikó; Gomes, Luís. "On Structuring Events for IOPT Net Models". Paper presented in DoCEIS'13 - 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems, 2013.
    Published • 10.1007/978-3-642-37291-9_25
  79. Moutinho, Filipe; Gomes, Luís. "Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification". Paper presented in DoCEIS'13 - 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems, 2013.
    Published • 10.1007/978-3-642-37291-9_24
  80. Pereira, Fernando; Gomes, Luís. "Minimalist Architecture to Generate Embedded System Web User Interfaces". Paper presented in DoCEIS'13 - 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems, 2013.
    Published • 10.1007/978-3-642-37291-9_26
  81. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "On structuring events for IOPT net models". Paper presented in DoCEIS¿13 ¿ 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems, 2013.
  82. Pereira, F.; Moutinho, F.; Gomes, L.. "Model-checking framework for embedded systems controllers development using IOPT Petri nets". 2012.
    10.1109/ISIE.2012.6237295
  83. Moutinho, F.; Gomes, L.. "State space generation for Petri nets-based GALS systems". 2012.
    10.1109/ICIT.2012.6210007
  84. Barros, J.P.; Gomes, L.; Garcia, L.. "Towards a complete description for individual course units: A follow-up to the Bologna proposals". 2012.
    10.1109/ICL.2012.6402207
  85. Barros, J.P.; Gomes, L.; Costa, A.. "On the verification of non-autonomous Petri net models using autonomous petri net tools". 2012.
    10.1109/IECON.2012.6389077
  86. Costa, A.; Gomes, L.; Barros, J.P.. "Model composition by reusing Petri net based modules". 2012.
    10.1109/IECON.2012.6389078
  87. Abdollahvand, S.; Goes, J.; Oliveira, L.B.; Gomes, L.; Paulino, N.. "Low phase-noise temperature compensated self-biased ring oscillator". 2012.
    10.1109/ISCAS.2012.6271805
  88. Pereira, F.; Moutinho, F.; Ribeiro, J.; Gomes, L.. "Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations". 2012.
    10.1109/IECON.2012.6389075
  89. Dezani, H.; Gomes, L.; Damiani, F.; Marranghello, N.. "Finding best urban routes based on analyses of high level and IOPT Petri net models". 2012.
    10.1109/IECON.2012.6389079
  90. Campos-Rebelo, R.; Costa, A.; Gomes, L.. "Petri nets based study plan construction supporting student's evolution monitoring". 2012.
    10.1109/ICELIE.2012.6471148
  91. Campos-Rebelo, Rogério; Costa, Anikó; Gomes, Luís. "Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms". Paper presented in DoCEIS'12 - 2012 3rd Doctoral Conference on Computing, Electrical and Industrial Systems, 2012.
    Published
  92. Camarinha-Matos, Luis M.; Goes, João; Gomes, Luís; Martins, João. "Raising Awareness for Value Creation Potential in Engineering Research". Paper presented in DoCEIS'12 - 2012 3rd Doctoral Conference on Computing, Electrical and Industrial Systems, 2012.
    Published • 10.1007/978-3-642-28255-3_1
  93. Rocha, J.-I.; Gomes, L.; Dias, O.P.. "Analysing storage resources on Synchronous Dataflows using Petri net verification techniques". 2012.
    10.1109/IECON.2012.6389492
  94. Dezani, H.; Gomes, L.; Damiani, F.; Marranghello, N.. "Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm". 2012.
    10.1109/IECON.2012.6389412
  95. Moutinho, F.; Gomes, L.; Costa, A.; Pimenta, J.. "Asynchronous wrappers configuration within GALS systems specified by Petri nets". 2012.
    10.1109/ISIE.2012.6237288
  96. Moutinho, F.; Gomes, L.. "Extending a net splitting operation for decomposition of high-level Petri nets". 2012.
    10.1109/IECON.2012.6389080
  97. Moutinho, Filipe; Gomes, Luís. "Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems". Paper presented in DoCEIS'12 - 2012 3rd Doctoral Conference on Computing, Electrical and Industrial Systems, 2012.
    Published • 10.1007/978-3-642-28255-3_16
  98. Pereira, Fernando; Moutinho, Filipe; Gomes, Luís. "A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets". Paper presented in DoCEIS'12 - 2012 3rd Doctoral Conference on Computing, Electrical and Industrial Systems, 2012.
    Published • 10.1007/978-3-642-28255-3_14
  99. Abdollahvand, S.; Goes, J.; Paulino, N.; Nowacki, B.; Gomes, L.. "A polyphase comb filter using interlaying multiplexers for high-speed single-bit sigma-delta modulators". Paper presented in 18th International Conference - Mixed Design of Integrated Circuits and Systems, MIXDES 2011, 2011.
    Published
  100. Pereira, F.; Moutinho, F.; Gomes, L.; Campos-Rebelo, R.. "IOPT Petri net state space generation algorithm with maximal-step execution semantics". 2011.
    10.1109/INDIN.2011.6034958
  101. Costa, A.; Gomes, L.. "System development using Petri net based modules". 2011.
    10.1109/INDIN.2011.6034990
  102. Reis, M.; Campos-Rebelo, R.; Gomes, L.. "Introducing model-based development within the reengineering of a Smart House controllers system". 2011.
    10.1109/INDIN.2011.6034987
  103. Ferreira, R.; Costa, A.; Gomes, L.. "Intra- and inter-circuit network for Petri nets based components". 2011.
    10.1109/ISIE.2011.5984387
  104. Moutinho, F.; Pereira, F.; Gomes, L.. "Automatic generation of graphical user interfaces for VHDL based controllers". 2011.
    10.1109/ISIE.2011.5984381
  105. Pereira, F.; Gomes, L.; Redondo, L.. "FPGA controller for power converters with integrated oscilloscope and graphical user interface". 2011.
    10.1109/PowerEng.2011.6036436
  106. Moutinho, F.; Gomes, L.. "State space generation algorithm for gals systems modeled by IOPT Petri nets". 2011.
    10.1109/IECON.2011.6119762
  107. Pais, R.; Gomes, L.; Barros, J.P.. "From UML state machines to Petri nets: History attribute translation strategies". 2011.
    10.1109/IECON.2011.6119924
  108. Rocha, J.-I.; Gomes, L.; Dias, O.P.. "Petri net verification techniques on Synchronous Dataflow models". 2011.
    10.1109/IECON.2011.6119927
  109. Ribeiro, J.; Moutinho, F.; Pereira, F.; Barros, J.P.; Gomes, L.. "An Ecore based Petri net type definition for PNML IOPT models". 2011.
    10.1109/INDIN.2011.6034992
  110. Pereira, F.; Moutinho, F.; Gomes, L.; Ribeiro, J.; Campos-Rebelo, R.. "An IOPT-net state-space generator tool". 2011.
    10.1109/INDIN.2011.6034907
  111. Campos-Rebelo, R.; Pereira, F.; Moutinho, F.; Gomes, L.. "From IOPT Petri nets to C: An automatic code generator tool". 2011.
    10.1109/INDIN.2011.6034908
  112. Rocha, J.-I.; Gomes, L.; Dias, O.P.. "Dataflow model property verification using Petri net translation techniques". 2011.
    10.1109/INDIN.2011.6034993
  113. Guerreiro, H.; Campos-Rebelo, R.; Gomes, L.. "Bridge expansion joints monitoring system". 2011.
    10.1109/INES.2011.5954711
  114. Pais, Rui; Gomes, Luís; Barros, João Paulo. "Towards Statecharts to Input-Output Place Transition Nets Transformations". Paper presented in DoCEIS'11 - 2011 2nd Doctoral Conference on Computing, Electrical and Industrial Systems, 2011.
    Published
  115. Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André. "SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design". Paper presented in DoCEIS'11 - 2011 2nd Doctoral Conference on Computing, Electrical and Industrial Systems, 2011.
    Published
  116. Pereira, Fernando; Gomes, Luis; Moutinho, Filipe. "Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces". Paper presented in DoCEIS'11 - 2011 2nd Doctoral Conference on Computing, Electrical and Industrial Systems, 2011.
    Published • 10.1007/978-3-642-19170-1_27
  117. Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Anikó; Monteiro, André. "Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System". Paper presented in DoCEIS'11 - 2011 2nd Doctoral Conference on Computing, Electrical and Industrial Systems, 2011.
    Published • 10.1007/978-3-642-19170-1_26
  118. Ricardo Ferreira; Anikó Costa; Gomes, Luis. "Interligação intra- e inter-circuito de componentes especificados com Redes de Petri". Paper presented in REC’2010 – VI Jornadas sobre Sistemas Reconfiguráveis, Aveiro, 2010.
  119. Barbosa, P.E.S.; Costa, A.; Gomes, L.; Ramalho, F.; De Figueiredo, J.C.A.; Antonio Jr.. "A MDA-based contribution for integrating web services within embedded system's design". 2010.
    10.1109/INDIN.2010.5549679
  120. Gomes, L.; Rebelo, R.; Barros, J.P.; Costa, A.; Pais, R.. "From Petri net models to C implementation of digital controllers". 2010.
    10.1109/ISIE.2010.5637670
  121. Moutinho, F.; Gomes, L.; Ramalho, F.; Figueiredo, J.; Barros, J.P.; Barbosa, P.; Pais, R.; Costa, A.. "Ecore representation for extending pnml for Input-Output Place-Transition nets". 2010.
    10.1109/IECON.2010.5675332
  122. Barbosa, Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Anikó; Gomes, Luís; Junior, Antônio. "Semantic Equations for Formal Models in the Model-Driven Architecture". Paper presented in DoCEIS'10 - 2010 Doctoral Conference on Computing, Electrical and Industrial Systems, 2010.
    Published • 10.1007/978-3-642-11628-5_27
  123. Costa, Anikó; Barbosa, Paulo; Gomes, Luís; Ramalho, Franklin; Figueiredo, Jorge; Junior, Antônio. "Properties Preservation in Distributed Execution of Petri Nets Models". Paper presented in DoCEIS'10 - 2010 Doctoral Conference on Computing, Electrical and Industrial Systems, 2010.
    Published • 10.1007/978-3-642-11628-5_26
  124. Jorge, André; Guerreiro, João; Pereira, Pedro; Martins, João; Gomes, Luís. "Energy Consumption Monitoring System for Large Complexes". Paper presented in DoCEIS'10 - 2010 Doctoral Conference on Computing, Electrical and Industrial Systems, 2010.
    Published • 10.1007/978-3-642-11628-5_46
  125. Machado, Ricardo J.; Fernandes, João M.; Barros, João P.; Gomes, Luís. "Scenario-Based Modeling in Industrial Information Systems". Paper presented in DIPES’2010 - IFIP Conference on Distributed and Parallel Embedded Systems, 2010.
    Published • 10.1007/978-3-642-15234-4_4
  126. João Oliveira; Anikó Costa; Gomes, Luis. "Configurador de plataformas específicas em Co-design de Sistemas Embutidos". Paper presented in REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, Monte de Caparica, 2009.
  127. Moutinho, F.; Gomes, L.. "From models to controllers integrating graphical animation in FPGA through automatic code generation". 2009.
    10.1109/ISIE.2009.5218315
  128. Scutaru, Gh.; Cocorada, E.; Gomes, L.; Scapolla, A.M.; Mustica, M.; Pavalache, M.; Kristaly, D.; Cocorada, S.. "Enhanced individualized learning environment's impact on the learning process". 2009.
    10.1109/ICELIE.2009.5413212
  129. Patrício, G.; Gomes, L.. "Smart house monitoring and actuating system development using automatic code generation". 2009.
    10.1109/INDIN.2009.5195813
  130. Costa, A.; Gomes, L.. "Petri net partitioning using net splitting operation". 2009.
    10.1109/INDIN.2009.5195804
  131. Martins, J.F.; Pires, V.F.; Gomes, L.; Dias, O.P.. "Plug-in electric vehicles integration with renewable energy building facility - Building/vehicle interface". 2009.
    10.1109/POWERENG.2009.4915258
  132. Barbosa, P.E.S.; Costa, A.; De Figueiredo, J.C.A.; Ramalho, F.; Gomes, L.; Junior, A.D.D.S.. "Modeling complex Petri nets operations in the model-driven architecture". 2009.
    10.1109/IECON.2009.5414909
  133. Figueiredo, M.; Michalak, T.; Goes, J.; Gomes, L.; Sniatala, P.. "Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits". 2009.
    10.1109/ICECS.2009.5410771
  134. Ngolo, M.; Palma, L.B.; Coito, F.; Gomes, L.; Costa, A.. "Architecture for remote laboratories based on REST web services". 2009.
    10.1109/ICELIE.2009.5413216
  135. Gomes, L.; Barros, J.P.. "PNML based composition in non-autonomous Petri net models". 2009.
    10.1109/IECON.2009.5414908
  136. Gomes, L.; Patricio, G.; Ferreira, R.; Costa, A.. "Remote experimentation for introductory digital logic course". 2009.
    10.1109/ICELIE.2009.5413204
  137. Bukowiec, Arkadiusz; Gomes, Luis. "Partitioning of Mealy Finite State Machines". Paper presented in DESDes’09 –4th IFAC Workshop on Discrete-Event System Design, 2009.
    Published • 10.3182/20091006-3-es-4010.00006
  138. Martins, G.; Barata, M.; Gomes, L.. "Low cost method to reproduce sound with FPGA". 2008.
    10.1109/ISIE.2008.4677050
  139. Costa, A.; Gomes, L.; Barros, J.P.; Oliveira, J.; Reis, T.. "Petri nets tools framework supporting FPGA-based controller implementations". 2008.
    10.1109/IECON.2008.4758345
  140. Gomes, L.; Lourenço, J.. "Petri nets-based automatic generation GUI tools for embedded systems". 2008.
    10.1109/HSI.2008.4581447
  141. Lourenco, João; Gomes, Luís. "Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models". Paper presented in ATPN’2008; 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, 2008.
    Published • 10.1007/978-3-540-68746-7_27
  142. Costa, A.; Gomes, L.. "Petri net splitting operation within embedded systems co-design". 2007.
    10.1109/INDIN.2007.4384808
  143. Costa, A.; Gomes, L.. "Module composition within petri nets model-based development". 2007.
    10.1109/SIES.2007.4297351
  144. Gomes, L.; Costa, A.; Barros, J.P.; Lima, P.. "From Petri net models to VHDL implementation of digital controllers". 2007.
    10.1109/IECON.2007.4460403
  145. Gomes, L.; Costa, A.; Barros, J.P.; Pais, R.; Rodrigues, T.; Ferreira, R.. "Petri net based building automation and monitoring system". 2007.
    10.1109/INDIN.2007.4384731
  146. Gomes, L.; Barros, J.P.; Costa, A.; Nunes, R.. "The input-output place-transition petri net class and associated tools". 2007.
    10.1109/INDIN.2007.4384809
  147. Nunes, R.; Gomes, L.; Barros, J.P.. "A Graphical editor for the input-output place-transition Petri net class". 2007.
    10.1109/EFTA.2007.4416858
  148. Gomes, L.; Costa, A.. "Removing ill-structured arcs in hierarchical and concurrent state diagrams". 2006.
    10.1109/ETFA.2006.355193
  149. Gomes, L.; Costa, A.. "On exercising hardware-software logical equivalency using FPGAs". 2006.
    10.1109/ISIE.2006.296128
  150. Gomes, L.; Costa, A.. "Emphasizing graphical modeling formalisms within digital systems design course". 2006.
    10.1109/ICELIE.2006.347180
  151. Costa, A.; Gomes, L.. "Partitioning of petri net models amenable for distributed execution". 2006.
    10.1109/ETFA.2006.355253
  152. Gomes, L.; Costa, A.. "Petri nets as supporting formalism within embedded systems co-design". 2006.
    10.1109/IES.2006.357468
  153. Costa, A.; Gomes, L.; Francisco, H.; Silva, B.. "Internal event removal in hierarchical and concurrent state diagrams". Paper presented in DESDes’06 – 3rd IFAC Workshop on Discrete-Event System Design, 2006.
    Published
  154. Pais, R.; Barros, J.P.; Gomes, L.. "A Tool for Tailored Code Generation from Petri Net Models". Paper presented in 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005.
    Published • 10.1109/etfa.2005.1612615
  155. Gomes, L.. "On conflict resolution in Petri nets models through model structuring and composition". 2005.
    10.1109/INDIN.2005.1560425
  156. Gomes, L.; Costa, A.. "Teaching formal methods within system-on-a-programmable-chip design". 2005.
    10.1109/MSE.2005.53
  157. Gomes, L.; Costa, A.; Meira, P.. "From use cases to building monitoring systems through Petri nets". 2005.
    10.1109/ISIE.2005.1529145
  158. Gomes, L.. "Programmable logic devices supporting embedded system design curriculum". 2005.
    10.1109/IECON.2005.1569241
  159. Gomes, L.; Costa, A.. "Remote laboratory support for an introductory microprocessor course". Paper presented in MSE’2005 – 2005 International Conference on Microelectronic Systems Education, 2005.
  160. Gomes, L.; Barros, J.P.; Costa, A.; Pais, R.; Moutinho, F.. "Towards usage of formal methods within embedded systems co-design". Paper presented in ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 2005.
  161. Pais, R.; Barros, J.P.; Gomes, L.. "A tool for tailored code generation from Petri net models". Paper presented in ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 2005.
  162. Gomes, L.; Barros, J.P.; Lino, R.. "Addition of fault detection capabilities in automation applications using petri nets". 2004.
    10.1109/ISIE.2004.1571882
  163. Barros, J.P.; Gomes, L.. "On the use of coloured petri nets for object-oriented design". Paper presented in ATPN’04; 25th International Conference on Application and Theory of Petri Nets, 2004.
  164. Barros, J.P.; Gomes, L.. "Net model composition and modification by net operations: A pragmatic approach". Paper presented in INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics, 2004.
  165. Gomes, L.; Barros, J.P.. "On structuring mechanisms for Petri nets based system design". 2003.
    10.1109/ETFA.2003.1248731
  166. Gomes, L; Costa, Anikó. "On lifting of Statechart structuring mechanisms". Paper presented in ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 2003.
    10.1109/CSD.2003.1207715
  167. Barros, JP; Gomes, L.. "Modifying Petri net models by means of crosscutting operations". Paper presented in ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 2003.
    10.1109/CSD.2003.1207712
  168. Gomes, L; Costa, Anikó. "From use cases to system implementation: Statechart based co-design". Paper presented in MEMOCODE’2003 - First ACM/IEEE Conference on Formal Methods and Programming Models for Codesign, 2003.
    10.1109/MEMCOD.2003.1210083
  169. Sanz, R.; González, I.; Segarra, M.; Tagliarini, R.; Gomes, L.; Hernández, G.; Zangrilli, A.. "Corba-based interoperation in Substation Automation Systems". 2002.
  170. Gomes, L.. "Introducing programmable logic devices into digital design". 2001.
    10.1109/MSE.2001.932420
  171. Gomes, L.; Barros, J.-P.; Costa, A.. "Man-machine interface for real-time telecontrol based on Petri nets specification". Paper presented in 2001 IEEE International Conference on Systems, Man & Cybernetics, 2001.
  172. Gomes, Luis; Steiger-Garcao, A.. "Petri net based programmable fuzzy controller targeted for distributed control environments". Paper presented in FUZZ-IEEE/IFES’95; The International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium, 1995.
  173. Gomes, Luís; Steiger-Garção, A.. "Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning". Paper presented in ATPN’95; 16th International Conference on Application and Theory of Petri Nets, 1995.
    10.1007/3-540-60029-9_42
Edited book
  1. Gomes, Luis; Lorenz, Robert. Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings. Springer Nature Switzerland. 2023.
    Published • 10.1007/978-3-031-33620-1
  2. Brito Palma, Luís; Neves-Silva, Rui; Gomes, Luis. CONTROLO 2022 Proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, July 6-8, 2022, Caparica, Portugal. Springer International Publishing. 2022.
    Published • 10.1007/978-3-031-10047-5
  3. Gomes, Luís; Khomenko, Victor; Fernandes, João M.. Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). Los Alamitos, Califórnia, EUA, United States: IEEE Computer Society Press. 2010.
    Published • Editor
  4. Gomes, L.; Fernandes, J.M.. Behavioral modeling for embedded systems and technologies: Applications for design and implementation. 2009.
    10.4018/978-1-60566-750-8
  5. Gomes, Luis; Garcia-Zubia , Javier. Advances on remote laboratories and e-learning experiences. Spain: University of Deusto, Bilbao. 2007.
    Published • Editor
  6. Yakovlev, Alex.; Gomes, Luis; Lavagno, Luciano. Hardware Design and Petri Nets. Springer US. 2000.
    Published • 10.1007/978-1-4757-3143-9 • Editor
Journal article
  1. Carolina Lagartinho-Oliveira; Fernando Pereira; Filipe Moutinho; Rogerio Campos-Rebelo; Luis Gomes. "Integrated Development of Embedded Systems With Remote Graphical User Interfaces". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3287198.
    10.1109/ACCESS.2023.3287198
  2. Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes. "Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model". Computers (2022): https://doi.org/10.3390/computers11110166.
    10.3390/computers11110166
  3. Changan Li; Sirui Wu; Zhan Li; Yuxiao Zhang; Lijie Zhang; Luis Gomes. "Intelligent Scheduling Method for Bulk Cargo Terminal Loading Process Based on Deep Reinforcement Learning". Electronics (2022): https://doi.org/10.3390/electronics11091390.
    10.3390/electronics11091390
  4. Chenlu Liu; Di Jiang; Weiyang Lin; Luis Gomes. "Robot Grasping Based on Stacked Object Classification Network and Grasping Order Planning". Electronics (2022): https://doi.org/10.3390/electronics11050706.
    10.3390/electronics11050706
  5. Shabnam Pasandideh; Pedro Pereira; Luis Gomes. "Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities". IEEE Access (2022): https://doi.org/10.1109/ACCESS.2022.3167441.
    10.1109/ACCESS.2022.3167441
  6. Yanbin Liu; Jue Wang; Luis Gomes; Weichao Sun. "Adaptive Robust Control for Networked Strict-Feedback Nonlinear Systems with State and Input Quantization". Electronics 10 22 (2021): 2783-2783. https://doi.org/10.3390/electronics10222783.
    10.3390/electronics10222783
  7. Oscar Lucia; Joao Martins; Yousef Ibrahim; Kazuhiro Umetani; Luis Gomes; Eiji Hiraki; Houcine Zeroug; Milos Manic. "Industrial Electronics Education: Past, Present, and Future Perspectives". IEEE Industrial Electronics Magazine 15 1 (2021): 140-154. https://doi.org/10.1109/MIE.2020.3002488.
    10.1109/MIE.2020.3002488
  8. Luis Ribeiro; Luis Gomes. "Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems". IEEE Access 9 (2021): 153126-153141. https://doi.org/10.1109/ACCESS.2021.3127344.
    10.1109/ACCESS.2021.3127344
  9. Luis M. Camarinha-Matos; João Goes; Luis Gomes; Pedro Pereira. "Soft and Transferable Skills Acquisition through Organizing a Doctoral Conference". Education Sciences (2020): https://doi.org/10.3390/educsci10090235.
    10.3390/educsci10090235
  10. Filipe Moutinho; Rogerio Campos-Rebelo; Carolina Lagartinho-Oliveira; Edna Moreira; Bruno Almeida; Luis Gomes. "NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools". Electronics (2020): https://doi.org/10.3390/electronics9081328.
    10.3390/electronics9081328
  11. Roopak Sinha; Sandeep Patil; Luis Gomes; Valeriy Vyatkin. "A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems". IEEE Transactions on Industrial Informatics 15 7 (2019): 3772-3783. https://doi.org/10.1109/TII.2019.2908665.
    10.1109/TII.2019.2908665
  12. Rocha, José-Inácio; Páscoa Dias, Octávio; Gomes, Luís. "Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings". Electronics 7 12 (2018): 448. http://dx.doi.org/10.3390/electronics7120448.
    Published • 10.3390/electronics7120448
  13. Gasmi, Maroua; Mosbahi, Olfa; Khalgui, Mohamed; Gomes, Luis; Li, Zhiwu. "R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node". IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 6 (2018): 892-905. http://dx.doi.org/10.1109/tsmc.2016.2625817.
    Published • 10.1109/tsmc.2016.2625817
  14. Gasmi, Maroua; Mosbahi, Olfa; Khalgui, Mohamed; Gomes, Luis; Li, Zhiwu. "Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks". IEEE Transactions on Systems, Man, and Cybernetics: Systems (2018): 1-15. http://dx.doi.org/10.1109/tsmc.2018.2824900.
    Published • 10.1109/tsmc.2018.2824900
  15. Wisniewski, R.; Karatkevich, A.; Adamski, M.; Costa, A.; Gomes, L.. "Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs". IEEE Transactions on Control Systems Technology (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85018930762&partnerID=MN8TOARS.
    10.1109/TCST.2017.2692204
  16. Pereira, F.; Gomes, L.. "The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers". IEEE Transactions on Industrial Electronics 64 3 (2017): 2363-2372. http://www.scopus.com/inward/record.url?eid=2-s2.0-85014904588&partnerID=MN8TOARS.
    10.1109/TIE.2016.2620101
  17. Wisniewski, R.; Bazydlo, G.; Gomes, L.; Costa, A.. "Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices". IEEE Transactions on Industrial Informatics 13 4 (2017): 1734-1741. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029446918&partnerID=MN8TOARS.
    10.1109/TII.2017.2702564
  18. Rocha, J.-I.; Dias, O.P.; Gomes, L.. "Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”: Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n. 31, pp 207–229, 2002". Journal of Signal Processing Systems 81 1 (2015): 129-133. http://www.scopus.com/inward/record.url?eid=2-s2.0-84937630870&partnerID=MN8TOARS.
    10.1007/s11265-015-0977-5
  19. Contreras, J.; Tornero, J.; Ferreira, I.; Martins, R.; Gomes, L.; Fortunato, E.. "Simulated and real sheet-of-light 3D object scanning using a-Si: H thin film PSD arrays". Sensors (Switzerland) 15 12 (2015): 29938-29949. http://www.scopus.com/inward/record.url?eid=2-s2.0-84949008497&partnerID=MN8TOARS.
    10.3390/s151229779
  20. Pereira, F.; Gomes, L.; Redondo, L.M.. "Multifunctional controller architecture for solid-state Marx modulator based on FPGA". IEEE Transactions on Plasma Science 42 10 (2014): 2991-2997. http://www.scopus.com/inward/record.url?eid=2-s2.0-84908455430&partnerID=MN8TOARS.
    10.1109/TPS.2014.2320409
  21. Moutinho, F.; Gomes, L.. "Asynchronous-channels within petri net-based GALS distributed embedded systems modeling". IEEE Transactions on Industrial Informatics 10 4 (2014): 2024-2033. http://www.scopus.com/inward/record.url?eid=2-s2.0-84910050992&partnerID=MN8TOARS.
    10.1109/TII.2014.2341933
  22. Dezani, H.; Bassi, R.D.S.; Marranghello, N.; Gomes, L.; Damiani, F.; Nunes da Silva, I.. "Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function". Neurocomputing 124 (2014): 162-167. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885838105&partnerID=MN8TOARS.
    10.1016/j.neucom.2013.07.015
  23. Contreras, J.; Martins, R.; Wojcik, P.; Filonovich, S.; Aguas, H.; Gomes, L.; Fortunato, E.; Ferreira, I.. "Color sensing ability of an amorphous silicon position sensitive detector array system". Sensors and Actuators, A: Physical 205 (2014): 26-37. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887841015&partnerID=MN8TOARS.
    10.1016/j.sna.2013.10.017
  24. Barros, Joao Paulo; Gomes, Luis; Garcia, Luis. "A Proposal for the Description of Individual Course Units". International Journal of Engineering Pedagogy (iJEP) 3 (2013): https://publons.com/wos-op/publon/35017204/.
    10.3991/IJEP.V3IS1.2420
  25. Contreras, J.; Gomes, L.; Filonovich, S.; Correia, N.; Fortunato, E.; Martins, R.; Ferreira, I.. "3D scanning characteristics of an amorphous silicon position sensitive detector array system". Optics Express 20 4 (2012): 4583-4602. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857291188&partnerID=MN8TOARS.
    10.1364/OE.20.004583
  26. Gomes, L.; Lourenco, J.. "Rapid prototyping of graphical user interfaces for petri-net-based controllers". IEEE Transactions on Industrial Electronics 57 5 (2010): 1806-1813. http://www.scopus.com/inward/record.url?eid=2-s2.0-77951161891&partnerID=MN8TOARS.
    Published • 10.1109/TIE.2009.2031188
  27. Rodriguez-Andina, Juan J.; Luis Gomes. "Current Trends in Industrial Electronics Education". Ieee Transactions on Industrial Electronics 57 10 (2010): 3245-3252.
    Published • 10.1109/TIE.2010.2057235
  28. Gomes, L.; Bogosyan, S.. "Current trends in remote laboratories". IEEE Transactions on Industrial Electronics 56 12 (2009): 4744-4756. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954994960&partnerID=MN8TOARS.
    10.1109/TIE.2009.2033293
  29. Barbosa, P.; Ramalho, F.; Figueiredo, J.; Júnior, A.; Costa, A.; Gomes, L.. "Checking semantics equivalence of MDA transformations in concurrent systems". Journal of Universal Computer Science 15 11 (2009): 2196-2224. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350381728&partnerID=MN8TOARS.
  30. Gomes, L.; Barros, J.P.. "Structuring and composability issues in petri nets modeling". IEEE Transactions on Industrial Informatics 1 2 (2005): 112-123. http://www.scopus.com/inward/record.url?eid=2-s2.0-20444368009&partnerID=MN8TOARS.
    10.1109/TII.2005.844433
Journal issue
  1. Remigiusz Wisniewski; Mengchu Zhou; Luis Gomes; Maria Pia Fanti; Ratnesh Kumar. "Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems". IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 10 (2020): https://doi.org/10.1109/TSMC.2020.3020588.
    Published • 10.1109/TSMC.2020.3020588 • Invited editor
  2. Wisniewski, R.; Benysek, G.; Gomes, L.; Kania, D.; Simos, T.; Zhou, M.. "IEEE Access Special Section: Cyber-Physical Systems". IEEE Access 7 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85078023571&partnerID=MN8TOARS.
    Published • 10.1109/ACCESS.2019.2949898 • Invited editor
  3. Rodriguez-Andina, J.J.; Gomes, L.. "Guest editorial special section on information technologies within engineering education". IEEE Transactions on Industrial Informatics 9 1 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84871760454&partnerID=MN8TOARS.
    Published • 10.1109/TII.2012.2226185
  4. Gomes, L.; Rodriguez-Andina, J.J.. "Guest editorial special section on embedded and reconfigurable systems". IEEE Transactions on Industrial Informatics 9 3 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84883033330&partnerID=MN8TOARS.
    Published • 10.1109/TII.2013.2266098
  5. Manic, M.; Gomes, L.; Malinowski, A.. "IEEE transactions on industrial electronics: Guest editorial". IEEE Transactions on Industrial Electronics 58 3 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-79951635848&partnerID=MN8TOARS.
    Published • 10.1109/TIE.2010.2098638
  6. Gomes, Luis; Khomenko, V.; Fernandes, J.. "Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)". Iet Computers and Digital Techniques 5 6 (2011):
    Published • 10.1049/iet-cdt.2011.0150
  7. Rodriguez-Andina, Juan J.; Gomes, Luis. "SPECIAL SECTION ON CURRENT TRENDS IN INDUSTRIAL ELECTRONICS EDUCATION". Ieee Transactions on Industrial Electronics 57 10 (2010):
    10.1109/TIE.2010.2057292
  8. Gomes, Luis; Bogosyan, S.. "SPECIAL SECTION ON e-LEARNING AND REMOTE LABORATORIES WITHIN ENGINEERING EDUCATION-PART III". Ieee Transactions on Industrial Electronics 56 12 (2009):
    10.1109/TIE.2009.2033630
  9. Gomes, L.; Bogosyan, S.. "Guest Editorial". IEEE Transactions on Industrial Electronics 55 6 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-65449182823&partnerID=MN8TOARS.
    10.1109/TIE.2008.924910
  10. Gomes, L.; Bogosyan, S.. "Guest editorial". IEEE Transactions on Industrial Electronics 54 6 (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-36248954365&partnerID=MN8TOARS.
    10.1109/TIE.2007.907007
Magazine article
  1. Gomes, Luis. "IN MEMORIAM: PROF. CARL ADAM PETRI", Ieee Industrial Electronics Magazine, 2010
    10.1109/MIE.2010.938723
Preface / Postscript
  1. Palma, L.B.; Neves-Silva, R.; Gomes, L.. "Preface". Preface to CONTROLO 2022 Proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, July 6-8, 2022, Caparica, Portugal. Springer. 2022.
    Editor
  2. Luque, A.; Gomes, L.; Han, Q.-L.; Sokolowski, P.. "Welcome from the ICIT-2019 Technical Program Chairs". 4-4. 2019.
    Published • 10.1109/ICIT.2019.8755113
  3. Ahrens, A.; Gomes, L.; Benavente-Peces, C.. "Foreword". Preface to Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systems, IX-IX. SCITEPRESS. 2019.
    Published
  4. Gomes, L.; Monmasson, E.; Spagnuolo, G.; Venet, P.. "Welcome address from the Technical Programme Chairs". 5-5. 2018.
    10.1109/ICIT.2018.8352141
  5. Ruminski, J.; Gomes, L.. "Welcome message". 2018.
    10.1109/HSI.2018.8431331
  6. Gomes, L.; Palensky, P.; Al-Haddad, K.. "Welcome address from the technical programme co-chairs". 3-4. 2017.
    10.1109/ISIE.2017.8000792
  7. Jo, K.-H.; Gomes, L.; Manic, M.; Ruminski, J.; Suh, Y.. "Welcome message". 2017.
    10.1109/HSI.2017.8004983
  8. Luo, R.C.; Yu, X.; Estepa, A.L.; Ibrahim, Y.; Gomes, L.; Melendez, A.A.N.; Lai, Y.-S.; et al. "Welcome to IEEE IES ICIT 2016". 2016.
    10.1109/ICIT.2016.7474714
  9. Condry, M.; Gomes, L.; Hung, J.. "Message from the Technical Program Chair". 3-4. 2016.
    10.1109/ISIE.2016.7744854
  10. Boglietti, A.; Gao, H.; Gomes, L.; Hess, H.; Bello, L.L.; Manic, M.; Murakami, T.; et al. "Welcome Message from the IECON2016 Technical Program Chairs". 2016.
    10.1109/IECON.2016.7792930
  11. Cirstea, M.; Gomes, L.. "Message from the INDIN 2015 General Co-Chairs". 2015.
    10.1109/INDIN.2015.7281698
  12. Pereira, C.E.; Gomes, L.; Colombo, A.W.; Barata, J.; Wollschlaeger, M.. "Welcome to INDIN 2014". 3-4. 2014.
    10.1109/INDIN.2014.6945471
  13. Gomes, L.; Wtorek, J.; Costa, A.; Sawada, H.; Manic, M.; Strumillo, P.. "Welcome to HSI'2014". 2014.
    10.1109/HSI.2014.6860436
  14. Grega, W.; Kornecki, A.J.; Szmuc, T.; Zalewski, J.; Broy, M.; Caplinskas, A.; Crespo, A.; et al. "International workshop on Cyber-Physical Systems". 2013.
  15. Gomes, L.; Hübner, M.. "Welcome to INDIN 2013". 2013.
    10.1109/INDIN.2013.6622845
  16. Palensky, P.; Gomes, L.; Chow, M.-Y.; Luo, R.C.; Hung, J.Y.. "Welcome message of the IECON 2013 chairs". 2013.
    10.1109/IECON.2013.6699104
  17. Koubias, S.; Gomes, L.; Serpanos, D.; Jasperneite, J.; Ibrahim, Y.; Gialelis, J.; Valla, M.I.. "Welcome to ICIT'2012". 2012.
    10.1109/ICIT.2012.6209903
  18. Fodor, J.; Gomes, L.. "Welcome message from the general chairs". 2012.
    10.1109/INES.2012.6249905
  19. Gomes, L.; Chandan, C.; Dessaint, L.A.. "Message from the IECON 2012 technical program chairs". 2012.
    10.1109/IECON.2012.6388693
  20. Gomes, L.; Khomenko, V.; Fernandes, J.M.. "Message from the ACSD 2010 conference chairs". 2010.
    10.1109/ACSD.2010.4
  21. Carvalho, A.; Couto, C.; Gomes, L.; Andina, J.J.R.. "Message from the general chairs". 2009.
    10.1109/ICELIE.2009.5413222
  22. Man, K.; Franquelo, L.G.; Gomes, L.; Bogosyan, S.; Manic, M.. "Message from the technical program chairs". 2009.
    10.1109/IECON.2009.5415437
  23. Gomes, L.; Dekneuvel, E.. "Message from general co-chairs". 2009.
    10.1109/SIES.2007.4297307
  24. Gomes, L.; Fernandes, J.M.. "Preface". Preface to Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global. 2009.
    Published

Other

Other output
  1. A survey of static formal methods for building dependable industrial automation systems. 2021. Sinha, R.; Patil, S.; Gomes, L.; Vyatkin, V.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85169193271&partnerID=MN8TOARS.
    10.48550/arxiv.2108.05556
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2016 - 2023 Evaluating Resilience of Cyber-Physical-Social Systems - Using Graphical Security Models and Timed Coloured Petri Nets
Supervisor of Shabnam Pasandideh
 Engenharia Electrotécnica e de Computadores (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2020 Design of high-performance low-noise and low-power mixed-signal CMOS circuits employing self-biasing and low-voltage techniques
Co-supervisor of Somayeh Abdollahvand
 Engenharia Eletrotécnica e de Computadores (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2017 Desenvolvimento de anemómetro ultrassónico para suporte à navegação autónoma de veleiros
Supervisor of David Santos Fernandes
 Engenharia Electrotécnica e de Computadores (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2017 Desenvolvimento de um sistema anticolisão para um veleiro com navegação autónoma
Supervisor of João Miguel Ferreira Esteves
 Engenharia Electrotécnica e de Computadores (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2017 The DS-Pnet modeling formalism for cyber-physical system development
Supervisor of Fernando Joaquim Ganhão Pereira
 Engenharia Electrotécnica e de Computadores (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2012 - 2016 Modelização de Eventos: aplicação a modelos de interação do sistema com o ambiente
Supervisor of Rogério Alexandre Botelho Campos Rebelo
 Engenharia Electrotécnica e de Computadores (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2014 Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems
Supervisor of Filipe de Carvalho Moutinho
 Engenharia Electrotécnica e de Computadores (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2014 Amourphous Silicon 3D Sensors Applied to Object Detection
Co-supervisor of Javier Contreras Aparicio
 Ciências e Engenharia de Materiais (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2013 Reconfigurable Real-Time Wireless Sensor Networks (R2T-WSN): New Problems, Improved Solutions, and Feasible Realization
Co-supervisor of Maroua Gasmi
Institut National des Sciences Appliquées et de Technologie, Tunisia
2005 - 2010 Petri net model decomposition – A model based approach supporting distributed execution
Supervisor of Anikó Katalin Horváth da Costa
 Engenharia Electrotécnica (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2000 - 2006 Modularidade em Redes de Petri
Supervisor of João Paulo Mestre Ramos e Barros
 Engenharia Electrotécnica (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Association member

Society Organization name Role
2015/01/01 - Current IES-IEEE Industrial Electronics Society of the Institute of Electrical and Electronics Engineers Senior Member (permanent member) of the AdCom of the IES-IEEE (Administrative Committee of the Industrial Electronics Society of the Institute of Electrical and Electronics Engineers)
2014/01/01 - 2017/12/31 IES-IEEE Industrial Electronics Society of the Institute of Electrical and Electronics Engineers Vice President for Technical Activities
2011/01/01 - 2013/12/31 IES-IEEE Industrial Electronics Society of the Institute of Electrical and Electronics Engineers Vice President for Conferences
2007/01/01 - 2010/12/31 IES-IEEE Industrial Electronics Society of the Institute of Electrical and Electronics Engineers Vice President for Workshops and Small Conferences
Distinctions

Award

2016 2016 IEEE IES Anthony J. Hornfeck Service Award
IEEE Industrial Electronics Society, United States

Title

2014 Honorary Professor of Óbuda University
Obudai Egyetem, Hungary
2007 Profesor Onorific” (“Honorary Professor”) - Transilvania University of Brasov
Universitatea Transilvania din Brasov, Romania

Other distinction

2015 Maker of Merit
2009 Appreciation for the Outstanding Contributions to the IES Society as Chair of Technical Committee of Education in Engineering and Industrial Technologies (2007-2009)
2009 Appreciation for Great Contribution to the IEEE Industrial Electronics Society as Vice-President for Workshops in 2008 & 2009
1984 Praise, due to activities during Mandatory Military Service
Marinha Portuguesa, Portugal