Bruno Lima

Orcid: 0000-0003-2572-047X

According to our database1, Bruno Lima authored at least 31 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automatic Test-Based Assessment of Assembly Programs.
Proceedings of the 18th International Conference on Software Technologies, 2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device.
Proceedings of the 18th International Conference on Software Technologies, 2023

eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture.
Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022
A Pattern-Based Test Platform for Families of Smart Health Products.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2020
Predicting Account Receivables with Machine Learning.
CoRR, 2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints.
IEEE Access, 2020

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Visual Self-healing Modelling for Reliable Internet-of-Things Systems.
Proceedings of the Computational Science - ICCS 2020, 2020

Helping to detect legal swimming pools with Deep Learning and Data Visualization.
Proceedings of the CENTERIS 2020 - International Conference on ENTERprise Information Systems / ProjMAN 2020 - International Conference on Project MANagement / HCist 2020, 2020

2019
Optimize Cash Collection: Use Machine learning to Predicting Invoice Payment.
CoRR, 2019

Local Observability and Controllability Enforcement in Distributed Testing.
Proceedings of the Quality of Information and Communications Technology, 2019

Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018
A New Binarization Algorithm for Historical Documents.
J. Imaging, 2018

Test patterns for IoT.
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

Automated scenario-based integration testing of distributed systems.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

<i>Izinto</i>: a pattern-based IoT testing framework.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Towards Real-Time Patient Prioritization in Hospital Emergency Services.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

'Portugal Without Fires', A Data Visualization System to Help Analyze Forest Fire Data in Portugal.
Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2018

2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams.
Proceedings of the 12th International Conference on Software Technologies, 2017

2016
MT4A: a no-programming test automation framework for Android applications.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

A Model-Based Approach for Product Testing and Certification in Digital Ecosystems.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Automated Scenario-Based Testing of Distributed and Heterogeneous Systems.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Testing Distributed and Heterogeneous Systems: State of the Practice.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems.
Proceedings of the ICSOFT-EA 2015, 2015

2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem.
Int. J. E Health Medical Commun., 2014

2013
A testing and certification methodology for an Ambient-Assisted Living ecosystem.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2007
Using MDA to Support Hypermedia Document Sharing.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007


  Loading...