João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 98



41
TÍTULO: Executable models for embedded controllers development - A cloud based development framework
AUTORES: Pereira, F; Moutinho, F; Barros, JP ; Costa, A; Gomes, L;
PUBLICAÇÃO: 2015, FONTE: MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 in CEUR Workshop Proceedings, VOLUME: 1554
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros ;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
43
TÍTULO: Extending input-output place-transition Petri nets for distributed controller systems development
AUTORES: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP ;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
44
TÍTULO: From SysML State Machines to Petri Nets Using ATL Transformations
AUTORES: Rui Pais; Joao Paulo Barros ; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: From SysML State Machines to Petri Nets Using ATL Transformations
AUTORES: Pais, R; Barros, JP ; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 in IFIP Advances in Information and Communication Technology, VOLUME: 423
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
46
TÍTULO: On the Description of Individual Course Units for Programme Assessment and Better Syllabuses
AUTORES: Joao Paulo Barros ;
PUBLICAÇÃO: 2014, FONTE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 4, NÚMERO: 5
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
47
TÍTULO: Requirements Specification for Controller Design - from Use Cases to IOPT Net Models
AUTORES: Joao Paulo Barros ; Isabel Sofia Brito ; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
48
TÍTULO: Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models
AUTORES: Joao Paulo Barros ; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
49
TÍTULO: A Proposal for the Description of Individual Course Units
AUTORES: Joao Paulo Barros ; Luís Gomes; Luís Garcia;
PUBLICAÇÃO: 2013, FONTE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 3, NÚMERO: S1
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
50
TÍTULO: Coloured Petri net model of the bCMS system using CPN tools
AUTORES: Brito, IS ; Barros, JP ;
PUBLICAÇÃO: 2013, FONTE: 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 in 2013 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE 2013 - Proceedings
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 5 de 10. Total de resultados: 98.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service