research
∙
08/17/2021
B Maude: A formal executable environment for Abstract Machine Notation Descriptions
We propose B Maude, a prototype executable environment for the Abstract ...
research
∙
05/12/2018
π: Towards a Simple Formal Semantic Framework for Compiler Construction
This paper proposes π, a formal semantic framework for compiler construc...
research
∙
05/12/2018
Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata
We have been developing and applying an approach to teach compiler const...
research
∙
03/08/2018
Towards the Modular Specification and Validation of Cyber-Physical Systems
Cyber-Physical Systems (CPS) are systems controlled by one or more compu...
research
∙
09/06/2017