Luis Filipe dos Santos Gomes


AuthID: R-000-9F1

Publicações Confirmadas: 103



41
TÍTULO: Introducing Model-based Development within the Reengineering of a Smart House Controllers System
AUTORES: Mauro Reis; Rogerio Campos Rebelo; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
42
TÍTULO: IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Rogerio Campos Rebelo;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
43
TÍTULO: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
44
TÍTULO: Petri Net Verification Techniques on Synchronous Dataflow Models
AUTORES: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2011, FONTE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS
NO MEU: ORCID
45
TÍTULO: State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
46
TÍTULO: System development using Petri net based modules
AUTORES: Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
47
TÍTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
48
TÍTULO: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTORES: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
49
TÍTULO: Untitled  Full Text
AUTORES: Milos Manic; Luis Gomes ; Aleksander Malinowski;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 58, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
50
TÍTULO: A MDA-based contribution for integrating web services within embedded system's design  Full Text
AUTORES: Barbosa, PES; Costa, A ; Gomes, L ; Ramalho, F; De Figueiredo, JCA; Jr Antonio;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 5 de 11. Total de resultados: 103.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service