Alexandre Madeira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
8
Active years
2009–2026
Best venue rank
National
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | First Steps in a Paraconsistent Transition Systems Toolkit. | Rodrigo Alves, Juliana Cunha, Alexandre Madeira |
| 2024 | SEFM | Paraconsistent Reactive Graphs. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2024 | SEFM | Binders for Switch Graphs Specification. | Daniel Figueiredo, Alexandre Madeira |
| 2023 | TASE | Stepwise Development of Paraconsistent Processes. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2023 | TASE | idDL2DL - Interval Syntax to dℒ. | Jaime Santos, Daniel Figueiredo, Alexandre Madeira |
| 2021 | TASE | Towards a specification theory for fuzzy modal logic. | Manisha Jain, Leandro Gomes, Alexandre Madeira, Lus Soares Barbosa |
| 2019 | FASE | A Hybrid Dynamic Logic for Event/Data-Based Systems. | Rolf Hennicker, Alexandre Madeira, Alexander Knapp |
| 2019 | ICFEM | On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. | Leandro Gomes, Alexandre Madeira, Manisha Jain, Lus Soares Barbosa |
| 2019 | TAP | Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
| 2017 | ICTAC | Institutions for Behavioural Dynamic Logic with Binders. | Rolf Hennicker, Alexandre Madeira |
| 2016 | ICTAC | Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. | Alexandre Madeira, Lus Soares Barbosa, Rolf Hennicker, Manuel A. Martins |
| 2014 | IRI | Paradigm integration in a specification course. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa, Renato Neves |
| 2014 | SEFM | Modelling and Verifying Smell-Free Architectures with the Archery Language. | Alejandro Sanchez, Lus Soares Barbosa, Alexandre Madeira |
| 2013 | CALCO | Hybridisation at Work. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | Giving Alloy a family. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | An Institution for Alloy and Its Translation to Second-Order Logic. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | TASE | When Even the Interface Evolves... | Alexandre Madeira, Renato Neves, Manuel A. Martins, Lus Soares Barbosa |
| 2011 | CALCO | Hybridization of Institutions. | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Lus Soares Barbosa |
| 2011 | SEFM | Hybrid Specification of Reactive Systems: An Institutional Approach. | Alexandre Madeira, Jos M. Faria, Manuel A. Martins, Lus Soares Barbosa |
| 2009 | SEFM | Refinement via Interpretation. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa |