| Using lab exams to ensure programming practice in an introductory programming course JP Barros, L Estevens, R Dias, R Pais, E Soeiro ACM SIGCSE Bulletin 35 (3), 16-20, 2003 | 58 | 2003 |
| Towards usage of formal methods within embedded systems co-design L Gomes, JP Barros, A Costa, R Pais, F Moutinho 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005 | 31 | 2005 |
| A tool for tailored code generation from petri net models R Pais, SP Barros, L Gomes 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 8 pp …, 2005 | 20 | 2005 |
| From Petri net models to C implementation of digital controllers L Gomes, R Rebelo, JP Barros, A Costa, R Pais 2010 IEEE International Symposium on Industrial Electronics, 3057-3062, 2010 | 19 | 2010 |
| Ecore representation for extending PNML for Input-Output Place-Transition nets F Moutinho, L Gomes, F Ramalho, J Figueiredo, JP Barros, P Barbosa, ... IECON 2010-36th Annual Conference on IEEE Industrial Electronics Society …, 2010 | 18 | 2010 |
| Petri net based building automation and monitoring system L Gomes, A Costa, JP Barros, R Pais, T Rodrigues, R Ferreira 2007 5th IEEE International Conference on Industrial Informatics 1, 57-62, 2007 | 16 | 2007 |
| From UML state machines to Petri nets: History attribute translation strategies R Pais, L Gomes, JP Barros IECON 2011-37th Annual Conference of the IEEE Industrial Electronics Society …, 2011 | 14 | 2011 |
| Formal methods for Embedded Systems Co-design: the FORDESIGN project L Gomes, J Barros, A Costa, R Pais, F Moutinho | 14 | 2005 |
| From SysML state machines to petri nets using ATL transformations R Pais, JP Barros, L Gomes Technological Innovation for Collective Awareness Systems: 5th IFIP WG 5.5 …, 2014 | 9 | 2014 |
| Towards statecharts to input-output place transition nets transformations R Pais, L Gomes, JP Barros Technological Innovation for Sustainability: Second IFIP WG 5.5/SOCOLNET …, 2011 | 9 | 2011 |
| From non-autonomous Petri net models to code in embedded systems design L Gomes, JP Barros, R Pais DESDes' 04, 2004 | 9 | 2004 |
| Geração de executores e analisadores de Redes de Petri RMC Pais Universidade Nova de Lisboa. Faculdade de Ciências e Tecnologia …, 2004 | 9 | 2004 |
| From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. JP Barros, L Gomes, R Pais, R Dias ICINCO (2), 464-467, 2004 | 4 | 2004 |
| Use of flash movies for teaching GUI programming R Pais, JP Barros ACM SIGCSE Bulletin 37 (3), 390-390, 2005 | 2 | 2005 |
| Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN L Gomes, J Barros, A Costa, R Pais, F Moutinho | 1 | 2006 |
| Two possible approaches for an intermediate GUI course R Pais, JP Barros Proceedings of the 10th annual SIGCSE conference on Innovation and …, 2005 | 1 | 2005 |
| PORTUGUESE–JAPANESE PICTURE DICTIONARY R Pais, F Fidalgo language 81477, 079, 2005 | | 2005 |
| A versatile assignment in CS 2 (poster session) a file compression utility based on the Huffman code JP Barros, R Pais Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation …, 2000 | | 2000 |
| ACSD 2010 Organisation L Gomes, V Khomenko, JM Fernandes, RJ Machado, JP Barros, R Pais, ... | | |