Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/sbmf/2008,
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/240/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CatanoBGOR09,
  author       = {N{\'{e}}stor Cata{\~{n}}o and
                  Fernando Barraza and
                  Daniel Garc{\'{\i}}a and
                  Pablo Ortega and
                  Camilo Rueda},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {A Case Study in JML-Assisted Software Development},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {5--21},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.042},
  doi          = {10.1016/J.ENTCS.2009.05.042},
  timestamp    = {Thu, 09 Mar 2023 13:31:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CatanoBGOR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Cavalcanti09,
  author       = {Ana Cavalcanti},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Stateflow Diagrams in Circus},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {23--41},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.043},
  doi          = {10.1016/J.ENTCS.2009.05.043},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Cavalcanti09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CostaMMN09,
  author       = {Umberto Souza da Costa and
                  Anamaria Martins Moreira and
                  Martin A. Musicante and
                  Pl{\'{a}}cido A. Souza Neto},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Specification and Runtime Verification of Java Card Programs},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.045},
  doi          = {10.1016/J.ENTCS.2009.05.045},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CostaMMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CostaR09,
  author       = {Simone Andr{\'{e}} da Costa and
                  Leila Ribeiro},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Formal Verification of Graph Grammars using Mathematical Induction},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {43--60},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.044},
  doi          = {10.1016/J.ENTCS.2009.05.044},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CostaR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DantasDGMJ09,
  author       = {Bartira Dantas and
                  David D{\'{e}}harbe and
                  Stephenson Galv{\~{a}}o and
                  Anamaria Martins Moreira and
                  Val{\'{e}}rio Medeiros J{\'{u}}nior},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Verified Compilation and the {B} Method: {A} Proposal and a First
                  Appraisal},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {79--96},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.046},
  doi          = {10.1016/J.ENTCS.2009.05.046},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DantasDGMJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DidierFM09,
  author       = {Andr{\'{e}} Didier and
                  Adalberto Farias and
                  Alexandre Mota},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Checking {Z} Data Refinements Using Traces Refinement},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {129--148},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.049},
  doi          = {10.1016/J.ENTCS.2009.05.049},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DidierFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FalcaoIS09,
  author       = {Fl{\'{a}}via Falc{\~{a}}o and
                  Juliano Iyoda and
                  Augusto Sampaio},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Multiple Synchrony in {MSC}},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {149--166},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.050},
  doi          = {10.1016/J.ENTCS.2009.05.050},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FalcaoIS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jeron09,
  author       = {Thierry J{\'{e}}ron},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Symbolic Model-based Test Selection},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {167--184},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.051},
  doi          = {10.1016/J.ENTCS.2009.05.051},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jeron09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Machado09,
  author       = {Patr{\'{\i}}cia D. L. Machado},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Preface},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.041},
  doi          = {10.1016/J.ENTCS.2009.05.041},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Machado09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MyreenG09,
  author       = {Magnus O. Myreen and
                  Michael J. C. Gordon},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Transforming Programs into Recursive Functions},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {185--200},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.052},
  doi          = {10.1016/J.ENTCS.2009.05.052},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MyreenG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OliveiraDF09,
  author       = {Diego Caminha Barbosa De Oliveira and
                  David D{\'{e}}harbe and
                  Pascal Fontaine},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Combining Decision Procedures by (Model-)Equality Propagation},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {113--128},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.048},
  doi          = {10.1016/J.ENTCS.2009.05.048},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OliveiraDF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PernaW09,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Mechanised Wire-wise Verification of Handel-C Synthesis},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {201--219},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.053},
  doi          = {10.1016/J.ENTCS.2009.05.053},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PernaW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RegnierLA09,
  author       = {Paul Regnier and
                  George Lima and
                  Aline Maria Santos Andrade},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {A {TLA+} Formal Specification and Verification of a New Real-Time
                  Communication Protocol},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {221--238},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.054},
  doi          = {10.1016/J.ENTCS.2009.05.054},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RegnierLA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SilvaM09,
  author       = {Paulo Salem da Silva and
                  Ana Cristina Vieira de Melo},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Model Checking Merged Program Traces},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {97--112},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.047},
  doi          = {10.1016/J.ENTCS.2009.05.047},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SilvaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ZeydaC09,
  author       = {Frank Zeyda and
                  Ana Cavalcanti},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Mechanical Reasoning about Families of {UTP} Theories},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {239--257},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.055},
  doi          = {10.1016/J.ENTCS.2009.05.055},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ZeydaC09.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.