Print - - Edit

Selected Publications

We should now turn our attention to the business of research and development at the highest scientific plane we can maintain. Research rather than exposition is the keynote, and our critical thresholds should be raised. Authors should submit only their best efforts, and these only after careful criticism by themselves and their colleagues. A few first rate research papers are preferable to a large number that are poorly conceived or half-finished. The latter are no credit to their writers and a waste of time to their readers. Only by maintaining a thoroughly scientific attitude can we achieve real progress in communication theory and consolidate our present position.

(Shannon, 1956) The Bandwagon

These are my 2c.

Christiano Braga. 2019. π: Towards a Simple Formal Semantic Framework for Compiler Construction. In The 34th ACM/SIGAPP Symposium on Applied Computing (SAC ’19), April 8–12, 2019, Limassol, Cyprus. ACM, New York, NY, USA, 8 pages. (arXiv preprint: arXiv:1805.04650 [cs.PL])

Christiano Braga (ed.): Science of Computer Programming, Volume 146, Pages 1-104 (15 October 2017) Special issue with extended selected papers from FACS 2015. DOI: 10.1016/j.scico.2017.06.003

Christiano Braga, Narciso Martí Oliet (eds.): Science of Computer Programming, Volume 126, Pages 1-110 (15 September 2016) Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014), DOI: 10.1016/j.scico.2016.05.006

Christiano Braga, Peter Csaba Ölveczky (eds.): Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5, DOI: 10.1007/978-3-319-28934-2

Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade: A rewriting logic semantics for NCL. Sci. Comput. Program. 107-108: 64-92 (2015) Selected Papers from the Brazilian Symposium on Formal Methods (SBMF 2012 and 2013) DOI: 10.1016/j.scico.2015.04.006

Christiano Braga, Narciso Martí-Oliet (eds.): Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 DOI: 10.1007/978-3-319-15075-8

Christiano Braga, Cassio Santos, and Viviane Silva: Consistency of Model Transformation Contracts, Science of Computer Programming, Volume 92, Part B, 15 October 2014, Pages 86–104. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). DOI: 10.1016/j.scico.2013.08.013

Christiano Braga, José Luiz Fiadeiro (eds.): Brazilian Symposium on Programming Languages (SBLP 2011). Sci. Comput. Program. 93: 1-2 (2014) DOI: 10.1016/j.scico.2014.01.001

Christiano Braga (ed.): Truth and Meaning - Essays Dedicated to E. H. Haeusler on the occasion of his 50th birthday, September 29th, 2012, PUC-Rio hermann50.pdf

Christiano Braga and Cassio Santos: Meaningful Models, Formal Methods, Foundations and Applications LNCS, vol. 8195, pp. 1-16, 2013. (Invited paper) DOI: 10.1007/978-3-642-41071-0_1

Christiano Braga: A transformation contract to generate aspects from access control policies, Software and Systems Modeling, Volume 10, Number 3, 395-409, Springer, 2011. DOI: 10.1007/s10270-010-0156-x

Christiano Braga and E. Hermann Haeusler: Lightweight analysis of access control models with description logic, Innovations in Systems and Software Engineering 6:115-123, Springer, 2010. DOI: 10.1007/s11334-009-0107-2

Christiano Braga: A Constructive Semantics for Basic Aspect Constructs, In: Symposium in honor of Prof. Peter Mosses, 2009, Udine. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the occasion of his 60th birthday, LNCS, vol. 5700, pp. 106-120, Springer, 2009. DOI: 10.1007/978-3-642-04164-8_6

Christiano Braga (ed.), Proceedings of the first workshop on Logical and Semantic Frameworks with Applications - LSFA'06, Natal, Brazil, Journal of Algorithms - Algorithms in Cognition, Informatics and Logic, ISSN 0196-6774, Special issue on the first workshop on Logical and Semantic Frameworks, with Applications, vol. 62/3-4, 2007. DOI: 10.1016/j.jalgor.2007.05.001

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr and Alberto Verdejo: All About Maude - A High-Performance Logical Framework, Lecture Notes in Computer Science, vol. 4350, chapter 21, pp. 667-693, Springer, 2007. DOI: 10.1007/978-3-540-71999-1_21

José Meseguer and Christiano Braga: Modular Rewriting Semantics of Programming Languages, in Charles Rattray, Savitri Maharaj and Carron Shankland Editors, Proceedings of the 10th International Conference of Algebraic Methodology and Software Technology, AMAST 2004, Stirling, UK, Lecture Notes in Computer Science, vol. 3116, pp. 364-378, Springer, July 2004. DOI: 10.1007/978-3-540-27815-3_29

Lattes curriculum


Google Scholar Profile

Page last modified on July 13, 2021, at 10:22 AM