Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Christiano Braga Christiano de O. Braga ( http://dblp.L3S.de/Authors/Christiano_Braga )

URL (Homepage):  http://www.ic.uff.br/~cbraga/  Author page on DBLP  Author page in RDF  Community of Christiano Braga in ASPL-2

Publication years (Num. hits)
1998-2009 (16) 2010-2012 (5)
Publication types (Num. hits)
article(12) inproceedings(9)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(6) AMAST(2) All About Maude(1) COIN@AAMAS&MALLOW(1) ECMDA-FA(1) IET Software(1) ISSE(1) J. Algorithms(1) J. UCS(1) Journal of Software Maintenanc...(1) LOPSTR(1) MoDELS Workshops(1) SBMF(1) Semantics and Algebraic Specif...(1) Software and System Modeling(1)
Authors
Christiano Braga(16) Christiano de O. Braga(5) José Meseguer(5) Alexandre Sztajnberg(3) Edward Hermann Haeusler(3) Fabricio Chalub(3) Alberto Verdejo(2) Cassio Santos(2) Edson Landim(2) Manuel Clavel(2) Peter D. Mosses(2) Roberto Menezes(2) Thiago Comicio(2) Viviane Torres da Silva(2) Alexandre Rademaker(1) Arndt von Staa(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim Transformation contracts in practice. Search on Bibsonomy IET Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christiano Braga A transformation contract to generate aspects from access control policies. Search on Bibsonomy Software and System Modeling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. Search on Bibsonomy SBMF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christiano Braga, Edward Hermann Haeusler Lightweight analysis of access control models with description logic. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Karen da Silva Figueiredo, Viviane Torres da Silva, Christiano de O. Braga Modeling Norms in Multi-agent Systems with NormML. Search on Bibsonomy COIN@AAMAS&MALLOW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg A Formal Semantics for a Quality of Service Contract Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christiano Braga A Constructive Semantics for Basic Aspect Constructs. Search on Bibsonomy Semantics and Algebraic Specification The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea Model-Driven Security in Practice: An Industrial Experience. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christiano Braga From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. Search on Bibsonomy MoDELS Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fabricio Chalub, Christiano Braga Maude MSOS Tool. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christiano Braga, Alberto Verdejo Modular Structural Operational Semantics with Strategies. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christiano Braga Special issue: LSFA'06. Search on Bibsonomy J. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christiano Braga, José Meseguer Modular Rewriting Semantics in Practice. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg A Rewriting Semantics for a Software Architecture Description Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabricio Chalub, Christiano Braga A Modular Rewriting Semantics for CML. Search on Bibsonomy J. UCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Christiano Braga, Alexandre Sztajnberg Towards a Rewriting Semantics for a Software Architecture Description Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Meseguer, Christiano Braga Modular Rewriting Semantics of Programming Languages. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses Mapping Modular SOS to Rewriting Logic. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christiano Braga, Arndt von Staa, Julio Cesar Sampaio do Prado Leite Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. Search on Bibsonomy Journal of Software Maintenance The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.