Publications

Journal Papers

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

[J2 ] A method for rigorous design of reconfigurable systems. A. Madeira, R. Neves, L.S. Barbosa, M. A. Martins. Science of Computer Programming. 132: 50-76 (2016)

[J3 ]Proof theory for hybrid(ised) logics. R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, Science of Computer Programming. 126. pp 73-93 (2016)

[J4 ]Paraconsistency in Hybrid Logics. D. Costa and M. A. Martins, Journal of Logic and Computa- tion. https://doi.org/10.1093/logcom/exw027 (in print).

[J5 ] Continuity as a computational effect R. Neves, L. S. Barbosa, D. Hofmann and M. Martins. Journal of Logical and Algebraic Methods in Programming. 85(5): 1057-1085 (2016)

[J6 ] Applying differential dynamic logic to reconfigurable biological networks. D. Figueiredo, M. A. Martins, M. Chaves. Mathematical Biosciences, 2017.

[J7 ] The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country. Eugenio M. Rocha, Cristiana J. Silva, Delfim F. M. Torres. Ricerche di Matematica, ISSN 0035-5038. 1827-3491. (in print)

[J8] Behavioural and Abstractor Specifications Revisited R. Hennicker, A. Madeira and M. Wirsing. Theoretical Computer Science. Elsevier (in print)
https://doi.org/10.1016/j.tcs.2018.02.033

[J9] 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)

[J10] Languages and models for hybrid automata: A coalgebraic perspective. R. Neves, L. S. Barbosa, Theor. Comput. Sci. 744: 113-142 (2018)

[J11] Generating the algebraic theory of C(X): the case of partially ordered compact spaces. Dirk Hofmann, Renato Neves, and Pedro Nora. Theory and Applications of Categories, Vol. 33, 2018, No. 12, pp 276-295.

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

[J13] Limits in Categories of Vietoris Coalgebras. Dirk Hofmann, Renato Neves, and Pedro Nora. Mathematical Structures in Computer Science (In print)

[J14] On Interval Dynamic Logics: Introducing Quasi-Action Lattices R. Santiago, B. Bedregal, A. Madeira and M. Martins. Science of Computer Programming, Elsevier (in print)

Conference Papers

[C1 ] On Interval Dynamic Logic. R. Santiago, B. Bedregal, M. A. Martins and A. Madeira. SBMF 2016 - XIX Brazilian Symposium on Formal Methods. Lecture Notes in Computer Science. vol 10090. 129-144. (2016) – (3rd best paper award) http://sbmf2016.imd.ufrn.br

[C2 ] 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. Vol 338, pp 45-59 (2018)

[C3 ] 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)

[C4 ] 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, Vol 338, pp 167-184 (2018).

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

[C6 ] 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)

[C7 ] 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)

[C8 ] Hybrid Automata as Coalgebras. R. Neves and L. S. Barbosa. ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, vol 9965, pp 385-402. (2016)

[C9] Layered logics, coalgebraically. L. S. Barbosa, in Proc DALI (First International Workshop on Dynamic Logic. New Trends and Applications), Brasília, Sep. 22, 2017, Revised Selected Papers. Springer Lecture Notes Computer Science (10669), pp 55–63, 2017.

[C10] On Kleene algebras for weighted computation. L. Gomes, A. Madeira, L. S. Barbosa, in Proc 20th SBMF (Brazilian Symposium Formal Methods: Foundations and Applications). Springer Lecture Notes Computer Science (10623), pp 161–178, 2017. *3rd best paper*

[C11] A note on reactive transitions and Reo connectors. D. Figueiredo, M. Martins, L. S. Barbosa, in "It's All About Coordination" LNCS, 10865, Frank de Boer, Marcello Bonsangue, Jan Rutten(Eds), pp 57-67. 2018.

[C12] A Semantics for Hybrid Iteration. Sergey Goncharov, Julian Jakob, Renato Neves. CONCUR'18, LIPIcs (in print)

[C13] ReoLive: Analysing Connectors in your Browser. R. Cruz and J. Proença. pp 1--7 Foclasa,(in print)

[C14] On infinitary equational hybrid logic. M Martins, A. Madeira and L. S. Barbosa. In Aftermath of the Logical Paradise, Beziau, J-Y.; Costa-Leite, A; D’Ottaviano, I. M. L. (orgs.). Coleção CLE, v.81, pp. 169-198, 2018.

[C15] Inconsistency Measures in Hybrid Logics. D. Costa, M. A. Martins. in John Grant & Maria Vanina Martinez (Eds.), Measuring Inconsistency in Information, pp. 169-194, Studies in Logic 73, 2018

[C16]Epistemic Logics with Structured Knowledge. A. Madeira, M. Martins and M. Benevides. LSFA'18. Electronic Notes in Theoretical Computer
Science, Elsevier. (in print).

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

[C18] 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)

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

[C20]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. Springer (in print)

Book Chapters

[BC1]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)

PhD theses

[PhD1 ] Logics and calculi for cyber-physical Computationalents. Renato Neves. University of Minho, 2018

[PhD2 ] Paraconsistency in Hybrid Logics. Diana Costa. University of Aveiro, 2019

ongoing PhD theses

[PhD3 ]Contracts on Demand. Leandro Gomes, University of Aveiro (to be finished in 2019)

MsC theses

[MsC1 ] A framework for architectural design and simulation of hybrid systems. Tiago Loureiro. MsC thesis, Universidade do Minho. (2017)

[MsC2 ] Web-based Analysis of Reo Connectors
Rúben Cruz. MsC thesis, Universidade do Minho. (2018)

Posters

[P1 ] sDL: A prover for hybrid systems. D. Figueiredo, E. Andrade. in Algorithms for Computational Biology 2017 (AlCoB 17), Aveiro, Portugal.

[P2 ] Differential dynamic logic for reasoning about biological regulatory networks. D. Figueiredo, M. A. Martins, M. Chaves. in Research Day 2017, University of Aveiro, Portugal.

[P3 ] Logic to model biological phenomena D. Costa, D. Figueiredo. in Ciência 2017, Lisbon, Portugal