alexandre madeira

amadeira@inesctec.pt


publications

Institutions for Observational Dynamic Logics with Binders. R. Hennicker and A. Madeira. In Viet-Ha Nguyen, editor, ICTAC 2017 - 14th International Colloquium on Theoretical Aspects of Computing. LNCS. (in print)

Hierarchical hybrid logic. A. Madeira, R. Neves, M. Martins and L. S. Barbosa. 12th Workshop on Logical and Semantic Frameworks with Applications. Electronic Notes in Theoretical Computer Science, Elsevier. (in print).

A family of graded epistemic logics. M. Benevides, A. Madeira, M. Martins. 12th Workshop on Logical and Semantic Frameworks with Applications. Electronic Notes in Theoretical Computer Science, Elsevier. (in print)

Behavioural semantics for the dynamic logic with binders. R. Hennicker and A. Madeira. In M. Roggenbach, editor, Recent Trends in Algebraic Development Methods - Selected Papers of WADT 2016. LNCS (in print).

Asymmetric Combination of Logics is Functorial: A survey R. Neves, A. Madeira, L. Barbosa and M. A. Martins. In M. Roggenbach, editor, Recent Trends in Algebraic Development Methods - Selected Papers of WADT 2016. LNCS (in print).

Dynamic Logic with Binders and its Application to the Development of Reactive Systems A. Madeira, R. Hennicker, M. A. Martins and L. S. Barbosa. ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, vol 9965, pp 422-440, (2016)

On Interval Dynamic Logic R. Santiago, B. Bedregal, A. Madeira and M. A. Martins. SBMF' 2016 - XIX Brazilian Symposium in Formal Methods. Lecture Notes in Computer Science, vol 10090, pp 129-144, (2016)

An exercise on the generation of many-valued dynamic logics A. Madeira, R. Neves, M. Martins. Journal of Logical and Algebraic Methods in Programming. J. Log. Algebr. Meth. Program. 85(5): 1011-1037 (2016)

A method for rigorous design of reconfigurable systemsA. Madeira, R. Neves, L.S. Barbosa, M. A. Martins. Sci. Comput. Program. 132: 50-76 (2016)

Proof theory for hybrid(ised) logics R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, Sci. Comput. Program. 126: 73-93 (2016)

A logic for n-dimensional hierarchical refinement A. Madeira, M. A. Martins, L. S. Barbosa. Refinement 2015. Electronic Proceedings in Theoretical Computer Science 209, pp. 40–56. (2016).

Encoding Hybridised Institutions into First Order Logic R. Diaconescu, A. Madeira. Mathematical Structures in Computer Science,Mathematical Structures in Computer Science 26(5): 745-788 (2016).

On the verification of architectural reconfigurations A. Sanchez, A. Madeira and L .S. Barbosa, Computer Languages, Systems & Structures. 44: 218-237. Elsevier (2015)

Refinement in Hybridised Logics A. Madeira, M. A. Martins, L. S. Barbosa and R. Hennicker. Formal aspects of computing Volume 27, Issue 2, pp 375-395, 2015.

Dynamic Logic for Every Season A. Madeira, R. Neves, M. A. Martins and L. S. Barbosa. SBMF'14, Lecture Note in Computer Science, Vol 8941, pp 130-145, Springer, 2015.

A logic for robotics? A. Madeira, R. Neves, M. A. Martins and L. S. Barbosa. AIP Conference Proceedings, 1648, 710006, 2015.

Introducing Hierarquical Hybrid Logic A. Madeira, R. Neves, M. A. Martins and L. S. Barbosa; Proceedings of AiML'14: Advances in Modal Logic; pp. 74--78, 2014.

Paradigm integration in a specification course M. A. Martins, A. Madeira, L. Barbosa and R. Neves. FMi’14; IEEE Computer Society Press, IRI, (in print, 2014).

The role of logical interpretations on program development M. A. Martins, A. Madeira and L. Barbosa; Logical Methods in Computer Science Vol. 10(1:1), pp. 1–39. 2014.

An institution for alloy and its translation to second-order logic R. Neves, A. Madeira, M. A. Martins, and L. S. Barbosa.Integration of Reusable Systems volume 263 of Advances in Intelligent Systems and Computing, Thouraya Bouabana Tebibel and Stuart H. Rubin (eds), pp. 45-75, Springer. 2014.

Boilerplates for reconfigurable systems: a language and its semantics A. Madeira, M. A. Martins and L. S. Barbosa; SBLP'13; LNCS, vol. 8129, pp 75–89 Springer. 2013

Giving ALLOY a family R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa; FMi'13; IRI,pp. 512 - 519, IEEE Computer Society Press. 2013

Hybridisation at work R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa; CALCO'13; LNCS vol 8089, pp 340–345, Springer. 2013

When even the interfaces evolve... A. Madeira, R. Neves, M. A. Martins and L. S. Barbosa; TASE'13; IEEE Computer Society Press, pp. 79–82. 2013

Bisimilarity and refinement for hybrid(ised) logics A. Madeira, M. A. Martins and L. S. Barbosa; In Proc. of ``Refinement workshop 2013",EPTCS vol 115, pag 84-98 2013.

A Coalgebraic Perspective on Logical Interpretations M. A. Martins and A. Madeira and L. S. Barbosa; Studia Logia, vol 101(4), pp 783--825, 2013.

Towards a Semantics for Infinitary Equational Hybrid Logic M. A. Martins, A. Madeira and L. S. Barbosa; Proceedings of AiML’12: Advances in Modal Logic; pp. 42–46, 2012.

Hybrid specification of reactive systems: An institutional approach A. Madeira and J. M. Faria and M. A. Martins and L. S. Barbosa; Proceedings SEFM'11, LNCS Vol:7041, pp. 269–285, 2011. (get a preprint-extended version with proofs)

Refinements on Pi-institutions C. Rodrigues, M. A. Martins, A. Madeira, and L. S. Barbosa; In Proc. of ``Refinement Workshop 2011", pp. 53-64, EPTCS 55, 2011 (get a preprint)

Hibridization of institutions M. A. Martins, A. Madeira, Razvan Diaconescu and L. S. Barbosa; CALCO 2011. LNCS, vol. 6859, pp. 283–297. Springer, Heidelberg (2011) (get a preprint-extended version with proofs)

On requirements engineering for reactive systems: A formal methodology A. Madeira and J. M. Faria and M. A. Martins and L. S. Barbosa; Proceedings of CBSEC'11, 2011. (get a preprint)

Reasoning about complex requirements in a uniform setting M. A. Martins, A. Madeira and L. S. Barbosa; Electronic proceedings of Third International Congress on Tools for Teaching Logic (TICTTL), 2011. (get a preprint)

Models as arrows: the role of dialgebras A. Madeira, M. A. Martins and L. S. Barbosa; In Proc. of CiE11-Computability in Europe, 2011. (get a preprint)

Applying abstract algebraic logic to classical automata theory: an exercise L. Descalço, A. Madeira and A. Martins; In Proc. of CiE10-Computability in Europe, 2010. (get a preprint)

Interpretations as coalgebra morphisms M. A. Martins, A. Madeira, and L. S. Barbosa; proceedings of the short contributions of CMCS’10). Technical Report SEN-1004, CWI, 2010. (get a preprint)

Refinement by interpretation in a general setting M. A. Martins, A. Madeira and L. S. Barbosa. vol 259 (pp 105-121), Electronic Notes in Theoretical Computer Science, Elsevier, 2009. (get a preprint)

Refinement via interpretation M. A. Martins, A. Madeira, and L. S. Barbosa. (pp 250- 259). In Proc. of 7th IEEE Int. Conf. on Software Engineering and Formal Methods, Hanoi, Vietnam. IEEE Computer Society Press, 2009. (get a preprint)

Observational Refinement Process A. Madeira. vol 214 (pp 103-129), In Proc. of ``Refinement Workshop 2011" Electronic Notes in Theoretical Computer Science, Elsevier, 2008. (get a preprint)

Thesis

FOUNDATIONS AND TECHNIQUES FOR SOFTWARE RECONFIGURABILITY -An institution independent approach for specifying and reasoning about reconfigurable systems PhD thesis. Minho University, 2013 (get a copy)