Christiano Braga

According to our database, Christiano Braga authored at least 45 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

B Maude: A formal executable environment for Abstract Machine Notation Descriptions.

Christiano Braga, Narciso Martí-Oliet

CoRR, 2021

2019

π: towards a simple formal semantic framework for compiler construction.

Christiano Braga

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata.

Christiano Braga

CoRR, 2018

Towards the Modular Specification and Validation of Cyber-Physical Systems.

Andre Metelo, Christiano Braga, Diego N. Brandão

CoRR, 2018

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

Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018

2017

Preface to Special issue with extended selected papers from FACS 2015.

Christiano Braga

Sci. Comput. Program., 2017

Normative Multi-Agent Systems and Kelsenian Jurisprudence.

Christiano Braga, Edward Hermann Haeusler

CoRR, 2017

2016

Preface to SCP special issue with extended selected papers from SBMF 2014.

Christiano Braga, Narciso Martí-Oliet

Sci. Comput. Program., 2016

Massive Open Online Courses and Monoids.

Hugo Farias, Christiano Braga, Paulo Blauth Menezes

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Detecting indirect conflicts between access control policies.

Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

A rewriting logic semantics for NCL.

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade

Sci. Comput. Program., 2015

AutoRefactoring: A platform to build refactoring agents.

Baldoino Fonseca dos Santos Neto, Márcio Ribeiro, Viviane Torres da Silva, Christiano Braga, Carlos José Pereira de Lucena, Evandro de Barros Costa

Expert Syst. Appl., 2015

Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.

Christiano Braga, Bruno Lopes

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Indirect Normative Conflict - Conflict that Depends on the Application Domain.

Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn

Proceedings of the ICEIS 2015, 2015

Spatio-temporal Validation of Multimedia Documents.

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda

Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

2014

Consistency of model transformation contracts.

Christiano Braga, Cassio Santos, Viviane Torres da Silva

Sci. Comput. Program., 2014

Brazilian Symposium on Programming Languages (SBLP 2011).

Christiano Braga, José Luiz Fiadeiro

Sci. Comput. Program., 2014

2013

Automating the analysis of NCL documents with a model-driven approach.

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade

Proceedings of the 19th Brazilian Symposium on Multimedia and the Web, 2013

An Executable Semantics for a Multimedia Authoring Language.

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Meaningful Models - A Research Agenda on Model-Driven Engineering -.

Christiano Braga, Cassio Santos

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Transformation contracts in practice.

Christiano de Oliveira Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim

IET Softw., 2012

A Model-driven Approach for the Analysis of Multimedia Document.

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade

Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, 2012

2011

A transformation contract to generate aspects from access control policies.

Christiano Braga

Softw. Syst. Model., 2011

On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.

Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Lightweight analysis of access control models with description logic.

Christiano Braga, Edward Hermann Haeusler

Innov. Syst. Softw. Eng., 2010

Modeling Norms in Multi-agent Systems with NormML.

Karen da Silva Figueiredo, Viviane Torres da Silva, Christiano de Oliveira Braga

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

2009

Modeling and Validating Norms.

Viviane Torres da Silva, Christiano Braga

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A Constructive Semantics for Basic Aspect Constructs.

Christiano Braga

Proceedings of the Semantics and Algebraic Specification, 2009

2008

From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.

Christiano Braga

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Model-Driven Security in Practice: An Industrial Experience.

Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea

Proceedings of the Model Driven Architecture, 2008

2007

Special issue: LSFA'06.

Christiano Braga

J. Algorithms, 2007

A Formal Semantics for a Quality of Service Contract Language.

Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Some Tools.

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

Proceedings of the All About Maude, 2007

2006

Maude MSOS Tool.

Fabricio Chalub, Christiano Braga

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Modular Structural Operational Semantics with Strategies.

Christiano Braga, Alberto Verdejo

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

2004

A Modular Rewriting Semantics for CML.

Fabricio Chalub, Christiano Braga

J. Univers. Comput. Sci., 2004

A Rewriting Semantics for a Software Architecture Description Language.

Alexandre Rademaker, Christiano de Oliveira Braga, Alexandre Sztajnberg

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Modular Rewriting Semantics in Practice.

Christiano Braga, José Meseguer

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Modular Rewriting Semantics of Programming Languages.

José Meseguer, Christiano Braga

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Towards a Rewriting Semantics for a Software Architecture Description Language.

Christiano Braga, Alexandre Sztajnberg

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2002

Mapping Modular SOS to Rewriting Logic.

Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

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

Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.

Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1998

<i>Documentu: </i> 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

1997

Geração Automática de Documentação a Partir de Código Fonte.

Christiano de Oliveira Braga, Marcelo Moreira, Arndt von Staa

Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997