Christiano de O. Braga

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Topics

Widely Accepted

Top Venues

Publications

Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim
Transformation contracts in practice. IET Softw. 6 (1) (2012)
Karen da Silva Figueiredo, Viviane Torres da Silva, Christiano de O. Braga
Modeling Norms in Multi-agent Systems with NormML. COIN@AAMAS&MALLOW (2010)
Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg
A Rewriting Semantics for a Software Architecture Description Language. Electron. Notes Theor. Comput. Sci. 130 (2005)
Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
Mapping Modular SOS to Rewriting Logic. LOPSTR (2002)
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)