Filipe de Carvalho Moutinho
AuthID: R-000-MJR
21
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: 
WOS
WOS22
TITLE: IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: WOS
WOS23
TITLE: Towards distributed execution of Petri net conflicts through model transformation
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2013 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
24
TITLE: Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
AUTHORS: Filipe Moutinho; Luis Gomes;
PUBLISHED: 2013, SOURCE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
AUTHORS: Filipe Moutinho; Luis Gomes;
PUBLISHED: 2013, SOURCE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
INDEXED IN: 
Scopus WOS
Scopus WOS25
TITLE: Configuring communication nodes for networked embedded systems specified by Petri nets
AUTHORS: Moutinho, F; Pimenta, J; Gomes, L ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 22nd International Symposium on Industrial Electronics, ISIE 2013 in IEEE International Symposium on Industrial Electronics
AUTHORS: Moutinho, F; Pimenta, J; Gomes, L ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 22nd International Symposium on Industrial Electronics, ISIE 2013 in IEEE International Symposium on Industrial Electronics
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef26
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
INDEXED IN: Scopus CrossRef
Scopus CrossRef27
TITLE: Distributed embedded systems design using Petri nets
AUTHORS: Moutinho, F; Gomes, L;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Moutinho, F; Gomes, L;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef28
TITLE: IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets
AUTHORS: Gomes, L; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Gomes, L; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef29
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
INDEXED IN: Scopus CrossRef
Scopus CrossRef30
TITLE: Configuring communication nodes for networked embedded systems specified by Petri nets
AUTHORS: Filipe Moutinho; Jose Pimenta; Luis Gomes;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTHORS: Filipe Moutinho; Jose Pimenta; Luis Gomes;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: WOS
WOS