Seguir
João Paulo Barros
João Paulo Barros
Professor of Computer Science, Polytechnic Institute of Beja, Instituto Politécnico de Beja
Dirección de correo verificada de ipbeja.pt - Página principal
Título
Citado por
Citado por
Año
The input-output place-transition petri net class and associated tools
L Gomes, JP Barros, A Costa, R Nunes
2007 5th IEEE International Conference on Industrial Informatics 1, 509-514, 2007
1662007
Structuring and composability issues in Petri nets modeling
L Gomes, JP Barros
IEEE Transactions on Industrial Informatics 1 (2), 112-123, 2005
1152005
From Petri net models to VHDL implementation of digital controllers
L Gomes, A Costa, JP Barros, P Lima
IECON 2007-33rd Annual Conference of the IEEE Industrial Electronics Society …, 2007
692007
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
562003
Modeling formalisms for embedded systems design
L Gomes, J Barros, A Costa
CRC, 2005
532005
Net model composition and modification by net operations: a pragmatic approach
JP Barros, L Gomes
2nd IEEE International Conference on Industrial Informatics, 2004. INDIN'04 …, 2004
452004
Educating for mobile computing: addressing the new challenges
B Burd, JP Barros, C Johnson, S Kurkovsky, A Rosenbloom, N Tillman
Proceedings of the final reports on Innovation and technology in computer …, 2012
392012
Extending input-output place-transition Petri nets for distributed controller systems development
L Gomes, F Moutinho, F Pereira, J Ribeiro, A Costa, JP Barros
2014 International Conference on Mechatronics and Control (ICMC), 1099-1104, 2014
362014
Vulnerabilities in IoT devices for smart home environment
L Costa, JP Barros, M Tavares
Proceedings of the 5th International Conference on Information Systems …, 2019
332019
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
Actions as Activities and Activities as Petri nets
JP Barros, L Gomes
TUM 129, 2003
312003
On structuring mechanisms for Petri nets based system design
L Gomes, JP Barros
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003
302003
Towards the support for crosscutting concerns in activity diagrams: a graphical approach
JP Barros, L Gomes
Fourth Workshop on Aspect-Oriented Modeling with UML, San Francisco, 2003
262003
Petri nets tools framework supporting FPGA-based controller implementations
A Costa, L Gomes, JP Barros, J Oliveira, T Reis
2008 34th Annual Conference of IEEE Industrial Electronics, 2477-2482, 2008
252008
Activities as behaviour aspects
JP Barros, L Gomes
The 2nd International Workshop on Aspect-Oriented Modeling with UML, Germany …, 2002
242002
Modifying Petri net models by means of crosscutting operations
JP Barros, L Gomes
Third International Conference on Application of Concurrency to System …, 2003
222003
Structuring mechanisms in Petri net models: From specification to FPGA-based implementations
MA Adamski, A Karatkevich, M Wegrzyn, L Gomes, JP Barros, A Costa
Design of embedded control systems, 153-166, 2005
202005
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
182010
A graphical editor for the input-output place-transition petri net class
R Nunes, L Gomes, JP Barros
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
182007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20