Filipe de Carvalho Moutinho
AuthID: R-000-MJR
31
TÃTULO: Extending a net splitting operation for decomposition of high-level Petri nets
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
32
TÃTULO: Web Based IOPT Petri Net Editor with an Extensible Plugin Architecture to Support Generic Net Operations
AUTORES: Fernando Pereira; Filipe Moutinho; Jose Ribeiro; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTORES: Fernando Pereira; Filipe Moutinho; Jose Ribeiro; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
33
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
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
34
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
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
35
TÃTULO: Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces
AUTORES: Fernando Pereira; Luis Gomes ; Filipe Moutinho;
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
AUTORES: Fernando Pereira; Luis Gomes ; Filipe Moutinho;
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
36
TÃTULO: From IOPT Petri nets to C: an Automatic Code Generator Tool
AUTORES: Rogerio Campos Rebelo; Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Rogerio Campos Rebelo; Fernando Pereira; Filipe Moutinho; 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
37
TÃTULO: An IOPT-net State-Space Generator Tool
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Jose Ribeiro; 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)
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Jose Ribeiro; 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)
38
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)
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)
39
TÃTULO: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTORES: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
40
TÃTULO: Automatic Generation of Graphical User Interfaces for VHDL based Controllers
AUTORES: Filipe Moutinho; Fernando Pereira; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTORES: Filipe Moutinho; Fernando Pereira; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)