default search action
Alexandre Madeira
Person information
- affiliation: University of Aveiro, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j19]Juliana Cunha
, Alexandre Madeira, Luís Soares Barbosa:
Specification of paraconsistent transition systems, revisited. Sci. Comput. Program. 240: 103196 (2025) - [e3]Alexandre Madeira
Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Lecture Notes in Computer Science 15280, Springer 2025, ISBN 978-3-031-77381-5 [contents] - 2024
- [c43]David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive Graphs in Action. FACS 2024: 97-105 - [i4]David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive graphs in action (extended version). CoRR abs/2407.14705 (2024) - 2023
- [c42]Juliana Cunha, Alexandre Madeira
Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17 - [c41]Luís Soares Barbosa
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming 2023: 109-110 - [c40]Jaime Santos, Daniel Figueiredo
idDL2DL - Interval Syntax to dℒ. TASE 2023: 240-247 - [c39]Juliana Cunha, Alexandre Madeira
Stepwise Development of Paraconsistent Processes. TASE 2023: 327-343 - [e2]Alexandre Madeira
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13710, Springer 2023, ISBN 978-3-031-43344-3 [contents] - 2022
- [j18]Mario Roberto Folhadela Benevides
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125: 100732 (2022) - [j17]Leandro Gomes
Weighted synchronous automata. Math. Struct. Comput. Sci. 32(9): 1234-1253 (2022) - [c38]Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira
Relating Kleene Algebras with Pseudo Uninorms. DaLí 2022: 37-55 - [c37]Ana Cruz, Alexandre Madeira
Paraconsistent Transition Systems. LSFA 2022: 3-15 - [c36]Ana Cruz, Alexandre Madeira
A Logic for Paraconsistent Transition Systems. NCL 2022: 270-284 - 2021
- [j16]Rolf Hennicker, Alexander Knapp
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021) - [j15]Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021) - [j14]Leandro Gomes
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25(9): 6789-6805 (2021) - [c35]Mario R. F. Benevides, Alexandre Madeira
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN 2021: 53-68 - [c34]Manisha Jain
Towards a specification theory for fuzzy modal logic. TASE 2021: 175-182 - 2020
- [j13]Mario R. F. Benevides, Alexandre Madeira
DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. 111: 100514 (2020)
2010 – 2019
- 2019
- [j12]Leandro Gomes
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29(2): 141-184 (2019) - [j11]Regivan H. N. Santiago
On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. 175: 1-16 (2019) - [c33]Rolf Hennicker, Alexandre Madeira
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97 - [c32]Leandro Gomes
Logics for Petri Nets with Propagating Failures. FSEN 2019: 145-157 - [c31]José Proença
Taming Hierarchical Connectors. FSEN 2019: 186-193 - [c30]Leandro Gomes
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - [c29]Leandro Gomes
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60 - [c28]Manisha Jain
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA 2019: 85-103 - [c27]Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34 - [i3]Rolf Hennicker, Alexandre Madeira
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019) - [i2]Leandro Gomes, Alexandre Madeira
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019) - 2018
- [j10]Rolf Hennicker, Alexandre Madeira
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [j9]Alexandre Madeira
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [c26]Alexandre Madeira
Verification for Everyone? An Overview of Dynamic Logic. MLCSB 2018: 18-33 - [c25]Alexandre Madeira
Epistemic Logics with Structured Knowledge. LSFA 2018: 137-149 - [e1]Alexandre Madeira, Mario R. F. Benevides
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science 10669, Springer 2018, ISBN 978-3-319-73578-8 [contents] - [i1]Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018) - 2017
- [c24]Rolf Hennicker, Alexandre Madeira
Institutions for Behavioural Dynamic Logic with Binders. ICTAC 2017: 13-31 - [c23]Leandro Gomes
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c22]Mario R. F. Benevides
A Family of Graded Epistemic Logics. LSFA 2017: 45-59 - [c21]Alexandre Madeira
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j8]Alexandre Madeira
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85(5): 1011-1037 (2016) - [j7]Razvan Diaconescu, Alexandre Madeira
Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5): 745-788 (2016) - [j6]Renato Neves
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j5]Alexandre Madeira
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c20]Alexandre Madeira
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440 - [c19]Regivan H. N. Santiago
On Interval Dynamic Logic. SBMF 2016: 129-144 - [c18]Renato Neves
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c17]Rolf Hennicker, Alexandre Madeira
Observational Semantics for Dynamic Logic with Binders. WADT 2016: 135-152 - [p1]Luís Soares Barbosa
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j4]Alejandro Sanchez, Alexandre Madeira
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015) - [j3]Alexandre Madeira
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [c16]Alexandre Madeira
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - 2014
- [j2]Manuel A. Martins
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014) - [c15]Manuel A. Martins
Paradigm integration in a specification course. IRI 2014: 492-499 - [c14]Alexandre Madeira
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c13]Alejandro Sanchez, Luís Soares Barbosa
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - 2013
- [b1]Alexandre Madeira:
Foundations and techniques for software reconfigurability. University of Minho, Portugal, 2013 - [j1]Manuel A. Martins
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013) - [c12]Renato Neves
Hybridisation at Work. CALCO 2013: 340-345 - [c11]Renato Neves
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75 - [c10]Renato Neves
Giving Alloy a family. IRI 2013: 512-519 - [c9]Alexandre Madeira
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c8]Alexandre Madeira
When Even the Interface Evolves... TASE 2013: 79-82 - [c7]Alexandre Madeira
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2011
- [c6]Manuel A. Martins
Hybridization of Institutions. CALCO 2011: 283-297 - [c5]Alexandre Madeira
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285 - [c4]César Jesus Rodrigues, Manuel A. Martins
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64
2000 – 2009
- 2009
- [c3]Manuel A. Martins
Refinement via Interpretation. SEFM 2009: 250-259 - [c2]Manuel A. Martins
Refinement by Interpretation in a General Setting. REFINE@FMWeek 2009: 105-121 - 2008
- [c1]Alexandre Madeira
Observational Refinement Process. Refine@FM 2008: 103-129
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: