| 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 | 5 | 2016 |
| A Pattern-Based Test Platform for Families of Smart Health Products P Almeida, JP Faria, B Lima 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | | 2022 |
| 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 | 14 | 2017 |
| 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 | 21* | 2014 |
| 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 | 10 | 2015 |
| 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 | 4 | 2021 |
| Automated scenario-based integration testing of distributed systems B Lima Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 3 | 2018 |
| Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems B Lima 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 9 | 2019 |
| Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. B Lima ICST, 383-384, 2016 | 1 | 2016 |
| Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams B Lima, JP Faria Software Technologies, 380-396, 2016 | 4 | 2016 |
| Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets J Soares, B Lima, JP Faria Proceedings of the 6th International Conference on Model-Driven Engineering …, 2008 | | 2008 |
| 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 | 22* | 2018 |
| Automatic Test-Based Assessment of Assembly Programs L Tavares, A Lima, B. and Araújo | | 2023 |
| COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS T Bryksin, K Smirenko, V Petukhov, N Povarov, E Sherman, PM Pontes, ... | | 2018 |
| 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 | 5 | 2017 |
| DCO Analyzer: Local controllability and observability analysis and enforcement of distributed test scenarios B Lima, JP Faria Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 1 | 2020 |
| eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture B Alves, M., Araújo, A. and Lima 15th International Conference on Computer Supported Education (CSEDU 2023), 2023 | | 2023 |
| Izinto: a pattern-based IoT testing framework PM Pontes, B Lima, JP Faria Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018 | 28 | 2018 |
| 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 | 5 | 2020 |
| Local Observability and Controllability Enforcement in Distributed Testing B Lima, JP Faria, R Hierons International Conference on the Quality of Information and Communications …, 2019 | 1 | 2019 |
João Pascoal FariaINESC TEC and Faculty of Engineering, University of Porto在 fe.up.pt 的电子邮件经过验证
João Pascoal FariaINESC TEC and Faculty of Engineering, University of Porto在 fe.up.pt 的电子邮件经过验证
Robert HieronsProfessor, The University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证