Luis Filipe dos Santos Gomes
AuthID: R-000-9F1
41
TÃTULO: A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
AUTORES: Sinha, R; Patil, S; Gomes, L; Vyatkin, V;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 15, NÚMERO: 7
AUTORES: Sinha, R; Patil, S; Gomes, L; Vyatkin, V;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 15, NÚMERO: 7
42
TÃTULO: Welcome from the ICIT-2019 Technical Program Chairs
AUTORES: Luque, A; Gomes, L; Han, QL; Sokolowski, P;
PUBLICAÇÃO: 2019, FONTE: 2019 IEEE International Conference on Industrial Technology, ICIT 2019 in Proceedings of the IEEE International Conference on Industrial Technology, VOLUME: 2019-February
AUTORES: Luque, A; Gomes, L; Han, QL; Sokolowski, P;
PUBLICAÇÃO: 2019, FONTE: 2019 IEEE International Conference on Industrial Technology, ICIT 2019 in Proceedings of the IEEE International Conference on Industrial Technology, VOLUME: 2019-February
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID43
TÃTULO: Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks
AUTORES: Pasandideh, S; Gomes, L; Malo, P;
PUBLICAÇÃO: 2019, FONTE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
AUTORES: Pasandideh, S; Gomes, L; Malo, P;
PUBLICAÇÃO: 2019, FONTE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
44
TÃTULO: From non-autonomous Petri net models to executable state machines
AUTORES: Barros, JP; Gomes, L;
PUBLICAÇÃO: 2019, FONTE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
AUTORES: Barros, JP; Gomes, L;
PUBLICAÇÃO: 2019, FONTE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
45
TÃTULO: IEEE Access Special Section: Cyber-Physical Systems
AUTORES: Wiśniewski, R; Benysek, G; Gomes, L; Kania, D; Simos, T; Zhou, M;
PUBLICAÇÃO: 2019, FONTE: IEEE Access, VOLUME: 7
AUTORES: Wiśniewski, R; Benysek, G; Gomes, L; Kania, D; Simos, T; Zhou, M;
PUBLICAÇÃO: 2019, FONTE: IEEE Access, VOLUME: 7
46
TÃTULO: Twin Kinematics Approach for Robotic-Assisted Tele-Echography
AUTORES: Santos, L; Cortesao, R; Quintas, J;
PUBLICAÇÃO: 2019, FONTE: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019 in IEEE International Conference on Intelligent Robots and Systems
AUTORES: Santos, L; Cortesao, R; Quintas, J;
PUBLICAÇÃO: 2019, FONTE: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019 in IEEE International Conference on Intelligent Robots and Systems
INDEXADO EM: Scopus
Scopus47
TÃTULO: Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools
AUTORES: Wisniewski, R; Bazydlo, G; Gomes, L; Costa, A; Wojnakowski, M;
PUBLICAÇÃO: 2019, FONTE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
AUTORES: Wisniewski, R; Bazydlo, G; Gomes, L; Costa, A; Wojnakowski, M;
PUBLICAÇÃO: 2019, FONTE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
48
TÃTULO: GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models
AUTORES: Lagartinho Oliveira, C; Moutinho, F; Gomes, L;
PUBLICAÇÃO: 2019, FONTE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
AUTORES: Lagartinho Oliveira, C; Moutinho, F; Gomes, L;
PUBLICAÇÃO: 2019, FONTE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October
49
TÃTULO: Foreword
AUTORES: Ahrens, A; Gomes, L; Benavente Peces, C;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2019 in PECCS 2019 - Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systems
AUTORES: Ahrens, A; Gomes, L; Benavente Peces, C;
PUBLICAÇÃO: 2019, FONTE: 9th International Conference on Pervasive and Embedded Computing and Communication Systems, PECCS 2019 in PECCS 2019 - Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systems
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID50
TÃTULO: Twin Kinematics Approach for Robotic-Assisted Tele-Echography
AUTORES: Luis Santos; Rui Cortesao; Joao Quintas;
PUBLICAÇÃO: 2019, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
AUTORES: Luis Santos; Rui Cortesao; Joao Quintas;
PUBLICAÇÃO: 2019, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXADO EM: 
WOS
WOS