71
TITLE: A perspective on architectural re-engineering  Full Text
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
72
TITLE: Completeness and Decidability Results for Hybrid(ised) Logics
AUTHORS: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
73
TITLE: IMCReo: interactive Markov chains for Stochastic Reo PDF
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2015, SOURCE: J. Internet Serv. Inf. Secur., VOLUME: 5, ISSUE: 1
INDEXED IN: DBLP
IN MY: ORCID | DBLP
74
TITLE: Modelling and Verifying Smell-Free Architectures with the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Alexandre Madeira ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, VOLUME: 8938
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
75
TITLE: On the verification of architectural reconfigurations  Full Text
AUTHORS: Alejandro Sanchez ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
76
TITLE: Reasoning about software reconfigurations: The behavioural and structural perspectives  Full Text
AUTHORS: Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
77
TITLE: Refinement in hybridised institutions  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ; Rolf Hennicker;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
78
TITLE: Self-adaptation by coordination-targeted reconfigurations
AUTHORS: Nuno Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2015, SOURCE: J. Software Eng. R&D, VOLUME: 3, ISSUE: 1
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
79
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
80
TITLE: Towards an engine for coordination-based architectural reconfigurations  Full Text
AUTHORS: Flavio Rodrigues; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 8 of 19. Total results: 185.