Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs130.bht:"
download as .bib file
@proceedings{DBLP:conf/sbmf/2004,
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {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},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/130/suppl/C},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CornelioCS05,
author = {M{\'{a}}rcio Corn{\'{e}}lio and
Ana Cavalcanti and
Augusto Sampaio},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Refactoring Towards a Layered Architecture},
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 = {281--300},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.015},
doi = {10.1016/J.ENTCS.2005.03.015},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CornelioCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaCVD05,
author = {Umberto Souza da Costa and
S{\'{e}}rgio Vale Aguiar Campos and
Newton Vieira and
David D{\'{e}}harbe},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Explicit-Symbolic Modelling for Formal Verification},
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 = {301--321},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.016},
doi = {10.1016/J.ENTCS.2005.03.016},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaCVD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesCCNS05,
author = {Jim Davies and
Charles Crichton and
Edward Crichton and
David Neilson and
Ib Holm S{\o}rensen},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Formality, Evolution, and Model-driven Software Engineering},
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 = {39--55},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.004},
doi = {10.1016/J.ENTCS.2005.03.004},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesCCNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EmersonW05,
author = {E. Allen Emerson and
Thomas Wahl},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Efficient Reduction Techniques for Systems with Many Components},
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 = {379--399},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.019},
doi = {10.1016/J.ENTCS.2005.03.019},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EmersonW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraS05,
author = {Nelson Guimar{\~{a}}es Ferreira and
Paulo S{\'{e}}rgio Muniz Silva},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Automatic Verification of Safety Rules for a Subway Control Software},
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 = {323--343},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.017},
doi = {10.1016/J.ENTCS.2005.03.017},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {An Abstract Equivalence Notion for Object Models},
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 = {3--21},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.002},
doi = {10.1016/J.ENTCS.2005.03.002},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerraFG05,
author = {Fabr{\'{\i}}cio Vale de Azevedo Guerra and
Jorge Cesar Abrantes de Figueiredo and
Dalton Serey Guerrero},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Protocol Performance Analysis Using a Timed Extension for an Object
Oriented Petri Net 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 = {187--209},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.011},
doi = {10.1016/J.ENTCS.2005.03.011},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerraFG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IorioBBOM05,
author = {Vladimir Oliveira Di Iorio and
Roberto da Silva Bigonha and
Mariza Andrade da Silva Bigonha and
Alcione P. Oliveira and
Eliseu Miguel},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {What's the Name of the Game? Formal Specification of Artificial Intelligence
Games},
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 = {129--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.008},
doi = {10.1016/J.ENTCS.2005.03.008},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/IorioBBOM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Khoumsi05,
author = {Ahmed Khoumsi},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Complete Test Graph Synthesis For Symbolic Real-time Systems},
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 = {79--100},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.006},
doi = {10.1016/J.ENTCS.2005.03.006},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Khoumsi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhoumsiO05,
author = {Ahmed Khoumsi and
Lucien Ouedraogo},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {A New Method for Transforming Timed Automata},
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 = {101--128},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.007},
doi = {10.1016/J.ENTCS.2005.03.007},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhoumsiO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuHL05,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Towards a Rigorous Approach to UML-Based Development},
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 = {57--77},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.005},
doi = {10.1016/J.ENTCS.2005.03.005},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MachadoOBR05,
author = {Patr{\'{\i}}cia D. L. Machado and
Elthon A. S. Oliveira and
Paulo E. S. Barbosa and
C{\'{a}}ssio L. Rodrigues},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Testing from Structured Algebraic Specifications: The Veritas Case
Study},
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 = {235--261},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.013},
doi = {10.1016/J.ENTCS.2005.03.013},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MachadoOBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Melo05,
author = {Ana Cristina Vieira de Melo},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {From Active Names to pi-calculus Rewriting Rules},
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 = {169--185},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.010},
doi = {10.1016/J.ENTCS.2005.03.010},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Melo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorganM05,
author = {Carroll Morgan and
Annabelle McIver},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Memoryless Strategies for Stochastic Games via Domain Theory},
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 = {23--37},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.003},
doi = {10.1016/J.ENTCS.2005.03.003},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorganM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MotaM05,
author = {Alexandre Mota and
Arnaldo V. Moura},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Preface},
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 = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.001},
doi = {10.1016/J.ENTCS.2005.03.001},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MotaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PuQH05,
author = {Geguang Pu and
Zongyan Qiu and
Jifeng He},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Integrating Time and Resource into \emph{Circus}},
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 = {401--418},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.020},
doi = {10.1016/J.ENTCS.2005.03.020},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PuQH05.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/RodriguesB05,
author = {Nuno F. Rodrigues and
Lu{\'{\i}}s Soares Barbosa},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Architectural Prototyping: From {CCS} to .Net},
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 = {151--167},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.009},
doi = {10.1016/J.ENTCS.2005.03.009},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RodriguesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva05,
author = {Paulo S{\'{e}}rgio Muniz Silva},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Early Verification of Computer Systems Temporal Properties},
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 = {211--233},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.012},
doi = {10.1016/J.ENTCS.2005.03.012},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZiemannHG05a,
author = {Paul Ziemann and
Karsten H{\"{o}}lscher and
Martin Gogolla},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Coherently Explaining {UML} Statechart and Collaboration Diagrams
by Graph Transformations},
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 = {263--280},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.014},
doi = {10.1016/J.ENTCS.2005.03.014},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZiemannHG05a.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.
retrieved on 2024-05-23 07:17 CEST from data curated 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:
