| Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device S Farshid, J Lima, B. and Faria | | 2023 |
| Automatic Test-Based Assessment of Assembly Programs L Tavares, A Lima, B. and Araújo | | 2023 |
| 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 |
| 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 | 1 | 2022 |
| Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course B Lima, D Granhão, AJ Araújo, JC Ferreira 4th International Conference of the Portuguese Society for Engineering Education, 2021 | 1 | 2021 |
| 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 | 1 | 2021 |
| 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 | 6 | 2021 |
| Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems BMC Lima PQDT-Global, 2021 | | 2021 |
| 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 |
| 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 |
| 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 | 34 | 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 |
| Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems B Lima 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 10 | 2019 |
| Test patterns for IoT PM Pontes, B Lima, JP Faria Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018 | 26 | 2018 |
| Automated scenario-based integration testing of distributed systems B Lima Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 3 | 2018 |
| Izinto: a pattern-based IoT testing framework PM Pontes, B Lima, JP Faria Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018 | 30 | 2018 |
| COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS T Bryksin, K Smirenko, V Petukhov, N Povarov, E Sherman, PM Pontes, ... | | 2018 |
| Towards Real-Time Patient Prioritization in Hospital Emergency Services BLJP Faria IEEE International Conference on E-health Networking, Application & Services …, 2018 | 13* | 2018 |
| 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 | 23* | 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 | 14 | 2017 |
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 的电子邮件经过验证