Luís Soares Barbosa
Publications
DBLP RepositoriUM
2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
On the verification of architectural reconfigurations
A. Sanchez, A. Madeira, L. S. Barbosa, in Computer Languages, Systems & Structures, 44, pp 218-237, Elsevier, 2015.
Reasoning about reconfigurations: The behavioural and structural perspectives
N. Oliveira, L. S. Barbosa, in Science of Computer Programming, 110, pp 78-103, Elsevier, 2015.
Self-adaptation by coordination-targeted reconfigurations
N. Oliveira, L. S. Barbosa, in Jour. Software Engineering Research and Development, 3(6), pp 1-31, Springer, 2015.
Refinement in hybridised institutions
A. Madeira, M. A. Martins, L. S. Barbosa, R. Hennicker, in Formal Aspects of Computing 27(2): 375-395, Springer, 2015.
Towards an engine for coordination-based architectural reconfigurations
F. Rodrigues, N. Oliveira, L. S. Barbosa, in Computer Science and Information Systems, 12(2), pp 375-395, Elsevier, 2015.
IMCReo: Interactive Markov chains for Stochastic Reo
N. Oliveira, A. Silva, L. S. Barbosa, in Journal of Internet Services and Information Security, 5 (1), pp: 3-28, 2015.
A perspective on architectural re-engineering
A. Sanchez, N. Oliveira, L. S. Barbosa, P. R. Henriques, in Science of Computer Programming, 98, pp 764-784, Elsevier, 2015.
A logic for n-dimensional hierarchical refinement
A. Madeira, M. A. Martins, L. S. Barbosa, in Proc 17th International Workshop on Refinement, EPTCS (Electronic Proceedings in Theoretical Computer Science ), 209, 40-56, 2015.