João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
41
TITLE: Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
AUTHORS: Isabel Sofia Brito; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Isabel Sofia Brito; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
IN MY: ORCID
42
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
AUTHORS: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXED IN: WOS
IN MY: ORCID
43
TITLE: Towards the Use of Place/Transition Net Tools for Analysis of IOPT Models
AUTHORS: Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
AUTHORS: Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: IEEE 23rd International Symposium on Industrial Electronics (ISIE) in 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
44
TITLE: Requirements Specification for Controller Design - from Use Cases to IOPT Net Models
AUTHORS: Joao Paulo Barros; Isabel Sofia Brito; Luis Gomes;
PUBLISHED: 2014, SOURCE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Joao Paulo Barros; Isabel Sofia Brito; Luis Gomes;
PUBLISHED: 2014, SOURCE: 12th IEEE International Conference on Industrial Informatics (INDIN) in 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
45
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Pais, R; Barros, JP; Gomes, L;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Pais, R; Barros, JP; Gomes, L;
PUBLISHED: 2014, SOURCE: 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
46
TITLE: Extending input-output place-transition Petri nets for distributed controller systems development
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
47
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: WOS
IN MY: ORCID
48
TITLE: On the Description of Individual Course Units for Programme Assessment and Better Syllabuses
AUTHORS: Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 4, ISSUE: 5
AUTHORS: Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Journal of Engineering Pedagogy (iJEP), VOLUME: 4, ISSUE: 5
49
TITLE: Coloured Petri net model of the bCMS system using CPN tools
AUTHORS: Brito, IS; Barros, JP;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Brito, IS; Barros, JP;
PUBLISHED: 2013, SOURCE: 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
50
TITLE: Curricular Unit Specification for Programme Assessment Fostering teacher reflection, while improving course catalogues
AUTHORS: Joao Paulo Barros;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Joao Paulo Barros;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)