Items where Author is "Pais, Rui"

Conference or Workshop Item

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [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_25. (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).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).

Gomes, Luís and Costa, Anikó and Barros, João and Pais, Rui and Rodrigues, Tiago and Ferreira, Richard (2007) Petri Net based Building Automation and Monitoring System. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

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..

Pais, Rui and Barros, João and Gomes, Luís (2005) A Tool for Tailored Code Generation from Petri Net Models. [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) 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.

Gomes, Luís and Barros, João and Pais, Rui (2004) From non-autonomous Petri net models to code in embedded systems design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Barros, João and Gomes, Luís and Pais, Rui and Dias, Rui (2004) From Petri nets to executable systems: an environment for code generation and analysis. [Paper]. In: ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics, 25-28 Aug 2004, Setúbal, Portugal.

Thesis

Pais, Rui (2005) Geração de Executores e Analisadores de Redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.