Bruno Miguel Carvalhido Lima


AuthID: R-006-JRD

Confirmed Publications: 33



11
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2004.04616
INDEXED IN: Scopus DBLP
IN MY: ORCID
12
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. local controllability and observability analysis and enforcement of distributed test scenarios
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2020, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
13
TITLE: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
14
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: ICCS (5), VOLUME: 12141 LNCS
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID
15
TITLE: Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
AUTHORS: Bruno Lima ;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
16
TITLE: Local Observability and Controllability Enforcement in Distributed Testing
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
17
TITLE: Automated Scenario-Based Integration Testing of Distributed Systems
AUTHORS: Bruno Lima ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
19
TITLE: Izinto: a pattern-based IoT testing framework. a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
20
TITLE: Test Patterns for IoT
AUTHORS: Pontes, PM; Lima, B ; Faria, JP ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18)
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
Page 2 of 4. Total results: 33.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service