Christiano Braga

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 10

Top Topics

Access Control Policies

Dagstuhl Castle

Top Venues

Sci. Comput. Program.

Publications

Christiano Braga, Narciso Martí-Oliet
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR (2021)
Christiano Braga
π: towards a simple formal semantic framework for compiler construction. SAC (2019)
Andre Metelo, Christiano Braga, Diego N. Brandão
Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. ICCSA (1) (2018)
Andre Metelo, Christiano Braga, Diego N. Brandão
Towards the Modular Specification and Validation of Cyber-Physical Systems. CoRR (2018)
Christiano Braga
Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata. CoRR (2018)
Christiano Braga, Edward Hermann Haeusler
Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR (2017)
Christiano Braga
Preface to Special issue with extended selected papers from FACS 2015. Sci. Comput. Program. 146 (2017)
Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga
Detecting indirect conflicts between access control policies. SAC (2016)
Hugo Farias, Christiano Braga, Paulo Blauth Menezes
Massive Open Online Courses and Monoids. SBMF (2016)
Christiano Braga, Narciso Martí-Oliet
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126 (2016)
Christiano Braga, Bruno Lopes
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. SBMF (2015)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
A rewriting logic semantics for NCL. Sci. Comput. Program. (2015)
Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn
Indirect Normative Conflict - Conflict that Depends on the Application Domain. ICEIS (1) (2015)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
Spatio-temporal Validation of Multimedia Documents. DocEng (2015)
Baldoino Fonseca dos Santos Neto, Márcio Ribeiro, Viviane Torres da Silva, Christiano Braga, Carlos José Pereira de Lucena, Evandro de Barros Costa
AutoRefactoring: A platform to build refactoring agents. Expert Syst. Appl. 42 (3) (2015)
Christiano Braga, Cassio Santos, Viviane Torres da Silva
Consistency of model transformation contracts. Sci. Comput. Program. 92 (2014)
Christiano Braga, José Luiz Fiadeiro
Brazilian Symposium on Programming Languages (SBLP 2011). Sci. Comput. Program. 93 (2014)
Christiano Braga, Cassio Santos
Meaningful Models - A Research Agenda on Model-Driven Engineering -. SBMF (2013)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
An Executable Semantics for a Multimedia Authoring Language. SBMF (2013)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
Automating the analysis of NCL documents with a model-driven approach. WebMedia (2013)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
A Model-driven Approach for the Analysis of Multimedia Document. SLE (Doctoral Symposium) (2012)
Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. SBMF (2011)
Christiano Braga
A transformation contract to generate aspects from access control policies. Softw. Syst. Model. 10 (3) (2011)
Christiano Braga, Edward Hermann Haeusler
Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg
A Formal Semantics for a Quality of Service Contract Language. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Christiano Braga
A Constructive Semantics for Basic Aspect Constructs. Semantics and Algebraic Specification (2009)
Viviane Torres da Silva, Christiano Braga
Modeling and Validating Norms. Normative Multi-Agent Systems (2009)
Christiano Braga
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. MoDELS (Workshops) (2008)
Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea
Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA (2008)
Christiano Braga
Special issue: LSFA'06. J. Algorithms 62 (3-4) (2007)
Christiano Braga, Alberto Verdejo
Modular Structural Operational Semantics with Strategies. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Fabricio Chalub, Christiano Braga
Maude MSOS Tool. WRLA (2006)
Fabricio Chalub, Christiano Braga
A Modular Rewriting Semantics for CML. J. Univers. Comput. Sci. 10 (7) (2004)
José Meseguer, Christiano Braga
Modular Rewriting Semantics of Programming Languages. AMAST (2004)
Christiano Braga, José Meseguer
Modular Rewriting Semantics in Practice. WRLA (2004)
Christiano Braga, Alexandre Sztajnberg
Towards a Rewriting Semantics for a Software Architecture Description Language. Electron. Notes Theor. Comput. Sci. 95 (2004)
Marcus Fontoura, Christiano Braga, Leonardo Mendonça de Moura, Carlos Lucena
Using domain specific languages to instantiate object-oriented frameworks. IEE Proc. Softw. 147 (4) (2000)
Christiano Braga, Arndt von Staa, Julio Cesar Sampaio do Prado Leite
a flexible architecture for documentation production based on a reverse-engineering strategy. J. Softw. Maintenance Res. Pract. 10 (4) (1998)