madeira@ua.pt

** A Hybrid Dynamic Logic for Event/Data-based Systems ** R. Hennicker, A. Madeira and A. Knapp. FASE'19, ETAPS 2019. Lecture Notes in Computer Science. vol 11424. pp 79-97, Springer **(BEST PAPER NOMINATION)**. 2019.

** Verification for Everyone: An Overview of Dynamic Logic ** A. Madeira. MLCSB'19. Lecture Notes in Computer Science. Springer (in print)

** On Interval Dynamic Logics: Introducing Quasi-Action Lattices ** R. Santiago, B. Bedregal, A. Madeira and M. Martins. Science of Computer Programming, Vol. 175 Elsevier 2019.
https://doi.org/10.1016/j.scico.2019.01.007

** Logics for Petri Nets with propagating failures ** L. Gomes, A. Madeira and M. Benevides. Fundamentals of Software Engineering 2019. Lecture Notes in Computer Science. Springer (in print)

** Taming Hierarchical Connectors ** J. Proença and A. Madeira. Fundamentals of Software Engineering 2019. Lecture Notes in Computer Science. Springer (in print)

**Epistemic Logics with Structured Knowledge. ** A. Madeira, M. Martins and M. Benevides. Electronic Notes in Theoretical Computer
Science, Elsevier. (in print).

** Behavioural and Abstractor Specifications Revisited ** R. Hennicker, A. Madeira and M. Wirsing. Theoretical Computer Science, Elsevier. vol 741, pp 32--43 (2018)

** A logic for the stepwise development of reactive systems** A. Madeira, L. S. Barbosa, R. Hennicker and M. Martins. Theoretical Computer Science, Elsevier. vol 744, pp 78-96 (2018)

**Hierarchical hybrid logic. ** A. Madeira, R. Neves, M. Martins and L. S. Barbosa. Electronic Notes in Theoretical Computer Science, Elsevier. Vol 338, pp 167-184 (2018).

** A family of graded epistemic logics. ** M. Benevides, A. Madeira, M. Martins. Electronic Notes in Theoretical Computer Science, Elsevier. Vol 338, pp 45-59 (2018)

**A Research Agenda on Quantum Algoritmics**
L. S. Barbosa and A. Madeira.
ERCIM NEWS, 44-45 (2018)

**On infinitary equational hybrid logic**
M. A. Martins, A. Madeira and L. S. Barbosa
Beziau, J-Y.; Costa-Leite, A; D'Ottaviano, I. M. L. (eds). Aftermath of the
Logical Paradise, Coleção CLE, v.81, pp 172--202, (2018)

**On Kleene Algebras for Weighted Computation.** L. Gomes, A. Madeira, L. Barbosa In Cavalheiro S., Fiadeiro J. (eds) Formal Methods: Foundations and Applications. Lecture Notes in Computer Science vol 10623, pp 161–178. (2017)

**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. Lecture Notes in Computer Science, vol 10580. (2017)

**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. Lecture Notes in Computer Science, vol 10644. pp.135-152. (2017)

**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. Lecture Notes in Computer Science, vol 10644 (2017)

** 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 systems**A. 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)

**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)