Luis Filipe dos Santos Gomes
AuthID: R-000-9F1
31
TITLE: Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application
AUTHORS: Lagartinho Oliveira, C; Moutinho, F; Gomes, L;
PUBLISHED: 2020, SOURCE: 11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020 in IFIP Advances in Information and Communication Technology, VOLUME: 577
AUTHORS: Lagartinho Oliveira, C; Moutinho, F; Gomes, L;
PUBLISHED: 2020, SOURCE: 11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020 in IFIP Advances in Information and Communication Technology, VOLUME: 577
32
TITLE: Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks
AUTHORS: Gasmi, M; Mosbahi, O; Khalgui, M; Gomes, L; Li, ZW;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, VOLUME: 50, ISSUE: 7
AUTHORS: Gasmi, M; Mosbahi, O; Khalgui, M; Gomes, L; Li, ZW;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, VOLUME: 50, ISSUE: 7
33
TITLE: NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools
AUTHORS: Moutinho, F; Campos Rebelo, R; Lagartinho Oliveira, C; Moreira, E; Almeida, B; Gomes, L;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 8
AUTHORS: Moutinho, F; Campos Rebelo, R; Lagartinho Oliveira, C; Moreira, E; Almeida, B; Gomes, L;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 8
34
TITLE: Soft and Transferable Skills Acquisition through Organizing a Doctoral Conference
AUTHORS: Camarinha Matos, LM; Goes, J; Gomes, L; Pereira, P;
PUBLISHED: 2020, SOURCE: EDUCATION SCIENCES, VOLUME: 10, ISSUE: 9
AUTHORS: Camarinha Matos, LM; Goes, J; Gomes, L; Pereira, P;
PUBLISHED: 2020, SOURCE: EDUCATION SCIENCES, VOLUME: 10, ISSUE: 9
35
TITLE: Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems
AUTHORS: Wisniewski, R; Zhou, MC; Gomes, L; Fanti, MP; Kumar, R;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, VOLUME: 50, ISSUE: 10
AUTHORS: Wisniewski, R; Zhou, MC; Gomes, L; Fanti, MP; Kumar, R;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, VOLUME: 50, ISSUE: 10
36
TITLE: Cryptojacking Detection with CPU Usage Metrics
AUTHORS: Gomes, F; Correia, M;
PUBLISHED: 2020, SOURCE: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020 in 2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020
AUTHORS: Gomes, F; Correia, M;
PUBLISHED: 2020, SOURCE: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020 in 2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020
INDEXED IN: 
Scopus
Scopus37
TITLE: A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
AUTHORS: Sinha, R; Patil, S; Gomes, L; Vyatkin, V;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 15, ISSUE: 7
AUTHORS: Sinha, R; Patil, S; Gomes, L; Vyatkin, V;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 15, ISSUE: 7
38
TITLE: Welcome from the ICIT-2019 Technical Program Chairs
AUTHORS: Luque, A; Gomes, L; Han, QL; Sokolowski, P;
PUBLISHED: 2019, SOURCE: 2019 IEEE International Conference on Industrial Technology, ICIT 2019 in Proceedings of the IEEE International Conference on Industrial Technology, VOLUME: 2019-February
AUTHORS: Luque, A; Gomes, L; Han, QL; Sokolowski, P;
PUBLISHED: 2019, SOURCE: 2019 IEEE International Conference on Industrial Technology, ICIT 2019 in Proceedings of the IEEE International Conference on Industrial Technology, VOLUME: 2019-February
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID39
TITLE: Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks
AUTHORS: Pasandideh, S; Gomes, L; Malo, P;
PUBLISHED: 2019, SOURCE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
AUTHORS: Pasandideh, S; Gomes, L; Malo, P;
PUBLISHED: 2019, SOURCE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
40
TITLE: From non-autonomous Petri net models to executable state machines
AUTHORS: Barros, JP; Gomes, L;
PUBLISHED: 2019, SOURCE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
AUTHORS: Barros, JP; Gomes, L;
PUBLISHED: 2019, SOURCE: 28th IEEE International Symposium on Industrial Electronics, ISIE 2019 in IEEE International Symposium on Industrial Electronics, VOLUME: 2019-June
