Bruno Miguel Carvalhido Lima


AuthID: R-006-JRD

Publicações Confirmadas: 35



11
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
12
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
INDEXADO EM: DBLP
NO MEU: ORCID
13
TÍTULO: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
14
TÍTULO: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
15
TÍTULO: Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
AUTORES: Bruno Lima ;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
16
TÍTULO: Local Observability and Controllability Enforcement in Distributed Testing
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
17
TÍTULO: Automated Scenario-Based Integration Testing of Distributed Systems
AUTORES: Bruno Lima ;
PUBLICAÇÃO: 2018, FONTE: 26th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE) in ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
18
TÍTULO: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTORES: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
19
TÍTULO: Izinto. a pattern-based IoT testing framework
AUTORES: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
INDEXADO EM: CrossRef: 12
NO MEU: ORCID
20
TÍTULO: Izinto: a pattern-based IoT testing framework
AUTORES: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 2 de 4. Total de resultados: 35.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service