Luis Filipe dos Santos Gomes


AuthID: R-000-9F1

Confirmed Publications: 103



41
TITLE: Introducing Model-based Development within the Reengineering of a Smart House Controllers System
AUTHORS: Mauro Reis; Rogerio Campos Rebelo; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
42
TITLE: IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Rogerio Campos Rebelo;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
43
TITLE: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTHORS: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
44
TITLE: Petri Net Verification Techniques on Synchronous Dataflow Models
AUTHORS: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID
45
TITLE: State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
46
TITLE: System development using Petri net based modules
AUTHORS: Aniko Costa ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
47
TITLE: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTHORS: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
48
TITLE: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTHORS: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
49
TITLE: Untitled  Full Text
AUTHORS: Milos Manic; Luis Gomes ; Aleksander Malinowski;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 58, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
50
TITLE: A MDA-based contribution for integrating web services within embedded system's design  Full Text
AUTHORS: Barbosa, PES; Costa, A ; Gomes, L ; Ramalho, F; De Figueiredo, JCA; Jr Antonio;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 5 of 11. Total results: 103.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service