Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



51
TÍTULO: Modelling and Verifying Smell-Free Architectures with the ARCHERY Language
AUTORES: Sanchez, A ; Barbosa, LS ; Madeira, A ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, VOLUME: 8938
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
52
TÍTULO: On the verification of architectural reconfigurations
AUTORES: Sanchez, A ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
53
TÍTULO: Refinement in hybridised institutions
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ; Hennicker, R;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
54
TÍTULO: Paradigm integration in a specification course
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLICAÇÃO: 2014, FONTE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
55
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
56
TÍTULO: A Coalgebraic Perspective on Logical Interpretations
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
57
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: IRI (best papers), VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
58
TÍTULO: Bisimilarity and refinement for hybrid(ised) logics
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Refine@IFM, VOLUME: 115
INDEXADO EM: Scopus DBLP CrossRef: 1
59
TÍTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
60
TÍTULO: Foundations and techniques for software reconfigurability
AUTORES: Alexandre Madeira ;
PUBLICAÇÃO: 2013
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 6 de 7. Total de resultados: 69.

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

Links Úteis

Ajuda

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