팔로우
João Paulo Barros
João Paulo Barros
Professor of Computer Science, Polytechnic Institute of Beja, Instituto Politécnico de Beja
ipbeja.pt의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
1712007
Structuring and composability issues in Petri nets modeling
L Gomes, JP Barros
IEEE Transactions on Industrial Informatics 1 (2), 112-123, 2005
1242005
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
712007
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
592003
Modeling formalisms for embedded systems design
L Gomes, J Barros, A Costa
CRC, 2005
552005
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
472004
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
402012
Vulnerabilities in IoT devices for smart home environment
L Costa, JP Barros, M Tavares
SciTePress, 2019
392019
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
382014
Actions as Activities and Activities as Petri nets
JP Barros, L Gomes
TUM 129, 2003
322003
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
302005
On structuring mechanisms for Petri nets based system design
L Gomes, JP Barros
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003
292003
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
262008
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
Refining IOPT Petri nets class for embedded system controller modeling
L Gomes, JP Barros
IECON 2018-44th Annual Conference of the IEEE Industrial Electronics Society …, 2018
232018
IOPT-Tools–From executable models to automatic code generation for embedded controllers development
F Pereira, F Moutinho, A Costa, JP Barros, R Campos-Rebelo, L Gomes
International conference on applications and theory of Petri nets and …, 2022
222022
Activities as behaviour aspects
JP Barros, L Gomes
The 2nd International Workshop on Aspect-Oriented Modeling with UML, Germany …, 2002
222002
Modifying Petri net models by means of crosscutting operations
JP Barros, L Gomes
Third International Conference on Application of Concurrency to System …, 2003
212003
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
202005
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20