Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



51
TITLE: Modelling and Verifying Smell-Free Architectures with the ARCHERY Language
AUTHORS: Sanchez, A ; Barbosa, LS ; Madeira, A ;
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: 4
52
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
53
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
54
TITLE: Paradigm integration in a specification course
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
55
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
56
TITLE: A Coalgebraic Perspective on Logical Interpretations
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
57
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: IRI (best papers), VOLUME: 263
INDEXED IN: Scopus DBLP CrossRef: 2
58
TITLE: Bisimilarity and refinement for hybrid(ised) logics
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115
INDEXED IN: Scopus DBLP CrossRef: 1
59
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXED IN: Scopus WOS DBLP CrossRef: 2
60
TITLE: Foundations and techniques for software reconfigurability
AUTHORS: Alexandre Madeira ;
PUBLISHED: 2013
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 6 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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