Suivre
Rui Pais
Rui Pais
Polytechnic Institute of Beja
Adresse e-mail validée de uninova.pt
Titre
Citée par
Citée par
Année
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
462003
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
312005
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
192005
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
172010
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
162011
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
162010
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
152007
Formal methods for Embedded Systems Co-design: the FORDESIGN project
L Gomes, J Barros, A Costa, R Pais, F Moutinho
142005
Towards statecharts to input-output place transition nets transformations
R Pais, L Gomes, JP Barros
Doctoral Conference on Computing, Electrical and Industrial Systems, 227-236, 2011
92011
From non-autonomous petri net models to code in embedded systems design
L Gomes, JP Barros, R Pais
DESDes' 04, 2004
92004
Geração de executores e analisadores de Redes de Petri
RMC Pais
Universidade Nova de Lisboa. Faculdade de Ciências e Tecnologia …, 2004
92004
From SysML state machines to petri nets using ATL transformations
R Pais, JP Barros, L Gomes
Doctoral conference on computing, electrical and industrial systems, 227-236, 2014
82014
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
42004
Use of flash movies for teaching GUI programming
R Pais, JP Barros
ACM SIGCSE Bulletin 37 (3), 390-390, 2005
22005
Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN
L Gomes, J Barros, A Costa, R Pais, F Moutinho
12006
Two possible approaches for an intermediate GUI course
R Pais, JP Barros
Proceedings of the 10th annual SIGCSE conference on Innovation and …, 2005
12005
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, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–19