Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 69



61
TITLE: Giving Alloy a family
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2013, SOURCE: IRI
INDEXED IN: Scopus DBLP CrossRef: 1
62
TITLE: Hybridisation at Work
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089 LNCS
INDEXED IN: Scopus DBLP
63
TITLE: When even the interface evolves ...
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
64
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041
INDEXED IN: Scopus WOS DBLP CrossRef: 8
65
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: CALCO, VOLUME: 6859 LNCS
INDEXED IN: Scopus DBLP CrossRef: 36
66
TITLE: Refinement by interpretation in π-institutions
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: Refine@FM, VOLUME: 55
INDEXED IN: Scopus DBLP CrossRef: 2
67
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: REFINE@FMWeek, VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
68
TITLE: Refinement via interpretation
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 2
69
TITLE: Observational Refinement Process
AUTHORS: Alexandre Madeira ;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 214, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 7 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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