Search dblp for Publications

export results for "toc:db/journals/entcs/entcs184.bht:"

 download as .bib file

@proceedings{DBLP:conf/sbmf/2005,
  editor       = {Augusto Sampaio},
  title        = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/184/suppl/C},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BazilioHE07,
  author       = {Carlos Baz{\'{\i}}lio and
                  Edward Hermann Haeusler and
                  Markus Endler},
  editor       = {Augusto Sampaio},
  title        = {Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed
                  Systems},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {189--207},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.022},
  doi          = {10.1016/J.ENTCS.2007.03.022},
  timestamp    = {Tue, 24 Jan 2023 14:02:40 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BazilioHE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BorgesM07,
  author       = {Rafael Magalh{\~{a}}es Borges and
                  Alexandre Cabral Mota},
  editor       = {Augusto Sampaio},
  title        = {Integrating {UML} and Formal Methods},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {97--112},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.017},
  doi          = {10.1016/J.ENTCS.2007.03.017},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BorgesM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DeharbeRV07,
  author       = {David D{\'{e}}harbe and
                  Silvio Ranise and
                  Jorgiano Vidal},
  editor       = {Augusto Sampaio},
  title        = {Distributing the Workload in a Lazy Theorem-Prover},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {21--37},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.013},
  doi          = {10.1016/J.ENTCS.2007.03.013},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DeharbeRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
  author       = {David Faitelson and
                  James Welch and
                  Jim Davies},
  editor       = {Augusto Sampaio},
  title        = {From Predicates to Programs: The Semantics of a Method Language},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {171--187},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.021},
  doi          = {10.1016/J.ENTCS.2007.03.021},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FaitelsonWD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GheyiMB07,
  author       = {Rohit Gheyi and
                  Tiago Massoni and
                  Paulo Borba},
  editor       = {Augusto Sampaio},
  title        = {A Static Semantics for Alloy and its Impact in Refactorings},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {209--233},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.023},
  doi          = {10.1016/J.ENTCS.2007.03.023},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GheyiMB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GomesMD07,
  author       = {Bruno Emerson Gurgel Gomes and
                  Anamaria Martins Moreira and
                  David D{\'{e}}harbe},
  editor       = {Augusto Sampaio},
  title        = {Developing Java Card Applications with {B}},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {81--96},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.016},
  doi          = {10.1016/J.ENTCS.2007.03.016},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GomesMD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JuniorSC07,
  author       = {Antonio Carvalho J{\'{u}}nior and
                  Leila Silva and
                  M{\'{a}}rcio Corn{\'{e}}lio},
  editor       = {Augusto Sampaio},
  title        = {Using CafeOBJ to Mechanise Refactoring Proofs and Application},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {39--61},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.014},
  doi          = {10.1016/J.ENTCS.2007.03.014},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JuniorSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MachadoSM07,
  author       = {Patr{\'{\i}}cia D. L. Machado and
                  Daniel A. Silva and
                  Alexandre Mota},
  editor       = {Augusto Sampaio},
  title        = {Towards Property Oriented Testing},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.001},
  doi          = {10.1016/J.ENTCS.2007.06.001},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MachadoSM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MendizabalDR07,
  author       = {Odorico Machado Mendizabal and
                  Fernando Lu{\'{\i}}s Dotti and
                  Leila Ribeiro},
  editor       = {Augusto Sampaio},
  title        = {Stochastic Object-Based Graph Grammars},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {151--170},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.020},
  doi          = {10.1016/J.ENTCS.2007.03.020},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MendizabalDR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PasiniD07,
  author       = {F{\'{a}}bio Pasini and
                  Fernando Lu{\'{\i}}s Dotti},
  editor       = {Augusto Sampaio},
  title        = {Code Generation for Parallel Applications Modelled with Object-Based
                  Graph Grammars},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {113--131},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.018},
  doi          = {10.1016/J.ENTCS.2007.03.018},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PasiniD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sampaio07,
  author       = {Augusto Sampaio},
  editor       = {Augusto Sampaio},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.012},
  doi          = {10.1016/J.ENTCS.2007.03.012},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sampaio07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SantiagoML07,
  author       = {Regivan Hugo Nunes Santiago and
                  Anamaria Martins Moreira and
                  Katiane R. Lopes},
  editor       = {Augusto Sampaio},
  title        = {Implementing Local Intervals in {CASL}},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {133--149},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.019},
  doi          = {10.1016/J.ENTCS.2007.03.019},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SantiagoML07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/XavierC07,
  author       = {Manuela Xavier and
                  Ana Cavalcanti},
  editor       = {Augusto Sampaio},
  title        = {Mechanised Refinement of Procedures},
  booktitle    = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
                  2005, Porto Alegre, RS, Brazil, November 30, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {184},
  pages        = {63--80},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2007.03.015},
  doi          = {10.1016/J.ENTCS.2007.03.015},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/XavierC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.