Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristiano Braga
Person information
- affiliation: Universidade Federal Fluminense, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[i5]Christiano Braga, Narciso Martí-Oliet:
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR abs/2108.07878 (2021)
2010 – 2019
- 2019
- [c26]Christiano Braga:
π: towards a simple formal semantic framework for compiler construction. SAC 2019: 1562-1569 - 2018
- [c25]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: 80-95 - [i4]Andre Metelo, Christiano Braga, Diego N. Brandão:
Towards the Modular Specification and Validation of Cyber-Physical Systems. CoRR abs/1803.03173 (2018) - [i3]Christiano Braga:
Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata. CoRR abs/1805.04650 (2018) - 2017
- [j13]Christiano Braga:
Preface to Special issue with extended selected papers from FACS 2015. Sci. Comput. Program. 146: 1 (2017) - [i2]Christiano Braga, Edward Hermann Haeusler:
Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR abs/1709.02018 (2017) - 2016
- [j12]Christiano Braga, Narciso Martí-Oliet:
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126: 1-2 (2016) - [c24]Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga:
Detecting indirect conflicts between access control policies. SAC 2016: 1570-1572 - [c23]Hugo Farias, Christiano Braga, Paulo Blauth Menezes:
Massive Open Online Courses and Monoids. SBMF 2016: 179-195 - [e2]Christiano Braga, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5 [contents] - 2015
- [j11]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): 1652-1664 (2015) - [j10]Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade:
A rewriting logic semantics for NCL. Sci. Comput. Program. 107-108: 64-92 (2015) - [c22]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: 133-142 - [c21]Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn:
Indirect Normative Conflict - Conflict that Depends on the Application Domain. ICEIS (1) 2015: 452-461 - [c20]Christiano Braga, Bruno Lopes:
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. SBMF 2015: 74-89 - [e1]Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents] - 2014
- [j9]Christiano Braga, Cassio Santos, Viviane Torres da Silva:
Consistency of model transformation contracts. Sci. Comput. Program. 92: 86-104 (2014) - [j8]Christiano Braga, José Luiz Fiadeiro:
Brazilian Symposium on Programming Languages (SBLP 2011). Sci. Comput. Program. 93: 1-2 (2014) - 2013
- [c19]Christiano Braga, Cassio Santos:
Meaningful Models - A Research Agenda on Model-Driven Engineering -. SBMF 2013: 1-16 - [c18]Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade:
An Executable Semantics for a Multimedia Authoring Language. SBMF 2013: 67-82 - [c17]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: 193-200 - 2012
- [j7]Christiano de Oliveira Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim:
Transformation contracts in practice. IET Softw. 6(1): 16-32 (2012) - [c16]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: 37-44 - 2011
- [j6]Christiano Braga:
A transformation contract to generate aspects from access control policies. Softw. Syst. Model. 10(3): 395-409 (2011) - [c15]Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim:
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. SBMF 2011: 108-123 - 2010
- [j5]Christiano Braga, Edward Hermann Haeusler:
Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. 6(1-2): 115-123 (2010) - [c14]Karen da Silva Figueiredo, Viviane Torres da Silva, Christiano de Oliveira Braga:
Modeling Norms in Multi-agent Systems with NormML. COIN@AAMAS&MALLOW 2010: 39-57
2000 – 2009
- 2009
- [c13]Christiano Braga:
A Constructive Semantics for Basic Aspect Constructs. Semantics and Algebraic Specification 2009: 106-120 - [i1]Viviane Torres da Silva, Christiano Braga:
Modeling and Validating Norms. Normative Multi-Agent Systems 2009 - 2008
- [c12]Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea:
Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337 - [c11]Christiano Braga:
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. MoDELS (Workshops) 2008: 243-256 - 2007
- [j4]Christiano Braga:
Special issue: LSFA'06. J. Algorithms 62(3-4): 93-94 (2007) - [c10]Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg:
A Formal Semantics for a Quality of Service Contract Language. FESCA@ETAPS 2007: 103-120 - [p1]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:
Some Tools. All About Maude 2007: 667-693 - 2006
- [c9]Christiano Braga, Alberto Verdejo:
Modular Structural Operational Semantics with Strategies. SOS@CONCUR 2006: 3-17 - [c8]Fabricio Chalub, Christiano Braga:
Maude MSOS Tool. WRLA 2006: 133-146 - 2004
- [j3]Fabricio Chalub, Christiano Braga:
A Modular Rewriting Semantics for CML. J. Univers. Comput. Sci. 10(7): 789-807 (2004) - [c7]José Meseguer, Christiano Braga:
Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378 - [c6]Alexandre Rademaker, Christiano de Oliveira Braga, Alexandre Sztajnberg:
A Rewriting Semantics for a Software Architecture Description Language. SBMF 2004: 345-377 - [c5]Christiano Braga, José Meseguer:
Modular Rewriting Semantics in Practice. WRLA 2004: 393-416 - 2003
- [c4]Christiano Braga, Alexandre Sztajnberg:
Towards a Rewriting Semantics for a Software Architecture Description Language. WMF 2003: 149-168 - 2002
- [c3]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277 - 2000
- [j2]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): 109-116 (2000) - [c2]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421
1990 – 1999
- 1998
- [j1]Christiano Braga, Arndt von Staa, Julio César Sampaio do Prado Leite:
Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. J. Softw. Maintenance Res. Pract. 10(4): 279-303 (1998) - 1997
- [c1]Christiano de Oliveira Braga, Marcelo Moreira, Arndt von Staa:
Geração Automática de Documentação a Partir de Código Fonte. SBES 1997: 469-473
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-01-17 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
