Christiano Braga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2019
Best venue rank
Multiconference
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAC | π: towards a simple formal semantic framework for compiler construction. | Christiano Braga |
| 2018 | ICCSA | Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. | Andre Metelo, Christiano Braga, Diego N. Brando |
| 2016 | SAC | Detecting indirect conflicts between access control policies. | Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga |
| 2015 | DocEng | Spatio-temporal Validation of Multimedia Documents. | Joel Andr Ferreira dos Santos, Christiano Braga, Dbora C. Muchaluat-Saade, Ccile Roisin, Nabil Layada |
| 2012 | SLE | A Model-driven Approach for the Analysis of Multimedia Document. | Joel Andr Ferreira dos Santos, Christiano Braga, Dbora C. Muchaluat-Saade |
| 2008 | MODELS | From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. | Christiano Braga |