Christiano Braga

Christiano de O. Braga

	2012
21		Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim: Transformation contracts in practice. IET Software 6(1): 16-32 (2012)
	2011
20		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
19		Christiano Braga: A transformation contract to generate aspects from access control policies. Software and System Modeling 10(3): 395-409 (2011)
	2010
18		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
17		Christiano Braga, Edward Hermann Haeusler: Lightweight analysis of access control models with description logic. ISSE 6(1-2): 115-123 (2010)
	2009
16		Christiano Braga: A Constructive Semantics for Basic Aspect Constructs. Semantics and Algebraic Specification 2009: 106-120
15		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)
	2008
14		Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337
13		Christiano Braga: From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. MoDELS Workshops 2008: 243-256
	2007
12		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
11		Christiano Braga, Alberto Verdejo: Modular Structural Operational Semantics with Strategies. Electr. Notes Theor. Comput. Sci. 175(1): 3-17 (2007)
10		Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007)
9		Christiano Braga: Special issue: LSFA'06. J. Algorithms 62(3-4): 93-94 (2007)
	2005
8		Christiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
7		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
6		José Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
5		Christiano Braga, Alexandre Sztajnberg: Towards a Rewriting Semantics for a Software Architecture Description Language. Electr. Notes Theor. Comput. Sci. 95: 149-168 (2004)
4		Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004)
	2002
3		Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
	2000
2		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
1		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

1	Fabricio Chalub	[4] [10] [15]
2	Manuel Clavel	[12] [14]
3	Thiago Comicio	[20] [21]
4	Francisco Durán	[12]
5	Marina Egea	[14]
6	Steven Eker	[12]
7	Azadeh Farzan	[12]
8	Karen da Silva Figueiredo	[18]
9	Edward Hermann Haeusler	[2] [3] [17]
10	Joe Hendrix	[12]
11	Edson Landim	[20] [21]
12	Julio Cesar Sampaio do Prado Leite	[1]
13	Patrick Lincoln	[12]
14	Narciso Martí-Oliet	[12]
15	Roberto Menezes	[20] [21]
16	José Meseguer	[2] [3] [6] [8] [12]
17	Peter D. Mosses	[2] [3]
18	Peter Csaba Ölveczky	[12]
19	Miguel Palomino	[12]
20	Alexandre Rademaker	[7]
21	Cassio Santos	[20] [21]
22	Ralf Sasse	[12]
23	Viviane Torres da Silva	[14] [18]
24	Arndt von Staa	[1]
25	Mark-Oliver Stehr	[12]
26	Alexandre Sztajnberg	[5] [7] [15]
27	Carolyn L. Talcott	[12]
28	Alberto Verdejo	[11] [12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page