Christiano Braga

40 papers B 1Misc 2Journal 15Unranked 19
YearRankTypeTitle / Venue / Authors
2021 J jnl
B Maude: A formal executable environment for Abstract Machine Notation Descriptions.
CoRR
Christiano Braga, Narciso Martí-Oliet
2019 Misc conf
π: towards a simple formal semantic framework for compiler construction.
SAC
Christiano Braga
2018 J jnl
Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata.
CoRR
Christiano Braga
2018 — conf
Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata.
ICCSA (1)
Andre Metelo, Christiano Braga, Diego N. Brandão
2018 J jnl
Towards the Modular Specification and Validation of Cyber-Physical Systems.
CoRR
Andre Metelo, Christiano Braga, Diego N. Brandão
2017 J jnl
Normative Multi-Agent Systems and Kelsenian Jurisprudence.
CoRR
Christiano Braga, Edward Hermann Haeusler
2017 J jnl
Preface to Special issue with extended selected papers from FACS 2015.
Sci. Comput. Program.
Christiano Braga
2016 Misc conf
Detecting indirect conflicts between access control policies.
SAC
Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga
2016 — ed.
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
FACS
Christiano Braga, Peter Csaba Ölveczky
2016 — conf
Massive Open Online Courses and Monoids.
SBMF
Hugo Farias, Christiano Braga, Paulo Blauth Menezes
2016 J jnl
Preface to SCP special issue with extended selected papers from SBMF 2014.
Sci. Comput. Program.
Christiano Braga, Narciso Martí-Oliet
2015 J jnl
A rewriting logic semantics for NCL.
Sci. Comput. Program.
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
2015 J jnl
AutoRefactoring: A platform to build refactoring agents.
Expert Syst. Appl.
Baldoino Fonseca dos Santos Neto, Márcio Ribeiro, Viviane Torres da Silva, Christiano Braga, Carlos José Pereira de Lucena, Evandro de Barros Costa
2015 — ed.
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings
SBMF
Christiano Braga, Narciso Martí-Oliet
2015 — conf
Indirect Normative Conflict - Conflict that Depends on the Application Domain.
ICEIS (1)
Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn
2015 B conf
Spatio-temporal Validation of Multimedia Documents.
DocEng
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
2015 — conf
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.
SBMF
Christiano Braga, Bruno Lopes
2014 J jnl
Brazilian Symposium on Programming Languages (SBLP 2011).
Sci. Comput. Program.
Christiano Braga, José Luiz Fiadeiro
2014 J jnl
Consistency of model transformation contracts.
Sci. Comput. Program.
Christiano Braga, Cassio Santos, Viviane Torres da Silva
2013 — conf
An Executable Semantics for a Multimedia Authoring Language.
SBMF
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
2013 — conf
Automating the analysis of NCL documents with a model-driven approach.
WebMedia
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
2013 — conf
Meaningful Models - A Research Agenda on Model-Driven Engineering -.
SBMF
Christiano Braga, Cassio Santos
2012 — conf
A Model-driven Approach for the Analysis of Multimedia Document.
SLE (Doctoral Symposium)
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade
2011 J jnl
A transformation contract to generate aspects from access control policies.
Softw. Syst. Model.
Christiano Braga
2011 — conf
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.
SBMF
Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
2010 J jnl
Lightweight analysis of access control models with description logic.
Innov. Syst. Softw. Eng.
Christiano Braga, Edward Hermann Haeusler
2009 — conf
A Constructive Semantics for Basic Aspect Constructs.
Semantics and Algebraic Specification
Christiano Braga
2009 — conf
Modeling and Validating Norms.
Normative Multi-Agent Systems
Viviane Torres da Silva, Christiano Braga
2008 — conf
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.
MoDELS (Workshops)
Christiano Braga
2008 — conf
Model-Driven Security in Practice: An Industrial Experience.
ECMDA-FA
Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea
2007 — conf
A Formal Semantics for a Quality of Service Contract Language.
FESCA@ETAPS
Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg
2007 — ch.
Some Tools.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007 J jnl
Special issue: LSFA'06.
J. Algorithms
Christiano Braga
2006 — conf
Maude MSOS Tool.
WRLA
Fabricio Chalub, Christiano Braga
2006 — conf
Modular Structural Operational Semantics with Strategies.
SOS@CONCUR
Christiano Braga, Alberto Verdejo
2004 J jnl
A Modular Rewriting Semantics for CML.
J. Univers. Comput. Sci.
Fabricio Chalub, Christiano Braga
2004 — conf
Modular Rewriting Semantics in Practice.
WRLA
Christiano Braga, José Meseguer
2004 — conf
Modular Rewriting Semantics of Programming Languages.
AMAST
José Meseguer, Christiano Braga
2003 — conf
Towards a Rewriting Semantics for a Software Architecture Description Language.
WMF
Christiano Braga, Alexandre Sztajnberg
2000 J jnl
Using domain specific languages to instantiate object-oriented frameworks.
IEE Proc. Softw.
Marcus Fontoura, Christiano Braga, Leonardo Mendonça de Moura, Carlos Lucena