Filipe de Carvalho Moutinho
AuthID: R-000-MJR
21
TÃTULO: IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets
AUTORES: Gomes, L; Moutinho, F; Pereira, F;
PUBLICAÇÃO: 2013, FONTE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
AUTORES: Gomes, L; Moutinho, F; Pereira, F;
PUBLICAÇÃO: 2013, FONTE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef22
TÃTULO: MDA-based methodology for verifying distributed execution of embedded systems models
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXADO EM: Scopus CrossRef
Scopus CrossRef23
TÃTULO: Configuring communication nodes for networked embedded systems specified by Petri nets
AUTORES: Filipe Moutinho; Jose Pimenta; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: IEEE International Symposium on Industrial Electronics (ISIE) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTORES: Filipe Moutinho; Jose Pimenta; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: IEEE International Symposium on Industrial Electronics (ISIE) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: 
WOS
WOS24
TÃTULO: DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS
AUTORES: Filipe Moutinho; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
AUTORES: Filipe Moutinho; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
INDEXADO EM: WOS
WOS25
TÃTULO: IOPT-TOOLS - A WEB BASED TOOL FRAMEWORK FOR EMBEDDED SYSTEMS CONTROLLER DEVELOPMENT USING PETRI NETS
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLICAÇÃO: 2013, FONTE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLICAÇÃO: 2013, FONTE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
INDEXADO EM: WOS
WOS26
TÃTULO: State Space Generation for Petri nets-based GALS Systems
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: IEEE International Conference on Industrial Technology (ICIT) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: IEEE International Conference on Industrial Technology (ICIT) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
27
TÃTULO: Asynchronous Wrappers Configuration within GALS Systems Specified by Petri Nets
AUTORES: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLICAÇÃO: 2012, FONTE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTORES: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLICAÇÃO: 2012, FONTE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
28
TÃTULO: Model-checking Framework for Embedded Systems Controllers Development using IOPT Petri Nets
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
29
TÃTULO: A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
AUTORES: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
30
TÃTULO: Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
AUTORES: Filipe Moutinho; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
