João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 34



11
TITLE: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTHORS: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXED IN: Scopus CrossRef
IN MY: ORCID
12
TITLE: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTHORS: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
13
TITLE: Assessment and grading for CS1: Towards a complete toolbox of criteria and techniques
AUTHORS: Barros, JP ;
PUBLISHED: 2010, SOURCE: 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10 in Proceedings of the 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10
INDEXED IN: Scopus
IN MY: ORCID
14
TITLE: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTHORS: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
15
TITLE: From Petri net models to C implementation of digital controllers
AUTHORS: Gomes, L ; Rebelo, R; Barros, JP ; Costa, A ; Pais, R;
PUBLISHED: 2010, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 2010) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: PNML Based Composition in Non-autonomous Petri Net Models
AUTHORS: Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2009, SOURCE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON 2009) in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
17
TITLE: Petri nets tools framework supporting FPGA-based controller implementations
AUTHORS: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ; Joao Oliveira; Tiago Reis;
PUBLISHED: 2008, SOURCE: 34th Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: A graphical editor for the input-output place-transition Petri Net Class
AUTHORS: Ricardo Nunes; Luis Gornes ; Joao Paulo Barros ;
PUBLISHED: 2007, SOURCE: 12th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: From Petri net models to VHDL implementation of digital controllers
AUTHORS: Gomes, L ; Costa, A ; Barros, JP ; Lima, P;
PUBLISHED: 2007, SOURCE: 33rd Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: Petri net based building automation and monitoring system
AUTHORS: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 2 of 4. Total results: 34.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service