Filipe de Carvalho Moutinho
AuthID: R-000-MJR
31
TITLE: DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS
AUTHORS: Filipe Moutinho; Luis Gomes;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
AUTHORS: Filipe Moutinho; Luis Gomes;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
INDEXED IN: 
WOS
WOS32
TITLE: IOPT-TOOLS - A WEB BASED TOOL FRAMEWORK FOR EMBEDDED SYSTEMS CONTROLLER DEVELOPMENT USING PETRI NETS
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira;
PUBLISHED: 2013, SOURCE: 23rd International Conference on Field Programmable Logic and Applications (FPL) in 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS
INDEXED IN: WOS
WOS33
TITLE: State Space Generation for Petri nets-based GALS Systems
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
34
TITLE: Asynchronous Wrappers Configuration within GALS Systems Specified by Petri Nets
AUTHORS: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTHORS: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
35
TITLE: Model-checking Framework for Embedded Systems Controllers Development using IOPT Petri Nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
36
TITLE: A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
37
TITLE: Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
38
TITLE: Extending a net splitting operation for decomposition of high-level Petri nets
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
39
TITLE: Web Based IOPT Petri Net Editor with an Extensible Plugin Architecture to Support Generic Net Operations
AUTHORS: Fernando Pereira; Filipe Moutinho; Jose Ribeiro; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTHORS: Fernando Pereira; Filipe Moutinho; Jose Ribeiro; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
40
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
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
