Alexandre Madeira
Alexandre Madeira
CIDMA UA & HasLab - INESC TEC UMinho
Verified email at ua.pt - Homepage
TitleCited byYear
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
622011
Encoding hybridized institutions into first-order logic
R Diaconescu, A Madeira
Mathematical Structures in Computer Science 26 (5), 745-788, 2016
282016
Hybrid specification of reactive systems: An institutional approach
A Madeira, JM Faria, MA Martins, LS Barbosa
International Conference on Software Engineering and Formal Methods, 269-285, 2011
242011
Foundations and techniques for software reconfigurability
ALC Madeira
212013
An exercise on the generation of many-valued dynamic logics
A Madeira, R Neves, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1011-1037, 2016
202016
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
172013
Proof theory for hybrid (ised) logics
R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
152016
Refinement in hybridised institutions
A Madeira, MA Martins, LS Barbosa, R Hennicker
Formal Aspects of Computing 27 (2), 375-395, 2015
152015
Refinement by interpretation in a general setting
MA Martins, A Madeira, LS Barbosa
Electronic Notes in Theoretical Computer Science 259, 105-121, 2009
132009
Refinement via interpretation
MA Martins, A Madeira, LS Barbosa
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
132009
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Brazilian Symposium on Formal Methods, 130-145, 2014
112014
A method for rigorous design of reconfigurable systems
A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
102016
An institution for alloy and its translation to second-order logic
R Neves, A Madeira, M Martins, L Barbosa
Integration of Reusable Systems, 45-75, 2014
92014
Refinement by interpretation in {\pi}-institutions
C Rodrigues, MA Martins, A Madeira, LS Barbosa
arXiv preprint arXiv:1106.4093, 2011
82011
A hybrid dynamic logic for event/data-based systems
R Hennicker, A Madeira, A Knapp
International Conference on Fundamental Approaches to Software Engineering …, 2019
72019
On the verification of architectural reconfigurations
A Sanchez, A Madeira, LS Barbosa
Computer Languages, Systems & Structures 44, 218-237, 2015
72015
Dynamic logic with binders and its application to the development of reactive systems
A Madeira, LS Barbosa, R Hennicker, MA Martins
International Colloquium on Theoretical Aspects of Computing, 422-440, 2016
62016
A coalgebraic perspective on logical interpretations
MA Martins, A Madeira, LS Barbosa
Studia Logica 101 (4), 783-825, 2013
62013
When even the interface evolves...
A Madeira, R Neves, MA Martins, LS Barbosa
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
62013
Bisimilarity and refinement for hybrid (ised) logics
A Madeira, MA Martins, LS Barbosa
arXiv preprint arXiv:1305.6115, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20