Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christiano Braga
@article{DBLP:journals/corr/abs-2108-07878,
author = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {B Maude: {A} formal executable environment for Abstract Machine Notation
Descriptions},
journal = {CoRR},
volume = {abs/2108.07878},
year = {2021},
url = {https://arxiv.org/abs/2108.07878},
eprinttype = {arXiv},
eprint = {2108.07878},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Braga19,
author = {Christiano Braga},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {{\(\pi\)}: towards a simple formal semantic framework for compiler
construction},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1562--1569},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3299740},
doi = {10.1145/3297280.3299740},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/Braga19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/MeteloBB18,
author = {Andre Metelo and
Christiano Braga and
Diego N. Brand{\~{a}}o},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Elena N. Stankova and
Carmelo Maria Torre and
Ana Maria A. C. Rocha and
David Taniar and
Bernady O. Apduhan and
Eufemia Tarantino and
Yeonseung Ryu},
title = {Towards the Modular Specification and Validation of Cyber-Physical
Systems - {A} Case-Study on Reservoir Modeling with Hybrid Automata},
booktitle = {Computational Science and Its Applications - {ICCSA} 2018 - 18th International
Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10960},
pages = {80--95},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95162-1\_6},
doi = {10.1007/978-3-319-95162-1\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/MeteloBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-03173,
author = {Andre Metelo and
Christiano Braga and
Diego N. Brand{\~{a}}o},
title = {Towards the Modular Specification and Validation of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1803.03173},
year = {2018},
url = {http://arxiv.org/abs/1803.03173},
eprinttype = {arXiv},
eprint = {1803.03173},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04650,
author = {Christiano Braga},
title = {Compiler Construction with Basic Programming Languages Constructs
and Generalized Interpreting Automata},
journal = {CoRR},
volume = {abs/1805.04650},
year = {2018},
url = {http://arxiv.org/abs/1805.04650},
eprinttype = {arXiv},
eprint = {1805.04650},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Braga17,
author = {Christiano Braga},
title = {Preface to Special issue with extended selected papers from {FACS}
2015},
journal = {Sci. Comput. Program.},
volume = {146},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.06.003},
doi = {10.1016/J.SCICO.2017.06.003},
timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Braga17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-02018,
author = {Christiano Braga and
Edward Hermann Haeusler},
title = {Normative Multi-Agent Systems and Kelsenian Jurisprudence},
journal = {CoRR},
volume = {abs/1709.02018},
year = {2017},
url = {http://arxiv.org/abs/1709.02018},
eprinttype = {arXiv},
eprint = {1709.02018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BragaM16,
author = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Preface to {SCP} special issue with extended selected papers from
{SBMF} 2014},
journal = {Sci. Comput. Program.},
volume = {126},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.05.006},
doi = {10.1016/J.SCICO.2016.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BragaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SarkisSB16,
author = {Laura Costa Sarkis and
Viviane Torres da Silva and
Christiano Braga},
editor = {Sascha Ossowski},
title = {Detecting indirect conflicts between access control policies},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1570--1572},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851979},
doi = {10.1145/2851613.2851979},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/SarkisSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FariasBM16,
author = {Hugo Farias and
Christiano Braga and
Paulo Blauth Menezes},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Massive Open Online Courses and Monoids},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {179--195},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_11},
doi = {10.1007/978-3-319-49815-7\_11},
timestamp = {Sun, 25 Oct 2020 23:10:05 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FariasBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28934-2},
doi = {10.1007/978-3-319-28934-2},
isbn = {978-3-319-28933-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/NetoRSBLC15,
author = {Baldoino Fonseca dos Santos Neto and
M{\'{a}}rcio Ribeiro and
Viviane Torres da Silva and
Christiano Braga and
Carlos Jos{\'{e}} Pereira de Lucena and
Evandro de Barros Costa},
title = {AutoRefactoring: {A} platform to build refactoring agents},
journal = {Expert Syst. Appl.},
volume = {42},
number = {3},
pages = {1652--1664},
year = {2015},
url = {https://doi.org/10.1016/j.eswa.2014.09.022},
doi = {10.1016/J.ESWA.2014.09.022},
timestamp = {Thu, 28 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/NetoRSBLC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SantosBM15,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
title = {A rewriting logic semantics for {NCL}},
journal = {Sci. Comput. Program.},
volume = {107-108},
pages = {64--92},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.006},
doi = {10.1016/J.SCICO.2015.04.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SantosBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/SantosBMRL15,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade and
C{\'{e}}cile Roisin and
Nabil Laya{\"{\i}}da},
editor = {Christine Vanoirbeek and
Pierre Genev{\`{e}}s},
title = {Spatio-temporal Validation of Multimedia Documents},
booktitle = {Proceedings of the 2015 {ACM} Symposium on Document Engineering, DocEng
2015, Lausanne, Switzerland, September 8-11, 2015},
pages = {133--142},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2682571.2797060},
doi = {10.1145/2682571.2797060},
timestamp = {Tue, 06 Nov 2018 16:57:32 +0100},
biburl = {https://dblp.org/rec/conf/doceng/SantosBMRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/SilvaBZ15,
author = {Viviane Torres da Silva and
Christiano Braga and
Jean de Oliveira Zahn},
editor = {Slimane Hammoudi and
Leszek A. Maciaszek and
Ernest Teniente},
title = {Indirect Normative Conflict - Conflict that Depends on the Application
Domain},
booktitle = {{ICEIS} 2015 - Proceedings of the 17th International Conference on
Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30
April, 2015},
pages = {452--461},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005350304520461},
doi = {10.5220/0005350304520461},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/SilvaBZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaL15,
author = {Christiano Braga and
Bruno Lopes},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL
Case},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {74--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_5},
doi = {10.1007/978-3-319-29473-5\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2014,
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15075-8},
doi = {10.1007/978-3-319-15075-8},
isbn = {978-3-319-15074-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BragaSS14,
author = {Christiano Braga and
Cassio Santos and
Viviane Torres da Silva},
title = {Consistency of model transformation contracts},
journal = {Sci. Comput. Program.},
volume = {92},
pages = {86--104},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.08.013},
doi = {10.1016/J.SCICO.2013.08.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BragaSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BragaF14,
author = {Christiano Braga and
Jos{\'{e}} Luiz Fiadeiro},
title = {Brazilian Symposium on Programming Languages {(SBLP} 2011)},
journal = {Sci. Comput. Program.},
volume = {93},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.01.001},
doi = {10.1016/J.SCICO.2014.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BragaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaS13,
author = {Christiano Braga and
Cassio Santos},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Meaningful Models - {A} Research Agenda on Model-Driven Engineering
-},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_1},
doi = {10.1007/978-3-642-41071-0\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SantosBM13,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {An Executable Semantics for a Multimedia Authoring Language},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {67--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_6},
doi = {10.1007/978-3-642-41071-0\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/SantosBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webmedia/SantosBM13,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
editor = {C{\'{a}}ssio V. S. Prazeres and
Paulo Nazareno Maia Sampaio and
Andr{\'{e}} Santanch{\`{e}} and
Celso A. S. Santos and
Rudinei Goularte},
title = {Automating the analysis of {NCL} documents with a model-driven approach},
booktitle = {19th Brazilian Symposium on Multimedia and the Web, WebMedia '13,
Salvador, Brazil, November 5-8, 2013},
pages = {193--200},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2526188.2526214},
doi = {10.1145/2526188.2526214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webmedia/SantosBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BragaMCSL12,
author = {Christiano de Oliveira Braga and
Roberto Menezes and
Thiago Comicio and
Cassio Santos and
Edson Landim},
title = {Transformation contracts in practice},
journal = {{IET} Softw.},
volume = {6},
number = {1},
pages = {16--32},
year = {2012},
url = {https://doi.org/10.1049/iet-sen.2011.0013},
doi = {10.1049/IET-SEN.2011.0013},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BragaMCSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/SantosBM12,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
editor = {Ulrich W. Eisenecker and
Christian Bucholdt},
title = {A Model-driven Approach for the Analysis of Multimedia Document},
booktitle = {Proceedings of the Doctoral Symposium of the 5th International Conference
on Software Language Engineering 2012, Dresden, Germany, Sep 25, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {935},
pages = {37--44},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-935/p\_07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/sle/SantosBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Braga11,
author = {Christiano Braga},
title = {A transformation contract to generate aspects from access control
policies},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {395--409},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0156-x},
doi = {10.1007/S10270-010-0156-X},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Braga11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BragaMCSL11,
author = {Christiano Braga and
Roberto Menezes and
Thiago Comicio and
Cassio Santos and
Edson Landim},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {On the Specification, Verification and Implementation of Model Transformations
with Transformation Contracts},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {108--123},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_8},
doi = {10.1007/978-3-642-25032-3\_8},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BragaMCSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BragaH10,
author = {Christiano Braga and
Edward Hermann Haeusler},
title = {Lightweight analysis of access control models with description logic},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {1-2},
pages = {115--123},
year = {2010},
url = {https://doi.org/10.1007/s11334-009-0107-2},
doi = {10.1007/S11334-009-0107-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BragaH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FigueiredoSB10,
author = {Karen da Silva Figueiredo and
Viviane Torres da Silva and
Christiano de Oliveira Braga},
editor = {Marina De Vos and
Nicoletta Fornara and
Jeremy V. Pitt and
George A. Vouros},
title = {Modeling Norms in Multi-agent Systems with NormML},
booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
{VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6541},
pages = {39--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21268-0\_3},
doi = {10.1007/978-3-642-21268-0\_3},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/FigueiredoSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Braga09,
author = {Christiano Braga},
editor = {Jens Palsberg},
title = {A Constructive Semantics for Basic Aspect Constructs},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {106--120},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_6},
doi = {10.1007/978-3-642-04164-8\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Braga09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SilvaB09,
author = {Viviane Torres da Silva and
Christiano Braga},
editor = {Guido Boella and
Pablo Noriega and
Gabriella Pigozzi and
Harko Verhagen},
title = {Modeling and Validating Norms},
booktitle = {Normative Multi-Agent Systems, 15.03. - 20.03.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1918/},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SilvaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ClavelSBE08,
author = {Manuel Clavel and
Viviane Torres da Silva and
Christiano Braga and
Marina Egea},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {Model-Driven Security in Practice: An Industrial Experience},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {326--337},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_22},
doi = {10.1007/978-3-540-69100-6\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ClavelSBE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Braga08,
author = {Christiano Braga},
editor = {Michel R. V. Chaudron},
title = {From Access Control Policies to an Aspect-Based Infrastructure: {A}
Metamodel-Based Approach},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {243--256},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_26},
doi = {10.1007/978-3-642-01648-6\_26},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/Braga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/Braga07,
author = {Christiano Braga},
title = {Special issue: LSFA'06},
journal = {J. Algorithms},
volume = {62},
number = {3-4},
pages = {93--94},
year = {2007},
url = {https://doi.org/10.1016/j.jalgor.2007.05.001},
doi = {10.1016/J.JALGOR.2007.05.001},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/Braga07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaCS09,
author = {Christiano Braga and
Fabricio Chalub and
Alexandre Sztajnberg},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {A Formal Semantics for a Quality of Service Contract Language},
booktitle = {Proceedings of the Formal Foundations of Embedded Software and Component-Based
Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {7},
pages = {103--120},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.03.029},
doi = {10.1016/J.ENTCS.2009.03.029},
timestamp = {Mon, 13 Feb 2023 13:42:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BragaCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Christiano Braga and
Azadeh Farzan and
Joe Hendrix and
Peter Csaba {\"{O}}lveczky and
Miguel Palomino and
Ralf Sasse and
Mark{-}Oliver Stehr and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Some Tools},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {667--693},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_21},
doi = {10.1007/978-3-540-71999-1\_21},
timestamp = {Wed, 20 Sep 2023 08:58:11 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaV07,
author = {Christiano Braga and
Alberto Verdejo},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Modular Structural Operational Semantics with Strategies},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {3--17},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.024},
doi = {10.1016/J.ENTCS.2006.10.024},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BragaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChalubB07,
author = {Fabricio Chalub and
Christiano Braga},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Maude {MSOS} Tool},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {133--146},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.012},
doi = {10.1016/J.ENTCS.2007.06.012},
timestamp = {Tue, 24 Jan 2023 12:37:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChalubB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ChalubB04,
author = {Fabricio Chalub and
Christiano Braga},
title = {A Modular Rewriting Semantics for {CML}},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {7},
pages = {789--807},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-07-0789},
doi = {10.3217/JUCS-010-07-0789},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ChalubB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MeseguerB04,
author = {Jos{\'{e}} Meseguer and
Christiano Braga},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Modular Rewriting Semantics of Programming Languages},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {364--378},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_29},
doi = {10.1007/978-3-540-27815-3\_29},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/MeseguerB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RademakerBS05,
author = {Alexandre Rademaker and
Christiano de Oliveira Braga and
Alexandre Sztajnberg},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {A Rewriting Semantics for a Software Architecture Description Language},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {345--377},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.018},
doi = {10.1016/J.ENTCS.2005.03.018},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RademakerBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaM05,
author = {Christiano Braga and
Jos{\'{e}} Meseguer},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Modular Rewriting Semantics in Practice},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {393--416},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.019},
doi = {10.1016/J.ENTCS.2004.06.019},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BragaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaS04,
author = {Christiano Braga and
Alexandre Sztajnberg},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Towards a Rewriting Semantics for a Software Architecture Description
Language},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {149--168},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.010},
doi = {10.1016/J.ENTCS.2004.04.010},
timestamp = {Wed, 07 Dec 2022 10:40:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BragaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BragaHMM02,
author = {Christiano de Oliveira Braga and
Edward Hermann Haeusler and
Jos{\'{e}} Meseguer and
Peter D. Mosses},
editor = {Michael Leuschel},
title = {Mapping Modular {SOS} to Rewriting Logic},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_21},
doi = {10.1007/3-540-45013-0\_21},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BragaHMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FontouraBML00,
author = {Marcus Fontoura and
Christiano Braga and
Leonardo Mendon{\c{c}}a de Moura and
Carlos Lucena},
title = {Using domain specific languages to instantiate object-oriented frameworks},
journal = {{IEE} Proc. Softw.},
volume = {147},
number = {4},
pages = {109--116},
year = {2000},
url = {https://doi.org/10.1049/ip-sen:20000791},
doi = {10.1049/IP-SEN:20000791},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/FontouraBML00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BragaHMM00,
author = {Christiano de Oliveira Braga and
Edward Hermann Haeusler and
Jos{\'{e}} Meseguer and
Peter D. Mosses},
editor = {Teodor Rus},
title = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting
Logic},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {407--421},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_29},
doi = {10.1007/3-540-45499-3\_29},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/BragaHMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/BragaSL98,
author = {Christiano Braga and
Arndt von Staa and
Julio C{\'{e}}sar Sampaio do Prado Leite},
title = {\emph{Documentu: } a flexible architecture for documentation production
based on a reverse-engineering strategy},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {10},
number = {4},
pages = {279--303},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1096-908X(199807/08)10:4\&\#60;279::AID-SMR174\&\#62;3.0.CO;2-Z},
doi = {10.1002/(SICI)1096-908X(199807/08)10:4\&\#60;279::AID-SMR174\&\#62;3.0.CO;2-Z},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/BragaSL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/BragaMS97,
author = {Christiano de Oliveira Braga and
Marcelo Moreira and
Arndt von Staa},
editor = {Marcos Borges and
Ant{\^{o}}nio Mauro Barbosa de Oliveira},
title = {Gera{\c{c}}{\~{a}}o Autom{\'{a}}tica de Documenta{\c{c}}{\~{a}}o
a Partir de C{\'{o}}digo Fonte},
booktitle = {Proceedings of the 11th Brazilian Symposium on Software Engineering,
{SBES} 1997, Recife, PE, Brazil, October 15-17, 1997},
pages = {469--473},
publisher = {{SBC}},
year = {1997},
url = {https://doi.org/10.5753/sbes.1997.24066},
doi = {10.5753/SBES.1997.24066},
timestamp = {Tue, 16 Jan 2024 15:27:23 +0100},
biburl = {https://dblp.org/rec/conf/sbes/BragaMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
