Alexandre Madeira

According to our database, Alexandre Madeira authored at least 66 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Specification of paraconsistent transition systems, revisited.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Sci. Comput. Program., 2025

2024

Reactive graphs in action (extended version).

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

CoRR, 2024

Reactive Graphs in Action.

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

idDL2DL - Interval Syntax to dℒ.

Jaime Santos, Daniel Figueiredo, Alexandre Madeira

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Stepwise Development of Paraconsistent Processes.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Capturing Qubit Decoherence through Paraconsistent Transition Systems.

Luís Soares Barbosa, Alexandre Madeira

Proceedings of the Companion Proceedings of the 7th International Conference on the Art, 2023

Structured Specification of Paraconsistent Transition Systems.

Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Weighted synchronous automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Math. Struct. Comput. Sci., October, 2022

Graded epistemic logic with public announcement.

Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins

J. Log. Algebraic Methods Program., 2022

Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

A Logic for Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Relating Kleene Algebras with Pseudo Uninorms.

Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

A semantics and a logic for Fuzzy Arden Syntax.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Soft Comput., 2021

Observational interpretations of hybrid dynamic logic with binders and silent transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

J. Log. Algebraic Methods Program., 2021

Hybrid dynamic logic institutions for event/data-based systems.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira

Formal Aspects Comput., 2021

Towards a specification theory for fuzzy modal logic.

Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

DaLí - Dynamic Logic, new trends and applications.

Mario R. F. Benevides, Alexandre Madeira

J. Log. Algebraic Methods Program., 2020

2019

On interval dynamic logic: Introducing quasi-action lattices.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Sci. Comput. Program., 2019

Generalising KAT to Verify Weighted Computations.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Sci. Ann. Comput. Sci., 2019

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

A Fuzzy Modal Logic for Fuzzy Transition Systems.

Manisha Jain, Alexandre Madeira, Manuel A. Martins

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

Introducing Synchrony in Fuzzy Automata.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa

Proceedings of the Formal Methods and Software Engineering, 2019

Taming Hierarchical Connectors.

José Proença, Alexandre Madeira

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Logics for Petri Nets with Propagating Failures.

Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

A Hybrid Dynamic Logic for Event/Data-Based Systems.

Rolf Hennicker, Alexandre Madeira, Alexander Knapp

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

A logic for the stepwise development of reactive systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Theor. Comput. Sci., 2018

Behavioural and abstractor specifications revisited.

Rolf Hennicker, Alexandre Madeira, Martin Wirsing

Theor. Comput. Sci., 2018

A Research Agenda on Quantum Algoritmics.

Luís Soares Barbosa, Alexandre Madeira

ERCIM News, 2018

Epistemic Logics with Structured Knowledge.

Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Verification for Everyone? An Overview of Dynamic Logic.

Alexandre Madeira

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

2017

Hierarchical Hybrid Logic.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

A Family of Graded Epistemic Logics.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

On Kleene Algebras for Weighted Computation.

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Institutions for Behavioural Dynamic Logic with Binders.

Rolf Hennicker, Alexandre Madeira

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016

Reuse and Integration of Specification Logics: The Hybridisation Perspective.

Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

Proceedings of the Theoretical Information Reuse and Integration, 2016

Proof theory for hybrid(ised) logics.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Sci. Comput. Program., 2016

A method for rigorous design of reconfigurable systems.

Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins

Sci. Comput. Program., 2016

Encoding hybridized institutions into first-order logic.

Razvan Diaconescu, Alexandre Madeira

Math. Struct. Comput. Sci., 2016

An exercise on the generation of many-valued dynamic logics.

Alexandre Madeira, Renato Neves, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

Asymmetric Combination of Logics is Functorial: A Survey.

Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Observational Semantics for Dynamic Logic with Binders.

Rolf Hennicker, Alexandre Madeira

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

On Interval Dynamic Logic.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.

Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Refinement in hybridised institutions.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker

Formal Aspects Comput., 2015

A logic for n-dimensional hierarchical refinement.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

On the verification of architectural reconfigurations.

Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa

Comput. Lang. Syst. Struct., 2015

2014

The role of logical interpretations in program development.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Log. Methods Comput. Sci., 2014

Modelling and Verifying Smell-Free Architectures with the Archery Language.

Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira

Proceedings of the Software Engineering and Formal Methods, 2014

A Dynamic Logic for Every Season.

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Paradigm integration in a specification course.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

Foundations and techniques for software reconfigurability

Alexandre Madeira

PhD thesis, 2013

A Coalgebraic Perspective on Logical Interpretations.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Stud Logica, 2013

Bisimilarity and refinement for hybrid(ised) logics

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

When Even the Interface Evolves...

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Boilerplates for Reconfigurable Systems: A Language and Its Semantics.

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

An Institution for Alloy and Its Translation to Second-Order Logic.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Giving Alloy a family.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Hybridisation at Work.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

Refinement by interpretation in π-institutions

César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Hybrid Specification of Reactive Systems: An Institutional Approach.

Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Hybridization of Institutions.

Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

Refinement by Interpretation in a General Setting.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement via Interpretation.

Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Observational Refinement Process.

Alexandre Madeira

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008