1 citations · 1 across the 4 of their papers we have counts for
4 papers
B Maude: A formal executable environment for Abstract Machine Notation Descriptions
Christiano Braga, Narciso Martí-Oliet
We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the impleme…
π: Towards a Simple Formal Semantic Framework for Compiler Construction
Christiano Braga
This paper proposes π, a formal semantic framework for compiler construction together with program validation. π is comprised by π Lib, a set of programming languages constructs in…
Towards the Modular Specification and Validation of Cyber-Physical Systems
Andre Metelo, Christiano Braga, Diego Brandão
Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors an…
Modeling Normative Multi-Agent Systems from a Kelsenian Perspective
Christiano Braga, Edward Hermann Haeusler, Jéssica S. Santos
Standard Deontic Logic (SDL) has been used as the underlying logic to model and reason over Multi-Agent Systems governed by norms (NorMAS). It is known that SDL is not able to repr…