Travelled to:1 × Germany
1 × Spain
1 × Switzerland
Collaborated with:V.T.d.Silva F.Chalub J.Meseguer J.d.O.Zahn M.Clavel M.Egea J.A.F.d.Santos D.C.Muchaluat-Saade C.Roisin N.Layaïda
Talks about:conflict (2) practic (2) multimedia (1) industri (1) indirect (1) document (1) modular (1) tempor (1) spatio (1) semant (1)
Person: Christiano Braga
DBLP: Braga:Christiano
Contributed to:
2015
2015
2008
20072005Wrote 5 papers:
- DocEng-2015-SantosBMRL #documentation #multi #validation
- Spatio-temporal Validation of Multimedia Documents (JAFdS, CB, DCMS, CR, NL), pp. 133–142.
- ICEIS-v1-2015-SilvaBZ
- Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.
- ECMDA-FA-2008-ClavelSBE #experience #industrial #modelling #security
- Model-Driven Security in Practice: An Industrial Experience (MC, VTdS, CB, ME), pp. 326–337.
- WRLA-2006-ChalubB07 #maude
- Maude MSOS Tool (FC, CB), pp. 133–146.
- WRLA-2004-BragaM05 #composition #semantics
- Modular Rewriting Semantics in Practice (CB, JM), pp. 393–416.