Items where Author is "Moutinho, Filipe"

Conference or Workshop Item

Pereira, Fernando and Gomes, Luís and Moutinho, Filipe (2011) Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_27. (ISI Web of Science).

Moutinho, Filipe and Pereira, Fernando and Gomes, Luís (2011) Automatic generation of graphical user interfaces for VHDL based controllers. [Paper]. In: 2011 IEEE International Symposium on Industrial Electronics, 27-30 June 2011, Gdansk, Poland. URL: http://dx.doi.org/10.1109/ISIE.2011.5984381. (ISI Web of Science).

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Campos-Rebelo, Rogerio and Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2011) From IOPT Petri nets to C: An automatic code generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034908. (ISI Web of Science).

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Campos-Rebelo, Rogerio (2011) IOPT Petri net state space generation algorithm with maximal-step execution semantics. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034958. (ISI Web of Science).

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Ribeiro, Jose and Campos-Rebelo, Rogerio (2011) An IOPT-net state-space generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034907. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís (2011) State space generation algorithm for gals systems modeled by IOPT Petri nets. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119762. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís (2009) From models to controllers integrating graphical animation in FPGA through automatic code generation. [Paper]. In: 2009 IEEE International Symposium on Industrial Electronics, 5-8 July 2009, Seoul, Korea. URL: http://dx.doi.org/10.1109/ISIE.2009.5218315. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís (2009) Geração Automática de Controladores em FPGA Integrando Animação Gráfica. [Paper]. In: REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, 5-6 Fevereiro 2009, Monte de Caparica.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2006) Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Porto, Portugal..

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Towards Usage of Formal methods within Embedded Systems Co-design. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Thesis

Moutinho, Filipe (2009) Geração Automática de Controladores em FPGA integrando animação gráfica. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.