1
TÍTULO: AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
AUTORES: Damas, J; Lima, B ; Araujo, AJ ;
PUBLICAÇÃO: 2021, FONTE: 30th Annual Conference of the European-Association-for-Education-in-Electrical-and-Information-Engineering (EAEEIE) in PROCEEDINGS OF THE 2021 30TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE)
INDEXADO EM: Scopus WOS CrossRef Unpaywall
NO MEU: ORCID
2
TÍTULO: Pedagogical innovation in pandemic times: The experience of a microprocessor programming course
AUTORES: Lima, B ; Granhão, D ; Araújo, AJ ; Ferreira, JC ;
PUBLICAÇÃO: 2021, FONTE: 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021 in 2021 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID
3
TÍTULO: The students’ integration in pandemic times: Mieic.onboard 2020/2021
AUTORES: Lima, B ; Araújo, AJ ;
PUBLICAÇÃO: 2021, FONTE: 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021 in 2021 4th International Conference of the Portuguese Society for Engineering Education, CISPEE 2021
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID
4
TÍTULO: DCO analyzer. local controllability and observability analysis and enforcement of distributed test scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
INDEXADO EM: CrossRef
NO MEU: ORCID
5
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
INDEXADO EM: DBLP
NO MEU: ORCID
6
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
7
TÍTULO: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
8
TÍTULO: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
9
TÍTULO: Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
AUTORES: Bruno Lima ;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
10
TÍTULO: Local Observability and Controllability Enforcement in Distributed Testing
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 1 de 3. Total de resultados: 30.