Alexandre Madeira

79 papers B 8C 3Misc 6Journal 25Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Function-Set Framework: General Properties and Applications to Modal Logic. LSFA Luke Bayzid, Alexandre Madeira, Manuel A. Martins
2025	—	`conf`	Exploring a Quantum Programming Language with Concurrency. Programming Manisha Jain, Vitor Fernandes, Alexandre Madeira, Luís Soares Barbosa
2025	J	`jnl`	Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. J. Log. Algebraic Methods Program. Alexandre Madeira, José Nuno Oliveira, José Proença, Renato Neves
2025	J	`jnl`	Paraconsistent transition structures: compositional principles and a modal logic. Math. Struct. Comput. Sci. Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2025	B	`ed.`	Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings SEFM Alexandre Madeira, Alexander Knapp
2025	J	`jnl`	Specification of paraconsistent transition systems, revisited. Sci. Comput. Program. Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024	B	`conf`	Binders for Switch Graphs Specification. SEFM Daniel Figueiredo, Alexandre Madeira
2024	B	`conf`	Paraconsistent Reactive Graphs. SEFM Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024	—	`conf`	Paraconsistent Relations as a Variant of Kleene Algebras. LSFA Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2024	—	`conf`	Reactive Graphs in Action. FACS David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	J	`jnl`	Reactive graphs in action (extended version). CoRR David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença
2024	—	`conf`	The Institution of Many-Logics Modal Logic. WADT Alfredo R. Freire, Manuel A. Martins, Alexandre Madeira
2023	—	`conf`	Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming Luís Soares Barbosa, Alexandre Madeira
2023	—	`ed.`	Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers WADT Alexandre Madeira, Manuel A. Martins
2023	Misc	`conf`	Stepwise Development of Paraconsistent Processes. TASE Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2023	—	`conf`	Structured Specification of Paraconsistent Transition Systems. FSEN Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
2023	Misc	`conf`	idDL2DL - Interval Syntax to dℒ. TASE Jaime Santos, Daniel Figueiredo, Alexandre Madeira
2022	—	`conf`	A Logic for Paraconsistent Transition Systems. NCL Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
2022	J	`jnl`	Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins
2022	—	`conf`	Paraconsistent Transition Systems. LSFA Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
2022	—	`conf`	Relating Kleene Algebras with Pseudo Uninorms. DaLí Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins
2022	J	`jnl`	Weighted synchronous automata. Math. Struct. Comput. Sci. Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021	J	`jnl`	A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2021	—	`conf`	Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2021	J	`jnl`	Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2021	J	`jnl`	Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. Rolf Hennicker, Alexander Knapp, Alexandre Madeira
2021	Misc	`conf`	Towards a specification theory for fuzzy modal logic. TASE Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2020	J	`jnl`	DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. Mario R. F. Benevides, Alexandre Madeira
2019	—	`conf`	A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA Manisha Jain, Alexandre Madeira, Manuel A. Martins
2019	B	`conf`	A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019	J	`jnl`	A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019	—	`conf`	Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt
2019	J	`jnl`	Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019	J	`jnl`	Generalising KAT to verify weighted computations. CoRR Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019	—	`conf`	Introducing Synchrony in Fuzzy Automata. LSFA Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019	—	`conf`	Logics for Petri Nets with Propagating Failures. FSEN Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
2019	J	`jnl`	On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
2019	C	`conf`	On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
2019	—	`conf`	Taming Hierarchical Connectors. FSEN José Proença, Alexandre Madeira
2018	J	`jnl`	A Research Agenda on Quantum Algoritmics. ERCIM News Luís Soares Barbosa, Alexandre Madeira
2018	J	`jnl`	A logic for the stepwise development of reactive systems. Theor. Comput. Sci. Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2018	J	`jnl`	Behavioural and abstractor specifications revisited. Theor. Comput. Sci. Rolf Hennicker, Alexandre Madeira, Martin Wirsing
2018	—	`ed.`	Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings DALI@TABLEAUX Alexandre Madeira, Mario R. F. Benevides
2018	—	`conf`	Epistemic Logics with Structured Knowledge. LSFA Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
2018	—	`conf`	Verification for Everyone? An Overview of Dynamic Logic. MLCSB Alexandre Madeira
2017	—	`conf`	A Family of Graded Epistemic Logics. LSFA Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2017	—	`conf`	Hierarchical Hybrid Logic. LSFA Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2017	C	`conf`	Institutions for Behavioural Dynamic Logic with Binders. ICTAC Rolf Hennicker, Alexandre Madeira
2017	—	`conf`	On Kleene Algebras for Weighted Computation. SBMF Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2016	J	`jnl`	A method for rigorous design of reconfigurable systems. Sci. Comput. Program. Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
2016	J	`jnl`	An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. Alexandre Madeira, Renato Neves, Manuel A. Martins
2016	—	`conf`	Asymmetric Combination of Logics is Functorial: A Survey. WADT Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
2016	C	`conf`	Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
2016	J	`jnl`	Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. Razvan Diaconescu, Alexandre Madeira
2016	—	`conf`	Observational Semantics for Dynamic Logic with Binders. WADT Rolf Hennicker, Alexandre Madeira
2016	—	`conf`	On Interval Dynamic Logic. SBMF Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins
2016	J	`jnl`	Proof theory for hybrid(ised) logics. Sci. Comput. Program. Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2016	—	`ch.`	Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves
2015	—	`conf`	A logic for n-dimensional hierarchical refinement. Refine@FM Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2015	J	`jnl`	On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa
2015	J	`jnl`	Refinement in hybridised institutions. Formal Aspects Comput. Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
2014	—	`conf`	A Dynamic Logic for Every Season. SBMF Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2014	—	`conf`	Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira
2014	Misc	`conf`	Paradigm integration in a specification course. IRI Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
2014	J	`jnl`	The role of logical interpretations in program development. Log. Methods Comput. Sci. Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013	J	`jnl`	A Coalgebraic Perspective on Logical Interpretations. Stud Logica Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2013	—	`conf`	An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	—	`conf`	Bisimilarity and refinement for hybrid(ised) logics Refine@IFM Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	—	`conf`	Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	—	`—`	Foundations and techniques for software reconfigurability Alexandre Madeira
2013	Misc	`conf`	Giving Alloy a family. IRI Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	B	`conf`	Hybridisation at Work. CALCO Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
2013	Misc	`conf`	When Even the Interface Evolves... TASE Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
2011	B	`conf`	Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa
2011	B	`conf`	Hybridization of Institutions. CALCO Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
2011	—	`conf`	Refinement by interpretation in π-institutions Refine@FM César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009	—	`conf`	Refinement by Interpretation in a General Setting. REFINE@FMWeek Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2009	B	`conf`	Refinement via Interpretation. SEFM Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
2008	—	`conf`	Observational Refinement Process. Refine@FM Alexandre Madeira