madeira@ua.pt
Specification of paraconsistent transition systems, revisited. J. Cunha, A. Madeira, L. S. Barbosa. Science of Computer Programming, Elsevier, 2024. https://doi.org/10.1016/j.scico.2024.103196.
Paraconsistent Relations as a Variant of Kleene Algebras. J. Cunha, A. Madeira, L. S. Barbosa. Logical and Semantic Frameworks with Applications. EPTCS (in print)
Reactive graphs in action. D. Tinoco, A. Madeira, M. Martins, J. Proença. Formal Aspects of Component Software. Lecture Notes in Computer Science. Springer (in print)
Adding concurrency to Quantum Dynamic Logic. M. Jain, V. Fernandes and A. Madeira. International Conference on Artificial Intelligence Logic and Applications. Communications in Computer and Information Science. Springer (in print)
Lattices for Many-logics Modal Logic: constructions and representations. A. Freire, A. Madeira and M.A. Martins. International Conference on Artificial Intelligence Logic and Applications. Communications in Computer and Information Science. Springer (in print)
An exercise in Uppaal: Modelling the circadian clock of a cyanobacteria. A. Iglesias, D. Figueiredo and A. Madeira. International Conference on Artificial Intelligence Logic and Applications. Communications in Computer and Information Science. Springer (in print)
Stepwise development of paraconsistent processes J. Cunha, A. Madeira and L. Barbosa. In: David, C., Sun, M. (eds) Theoretical Aspects of Software Engineering. Lecture Notes in Computer Science, vol 13931. Springer (2023)
idDL2DL - Interval syntax to DL J. Santos, A. Madeira and D. Figueiredo. In: David, C., Sun, M. (eds) Theoretical Aspects of Software Engineering. Lecture Notes in Computer Science, vol 13931. Springer (2023)
Structured specification of paraconsistent transition systems J. Cunha, A. Madeira and L. Barbosa. Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol 14155 . Springer (2023)
Capturing Qubit Decoherence through Paraconsistent Transition Systems L. S. Barbosa and A. Madeira. Programming '23: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming. ACM Press (2023)
Weighted synchronous automata L. Gomes, A. Madeira, L. S. Barbosa. Mathematical Structures in Computer Science , First View , pp. 1 - 20 DOI: https://doi.org/10.1017/S0960129522000421 (2023)
Paraconsistent transition systems A. Cruz, A. Madeira and L. Barbosa. Logical and Semantic Frameworks, with Applications. EPTCS 358, pp. 270-284, doi.org/10.4204/EPTCS.358.20 (2022)
Relating Kleene Algebras with Pseudo Uninorms B. Bedregal, R. Santiago, A. Madeira, M. A. Martins. Dynamic Logic. New Trends and Applications.Lecture Notes in Computer Science, vol 13780. (2022)
A logic for paraconsistent transition systems A. Cruz, A. Madeira and L. Barbosa. Non-Classic Logics. Theory and Applications. EPTCS 358, pp. 270-284 (2022)
Graded epistemic logic with public announcement Benevides, M., Madeira, A., Martins, M.A. Journal of Logical and Algebraic Methods in Programming,vol 125, 100732 (2022)
Hybrid dynamic logic institutions for event/data-based systems Hennicker, R., Knapp, A., Madeira, A. Formal Aspects of Computing, (2021)
Towards a specification theory for fuzzy modal logic Manisha Jain, Leandro Gomes, Alexandre Madeira and Luis S. Barbosa. The 15th International Symposium on Theoretical Aspects of Software Engineering. IEEE press, pag 175-182 (2021)
Proof Calculi for Epistemic Logics with Structured Knowledge M. Benevides, A. Madeira and Manuel A. Martins. In: Hojjat H., Massink M. (eds) Fundamentals of Software Engineering. FSEN 2021. Lecture Notes in Computer Science vol 12818, pag 53-68 (2021)
Observational interpretations of hybrid dynamic logic with binders and silent transitions R. Hennicker, A. Knapp and A. Madeira. Journal of Logical and Algebraic Methods in Programming, 2021, 122, 100698 (2021)
A semantics and a logic for Fuzzy Arden Syntax L. Gomes, A. Madeira and Luis S. Barbosa. Soft Computing 25(9): 6789-6805 (2021)
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)