| 2026 | AST | APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs. | Andr Pereira, Bruno Lima, Joo Pascoal Faria |
| 2025 | AST | Acceptance Test Generation with Large Language Models: An Industrial Case Study. | Margarida Ferreira, Lus Viegas, Joo Pascoal Faria, Bruno Lima |
| 2023 | CSEDU | eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture. | Maria Ins Alves, Antnio Duarte Arajo, Bruno Lima |
| 2023 | ICSoft | Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device. | Sadra Farshid, Bruno Lima, Joo Pascoal Faria |
| 2023 | ICSoft | Automatic Test-Based Assessment of Assembly Programs. | Lus Tavares, Bruno Lima, Antnio J. Arajo |
| 2022 | QRS | A Pattern-Based Test Platform for Families of Smart Health Products. | Pedro Almeida, Joo Pascoal Faria, Bruno Lima |
| 2020 | ICCS | Visual Self-healing Modelling for Reliable Internet-of-Things Systems. | Joo Pedro Dias, Bruno Lima, Joo Pascoal Faria, Andr Restivo, Hugo Sereno Ferreira |
| 2020 | ICSE | DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. | Bruno Lima, Joo Pascoal Faria |
| 2019 | ICST | Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems. | Bruno Lima |
| 2019 | QUATIC | Local Observability and Controllability Enforcement in Distributed Testing. | Bruno Lima, Joo Pascoal Faria, Robert M. Hierons |
| 2018 | ArtsIT | 'Portugal Without Fires', A Data Visualization System to Help Analyze Forest Fire Data in Portugal. | Duarte Gonalves, Bruno Lima, Joo Martinho Moura, Lus Ferreira |
| 2018 | HealthCom | Towards Real-Time Patient Prioritization in Hospital Emergency Services. | Bruno Lima, Joo Pascoal Faria |
| 2018 | ISSTA | Untitled record | Pedro Martins Pontes, Bruno Lima, Joo Pascoal Faria |
| 2018 | MODELSWARD | Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. | Joo Antnio Custdio Soares, Bruno Lima, Joo Pascoal Faria |
| 2017 | ICSoft | Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. | Bruno Lima, Joo Pascoal Faria |
| 2016 | ICSoft | Testing Distributed and Heterogeneous Systems: State of the Practice. | Bruno Lima, Joo Pascoal Faria |
| 2016 | ICSoft | A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. | Bruno Lima, Joo Pascoal Faria |
| 2016 | ICST | Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. | Bruno Lima |
| 2016 | ICST | A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. | Bruno Lima, Joo Pascoal Faria |
| 2016 | QUATIC | Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets. | Bruno Lima, Joo Pascoal Faria |
| 2015 | ICSoft | An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems. | Bruno Lima, Joo Pascoal Faria |
| 2015 | ICSoft | Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. | Bruno Lima, Joo Pascoal Faria |
| 2013 | HealthCom | A testing and certification methodology for an Ambient-Assisted Living ecosystem. | Joo Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins |
| 2007 | ICSEA | Using MDA to Support Hypermedia Document Sharing. | Bruno Lima, Jose G. de Sousa Jr., Denivaldo Lopes |