Christiano Braga

Christiano de O. Braga

	2012
j12		Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim: Transformation contracts in practice. IET Software 6(1): 16-32 (2012)
c10		Joel Dos Santos, Christiano Braga, Debora C. Muchaluat-Saade: A Model-driven Approach for the Analysis of Multimedia Document. SLE (Doctoral Symposium) 2012: 37-44
	2011
j11		Christiano Braga: A transformation contract to generate aspects from access control policies. Software and System Modeling 10(3): 395-409 (2011)
c9		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
j10		Christiano Braga, Edward Hermann Haeusler: Lightweight analysis of access control models with description logic. ISSE 6(1-2): 115-123 (2010)
c8		Karen da Silva Figueiredo, Viviane Torres da Silva, Christiano de O. Braga: Modeling Norms in Multi-agent Systems with NormML. COIN@AAMAS&MALLOW 2010: 39-57
	2009
j9		Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg: A Formal Semantics for a Quality of Service Contract Language. Electr. Notes Theor. Comput. Sci. 203(7): 103-120 (2009)
c7		Christiano Braga: A Constructive Semantics for Basic Aspect Constructs. Semantics and Algebraic Specification 2009: 106-120
	2008
c6		Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337
c5		Christiano Braga: From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. MoDELS Workshops 2008: 243-256
	2007
j8		Christiano Braga, Alberto Verdejo: Modular Structural Operational Semantics with Strategies. Electr. Notes Theor. Comput. Sci. 175(1): 3-17 (2007)
j7		Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007)
j6		Christiano Braga: Special issue: LSFA'06. J. Algorithms 62(3-4): 93-94 (2007)
c4		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
	2005
j5		Christiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
j4		Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg: A Rewriting Semantics for a Software Architecture Description Language. Electr. Notes Theor. Comput. Sci. 130: 345-377 (2005)
	2004
j3		Christiano Braga, Alexandre Sztajnberg: Towards a Rewriting Semantics for a Software Architecture Description Language. Electr. Notes Theor. Comput. Sci. 95: 149-168 (2004)
j2		Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004)
c3		José Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
	2002
c2		Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
	2000
c1		Christiano de O. 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
	1998
j1		Christiano Braga, Arndt von Staa, Julio Cesar Sampaio do Prado Leite: Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. Journal of Software Maintenance 10(4): 279-303 (1998)

Coauthor Index

Colors in the list of coauthors

Last update Sun May 26 05:44:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page