Bruno Miguel Carvalhido Lima


AuthID: R-006-JRD

Confirmed Publications: 33



1
TITLE: Automatic Test-Based Assessment of Assembly Programs
AUTHORS: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLISHED: 2023, SOURCE: Proceedings of the 18th International Conference on Software Technologies
INDEXED IN: CrossRef Unpaywall
IN MY: ORCID
2
TITLE: eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture
AUTHORS: Maria Inês Alves; António Duarte Araújo ; Bruno Lima ;
PUBLISHED: 2023, SOURCE: 15th International Conference on Computer Supported Education, CSEDU 2023 in International Conference on Computer Supported Education, CSEDU - Proceedings, VOLUME: 2
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID
3
TITLE: Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
AUTHORS: Sadra Farshid; Bruno Lima ; João Faria;
PUBLISHED: 2023, SOURCE: Proceedings of the 18th International Conference on Software Technologies
INDEXED IN: CrossRef Unpaywall
IN MY: ORCID
4
TITLE: A Pattern-Based Test Platform for Families of Smart Health Products
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
5
TITLE: AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
AUTHORS: Damas, J; Lima, B ; Araujo, AJ ;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
6
TITLE: Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course
AUTHORS: Lima, Bruno ; Granhao, Daniel ; Araujo, Antonio J. ; Ferreira, Joao Canas ;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
7
TITLE: The students' integration in pandemic times: MIEIC.OnBoard 2020/2021
AUTHORS: Lima, Bruno ; Araujo, Antanio J. ;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
IN MY: ORCID
8
TITLE: DCO analyzer. local controllability and observability analysis and enforcement of distributed test scenarios
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
INDEXED IN: CrossRef
IN MY: ORCID
9
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2020, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
10
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2004.04616
INDEXED IN: DBLP
IN MY: ORCID
Page 1 of 4. Total results: 33.

A place for researchers and their institutions

Useful Links

Get Help

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