Geração Automática de Documentação a Partir de Código Fonte. - Christiano de Oliveira Braga; Marcelo Moreira; Arndt von Staa (SBES, 1997)

Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. - Christiano Braga; Arndt von Staa; Julio César Sampaio do Prado Leite (J. Softw. Maintenance Res. Pract., 1998)

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (AMAST, 2000)

Using domain specific languages to instantiate object-oriented frameworks. - Marcus Fontoura; Christiano Braga; Leonardo Mendonça de Moura; Carlos Lucena (IEE Proc. Softw., 2000)

Mapping Modular SOS to Rewriting Logic. - Christiano de Oliveira Braga; Edward Hermann Haeusler; José Meseguer 001; Peter D. Mosses (LOPSTR, 2002)

Towards a Rewriting Semantics for a Software Architecture Description Language. - Christiano Braga; Alexandre Sztajnberg (WMF, 2003)

Modular Rewriting Semantics of Programming Languages. - José Meseguer 001; Christiano Braga (AMAST, 2004)

Modular Rewriting Semantics in Practice. - Christiano Braga; José Meseguer 001 (WRLA, 2004)

A Rewriting Semantics for a Software Architecture Description Language. - Alexandre Rademaker; Christiano de Oliveira Braga; Alexandre Sztajnberg (SBMF, 2004)

A Modular Rewriting Semantics for CML. - Fabricio Chalub; Christiano Braga (J. Univers. Comput. Sci., 2004)

Modular Structural Operational Semantics with Strategies. - Christiano Braga; Alberto Verdejo (SOS@CONCUR, 2006)

Maude MSOS Tool. - Fabricio Chalub; Christiano Braga (WRLA, 2006)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

A Formal Semantics for a Quality of Service Contract Language. - Christiano Braga; Fabricio Chalub; Alexandre Sztajnberg (FESCA@ETAPS, 2007)

Special issue: LSFA'06. - Christiano Braga (J. Algorithms, 2007)

Model-Driven Security in Practice: An Industrial Experience. - Manuel Clavel; Viviane Torres da Silva; Christiano Braga; Marina Egea (ECMDA-FA, 2008)

From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. - Christiano Braga (MoDELS (Workshops), 2008)

A Constructive Semantics for Basic Aspect Constructs. - Christiano Braga (Semantics and Algebraic Specification, 2009)

Modeling and Validating Norms. - Viviane Torres da Silva; Christiano Braga (Normative Multi-Agent Systems, 2009)

Modeling Norms in Multi-agent Systems with NormML. - Karen da Silva Figueiredo; Viviane Torres da Silva; Christiano de Oliveira Braga (COIN@AAMAS&MALLOW, 2010)

Lightweight analysis of access control models with description logic. - Christiano Braga; Edward Hermann Haeusler (Innov. Syst. Softw. Eng., 2010)

On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. - Christiano Braga; Roberto Menezes; Thiago Comicio; Cassio Santos; Edson Landim (SBMF, 2011)

A transformation contract to generate aspects from access control policies. - Christiano Braga (Softw. Syst. Model., 2011)

A Model-driven Approach for the Analysis of Multimedia Document. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade (SLE (Doctoral Symposium), 2012)

Transformation contracts in practice. - Christiano de Oliveira Braga; Roberto Menezes; Thiago Comicio; Cassio Santos; Edson Landim (IET Softw., 2012)

Meaningful Models - A Research Agenda on Model-Driven Engineering -. - Christiano Braga; Cassio Santos (SBMF, 2013)

An Executable Semantics for a Multimedia Authoring Language. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade (SBMF, 2013)

Automating the analysis of NCL documents with a model-driven approach. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade (WebMedia, 2013)

Brazilian Symposium on Programming Languages (SBLP 2011). - Christiano Braga; José Luiz Fiadeiro (Sci. Comput. Program., 2014)

Consistency of model transformation contracts. - Christiano Braga; Cassio Santos; Viviane Torres da Silva (Sci. Comput. Program., 2014)

Spatio-temporal Validation of Multimedia Documents. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade; Cécile Roisin; Nabil Layaïda (DocEng, 2015)

Indirect Normative Conflict - Conflict that Depends on the Application Domain. - Viviane Torres da Silva; Christiano Braga; Jean de Oliveira Zahn (ICEIS (1), 2015)

Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. - Christiano Braga; Bruno Lopes 001 (SBMF, 2015)

AutoRefactoring: A platform to build refactoring agents. - Baldoino Fonseca dos Santos Neto; Márcio Ribeiro 001; Viviane Torres da Silva; Christiano Braga; Carlos José Pereira de Lucena; Evandro de Barros Costa (Expert Syst. Appl., 2015)

A rewriting logic semantics for NCL. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade (Sci. Comput. Program., 2015)

Detecting indirect conflicts between access control policies. - Laura Costa Sarkis; Viviane Torres da Silva; Christiano Braga (SAC, 2016)

Massive Open Online Courses and Monoids. - Hugo Farias; Christiano Braga; Paulo Blauth Menezes (SBMF, 2016)

Preface to SCP special issue with extended selected papers from SBMF 2014. - Christiano Braga; Narciso Martí-Oliet (Sci. Comput. Program., 2016)

Normative Multi-Agent Systems and Kelsenian Jurisprudence. - Christiano Braga; Edward Hermann Haeusler (CoRR, 2017)

Preface to Special issue with extended selected papers from FACS 2015. - Christiano Braga (Sci. Comput. Program., 2017)

Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. - Andre Metelo; Christiano Braga; Diego N. Brandão (ICCSA (1), 2018)

Towards the Modular Specification and Validation of Cyber-Physical Systems. - Andre Metelo; Christiano Braga; Diego N. Brandão (CoRR, 2018)

Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata. - Christiano Braga (CoRR, 2018)

π: towards a simple formal semantic framework for compiler construction. - Christiano Braga (SAC, 2019)

B Maude: A formal executable environment for Abstract Machine Notation Descriptions. - Christiano Braga; Narciso Martí-Oliet (CoRR, 2021)