madeira@ua.pt
Behavioural and Abstractor Specifications for Dynamic Logic with Binders and Silent Transitions R. Hennicker, A. Knapp, A. Madeira and F. Mindt. (eds) Baltag, B. and Barbosa, L. Dynamic Logic: New Trends and Applications. pp 1–15. Lecture Notes in Computer Science Vol 12005. Springer (2020)
DaLí - Dynamic Logic, new trends and applications Mario R. F. Benevides, Alexandre Madeira. J. Log. Algebraic Methods Program. 111: 100514 (2020)
Introducing synchrony in fuzzy automata L. Gomes, A. Madeira and L. S. Barbosa. Electronic Notes in Theoretical Computer Science. pp 43-60. Elsevier (2020)
A Fuzzy Modal Logic for Fuzzy transition systems M. Jain, A. Madeira and M. A. Martins. Electronic Notes in Theoretical Computer Science. pp 85-103. Elsevier (2020)
DaLí - Dynamic Logic, new trends and applications Mario R. F. Benevides, Alexandre Madeira: . J. Log. Algebraic Methods Program. 111: 100514 (2020)
Generalising KAT to Verify Weighted Computations L. Gomes, A. Madeira and L. Barbosa. Scientific Annals of Computer Science. Vol 29 - 2. pp 141 -- 184. (2019)
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 award nominees ). (2019)
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Gomes L., Madeira A., Jain M., Barbosa L.S. In: Ait-Ameur Y., Qin S. (eds) Formal Methods and Software Engineering. ICFEM 2019. Lecture Notes in Computer Science, vol 11852. pp 154-169 Springer. (2019)
Verification for Everyone? An Overview of Dynamic Logic A. Madeira. In: Chaves M., Martins M. (eds) Molecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Science, vol 11415. pp 18-33. Springer (2019)
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. In: Hojjat H., Massink M. (eds) Fundamentals of Software Engineering. FSEN 2019. Lecture Notes in Computer Science, vol 11761. pp 145-157 Springer. (2019)
Taming Hierarchical Connectors J. Proença and A. Madeira. In: Hojjat H., Massink M. (eds) Fundamentals of Software Engineering. FSEN 2019. Lecture Notes in Computer Science, vol 11761. pp 186-193. Springer. (2019)
Epistemic Logics with Structured Knowledge. A. Madeira, M. Martins and M. Benevides. Electronic Notes in Theoretical Computer Science 344: 137- 149 Elsevier. (2019).
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 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)
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)