2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.PL2024★ 5 cited
Reactive graphs in action (extended version)
David Tinoco, Alexandre Madeira, Manuel A. Martins +1
Reactive graphs are transition structures whereas edges become active and inactive during its evolution, that were introduced by Dov Gabbay from a mathematical's perspective. This…
cs.LO2023★ 2 cited
Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, LuÂ-Ã-s Soares Barbosa
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsisten…