Alexandre Madeira

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 44

Top Topics

Transition Systems

Imperative Programs

Behavioural Patterns

Top Venues

J. Log. Algebraic Methods Program.

Publications

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
Reactive graphs in action (extended version). CoRR (2024)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Structured Specification of Paraconsistent Transition Systems. FSEN (2023)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Stepwise Development of Paraconsistent Processes. TASE (2023)
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Paraconsistent Transition Systems. CoRR (2023)
Luís Soares Barbosa, Alexandre Madeira
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming (2023)
Jaime Santos, Daniel Figueiredo, Alexandre Madeira
idDL2DL - Interval Syntax to dℒ. TASE (2023)
Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125 (2022)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Weighted synchronous automata. Math. Struct. Comput. Sci. 32 (9) (2022)
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
A Logic for Paraconsistent Transition Systems. NCL (2022)
Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins
Relating Kleene Algebras with Pseudo Uninorms. DaLí (2022)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33 (6) (2021)
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Towards a specification theory for fuzzy modal logic. TASE (2021)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25 (9) (2021)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122 (2021)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN (2021)
Mario R. F. Benevides, Alexandre Madeira
DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. 111 (2020)
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29 (2) (2019)
Manisha Jain, Alexandre Madeira, Manuel A. Martins
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE (2019)
Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
Logics for Petri Nets with Propagating Failures. FSEN (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to verify weighted computations. CoRR (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Introducing Synchrony in Fuzzy Automata. LSFA (2019)
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR (2019)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. 175 (2019)
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM (2019)
José Proença, Alexandre Madeira
Taming Hierarchical Connectors. FSEN (2019)
Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
Epistemic Logics with Structured Knowledge. LSFA (2018)
Rolf Hennicker, Alexandre Madeira, Martin Wirsing
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741 (2018)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744 (2018)
Luís Soares Barbosa, Alexandre Madeira
A Research Agenda on Quantum Algoritmics. ERCIM News 2018 (113) (2018)
Alexandre Madeira
Verification for Everyone? An Overview of Dynamic Logic. MLCSB (2018)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
On Kleene Algebras for Weighted Computation. SBMF (2017)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Hierarchical Hybrid Logic. LSFA (2017)
Rolf Hennicker, Alexandre Madeira
Institutions for Behavioural Dynamic Logic with Binders. ICTAC (2017)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
A Family of Graded Epistemic Logics. LSFA (2017)
Razvan Diaconescu, Alexandre Madeira
Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26 (5) (2016)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC (2016)
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
Asymmetric Combination of Logics is Functorial: A Survey. WADT (2016)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126 (2016)
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132 (2016)
Alexandre Madeira, Renato Neves, Manuel A. Martins
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85 (5) (2016)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
On Interval Dynamic Logic. SBMF (2016)
Rolf Hennicker, Alexandre Madeira
Observational Semantics for Dynamic Logic with Binders. WADT (2016)
Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44 (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
A logic for n-dimensional hierarchical refinement. Refine@FM (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
Refinement in hybridised institutions. Formal Aspects Comput. 27 (2) (2015)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10 (1) (2014)
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops (2014)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
A Dynamic Logic for Every Season. SBMF (2014)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
Paradigm integration in a specification course. IRI (2014)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Hybridisation at Work. CALCO (2013)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101 (4) (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Giving Alloy a family. IRI (2013)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
When Even the Interface Evolves... TASE (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Bisimilarity and refinement for hybrid(ised) logics Refine@IFM (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) (2013)
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
Hybridization of Institutions. CALCO (2011)
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM (2011)
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement by interpretation in π-institutions Refine@FM (2011)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement via Interpretation. SEFM (2009)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement by Interpretation in a General Setting. Electron. Notes Theor. Comput. Sci. 259 (2009)
Alexandre Madeira
Observational Refinement Process. Electron. Notes Theor. Comput. Sci. 214 (2008)