Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



91
TITLE: On the verification of architectural reconfigurations
AUTHORS: Sanchez, A ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXED IN: Scopus WOS DBLP CrossRef: 4
92
TITLE: Reasoning about software reconfigurations: The behavioural and structural perspectives
AUTHORS: Oliveira, N; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXED IN: Scopus WOS DBLP CrossRef: 1
93
TITLE: Refinement in hybridised institutions
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ; Hennicker, R;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 12
94
TITLE: Self-adaptation by coordination-targeted reconfigurations
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2015, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 3, ISSUE: 1
INDEXED IN: DBLP CrossRef: 2
95
TITLE: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
96
TITLE: Towards an engine for coordination-based architectural reconfigurations
AUTHORS: Rodrigues, F; Oliveira, N; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
97
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 6
98
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Oliveira, N ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS)
INDEXED IN: Scopus WOS DBLP CrossRef
99
TITLE: Analysis of FLOSS Communities as Learning Contexts
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: Scopus WOS DBLP CrossRef: 5
100
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef
Page 10 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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