Seguir
Bruno Lima
Bruno Lima
Researcher at INESC TEC and Assistant Professor at FEUP
E-mail confirmado em fe.up.pt - Página inicial
Título
Citado por
Citado por
Ano
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
JP Dias, B Lima, JP Faria, A Restivo, HS Ferreira
International Conference on Computational Science, 357-370, 2020
222020
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
JP Faria, B Lima, TB Sousa, A Martins
International Journal of E-Health and Medical Communications (IJEHMC) 5 (4 …, 2014
19*2014
Izinto: a pattern-based IoT testing framework
PM Pontes, B Lima, JP Faria
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018
172018
Test patterns for IoT
PM Pontes, B Lima, JP Faria
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018
162018
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
BLJPF João Soares
6th International Conference on Model-Driven Engineering and Software …, 2018
16*2018
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
B Lima, JP Faria
Communications in Computer and Information Science - Software Technologies …, 2017
132017
Towards Real-Time Patient Prioritization in Hospital Emergency Services
BLJP Faria
IEEE International Conference on E-health Networking, Application & Services …, 2018
10*2018
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
B Lima, JP Faria
Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE …, 2017
92017
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
B Lima, JP Faria
10th International Conference on Software Engineering and Applications, 241-250, 2015
92015
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
B Lima
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
42019
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
B Lima, JP Faria
Software Technologies, 380-396, 2016
42016
Automated scenario-based integration testing of distributed systems
B Lima
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
32018
Conformance Checking in Integration Testing of Time-Constrained Distributed Systems Based on Uml Sequence Diagrams
B Lima, J Faria
Proceedings of the 12th International Conference on Software Technologies …, 2017
32017
MT4A: a no-programming test automation framework for Android applications
T Coelho, B Lima, JP Faria
Proceedings of the 7th International Workshop on Automating Test Case Design …, 2016
32016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
B Lima, J Pascoal
Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE …, 2016
32016
Testing Distributed and Heterogeneous Systems: State of the Practice
BLJP Faria
11th International Joint Conference on Software Technologies 1 (ICSOFT-EA …, 2016
3*2016
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
B Lima, JP Faria, R Hierons
IEEE Access 8, 167172-167191, 2020
22020
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
B Lima, JP Faria
Quality of Information and Communications Technology (QUATIC), 2016 10th …, 2016
22016
The students’ integration in pandemic times: MIEIC.OnBoard 2020/2021
B Lima, AJ Araújo
4th International Conference of the Portuguese Society for Engineering Education, 2021
12021
AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
J Damas, B Lima, AJ Araújo
30th Annual Conference of the European Association for Education in …, 2021
12021
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20