Fernando Joaquim Ganhão Pereira
AuthID: R-000-PXS
21
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)
22
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
23
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)
24
TITLE: Performance Evaluation and Comparison between Iterative DS-CDMA and NDMA
AUTHORS: Francisco Ganhao; Rui Dinis ; Luis Bernardo ; Rodolfo Oliveira ;
PUBLISHED: 2012, SOURCE: 76th IEEE Vehicular Technology Conference (VTC Fall) in 2012 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
AUTHORS: Francisco Ganhao; Rui Dinis ; Luis Bernardo ; Rodolfo Oliveira ;
PUBLISHED: 2012, SOURCE: 76th IEEE Vehicular Technology Conference (VTC Fall) in 2012 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
INDEXED IN: 
Scopus 
WOS
Scopus WOS25
TITLE: Analytical Evaluation of Iterative Packet Combining and Multipacket Detection Schemes for SC-FDE Full Text
AUTHORS: Ganhao, F; Dinis, R ; Bernardo, L ;
PUBLISHED: 2011, SOURCE: IEEE 74th Vehicular Technology Conference (VTC) in 2011 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
AUTHORS: Ganhao, F; Dinis, R ; Bernardo, L ;
PUBLISHED: 2011, SOURCE: IEEE 74th Vehicular Technology Conference (VTC) in 2011 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL)
26
TITLE: Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces
AUTHORS: Fernando Pereira; Luis Gomes ; Filipe Moutinho;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTHORS: Fernando Pereira; Luis Gomes ; Filipe Moutinho;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
27
TITLE: From IOPT Petri nets to C: an Automatic Code Generator Tool
AUTHORS: Rogerio Campos Rebelo; Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Rogerio Campos Rebelo; Fernando Pereira; Filipe Moutinho; 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
Scopus WOS28
TITLE: An IOPT-net State-Space Generator Tool
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Jose Ribeiro; Rogerio Campos Rebelo;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ; Jose Ribeiro; Rogerio Campos Rebelo;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
29
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)
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)
30
TITLE: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTHORS: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
