7 citations · 29 across the 10 of their papers we have counts for
10 papers
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…
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…
A Logic for Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In…
Generalising KAT to verify weighted computations
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Bo…
A Hybrid Dynamic Logic for Event/Data-based Systems
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
We propose -logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cov…
Asymmetric combination of logics is functorial: A survey
Renato Neves, Alexandre Madeira, Luis S. Barbosa +1
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development o…