Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BoitenDR09,
  author       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Preface},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.013},
  doi          = {10.1016/J.ENTCS.2009.12.013},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BoitenDR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DerrickB09,
  author       = {John Derrick and
                  Eerke A. Boiten},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Relational Concurrent Refinement: Automata},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {21--34},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.015},
  doi          = {10.1016/J.ENTCS.2009.12.015},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DerrickB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Dunne09,
  author       = {Steve Dunne},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Of wlp and {CSP}},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {35--45},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.016},
  doi          = {10.1016/J.ENTCS.2009.12.016},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Dunne09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hallerstede09,
  author       = {Stefan Hallerstede},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Proving Quicksort Correct in Event-B},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {47--65},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.017},
  doi          = {10.1016/J.ENTCS.2009.12.017},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hallerstede09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HesselinkL09,
  author       = {Wim H. Hesselink and
                  Muhammad Ikram Ullah Lali},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Formalizing a Hierarchical File System},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {67--85},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.018},
  doi          = {10.1016/J.ENTCS.2009.12.018},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HesselinkL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HowseSSO09,
  author       = {John Howse and
                  Steve Schuman and
                  Gem Stapleton and
                  Ian Oliver},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Diagrammatic Formal Specification of a Configuration Control Platform},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {87--104},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.019},
  doi          = {10.1016/J.ENTCS.2009.12.019},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HowseSSO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MartinsMB09,
  author       = {Manuel A. Martins and
                  Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Refinement by Interpretation in a General Setting},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {105--121},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.020},
  doi          = {10.1016/J.ENTCS.2009.12.020},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MartinsMB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Morgan09,
  author       = {Carroll Morgan},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {How to Brew-up a Refinement Ordering},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {123--141},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.021},
  doi          = {10.1016/J.ENTCS.2009.12.021},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Morgan09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PreoteasaB09,
  author       = {Viorel Preoteasa and
                  Ralph{-}Johan Back},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Data Refinement of Invariant Based Programs},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {143--163},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.022},
  doi          = {10.1016/J.ENTCS.2009.12.022},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PreoteasaB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RabehajaS09,
  author       = {T. M. Rabehaja and
                  Jeff W. Sanders},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Data Refinement with Probability in Mind},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {165--176},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.023},
  doi          = {10.1016/J.ENTCS.2009.12.023},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RabehajaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ReevesS09,
  author       = {Steve Reeves and
                  David Streader},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Guarded Operations, Refinement and Simulation},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {177--191},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.024},
  doi          = {10.1016/J.ENTCS.2009.12.024},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ReevesS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RodriguesOB09,
  author       = {C{\'{e}}sar Jesus Rodrigues and
                  Jos{\'{e}} Nuno Oliveira and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {A Single Complete Relational Rule for Coalgebraic Refinement},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.014},
  doi          = {10.1016/J.ENTCS.2009.12.014},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RodriguesOB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RuhrothW09,
  author       = {Thomas Ruhroth and
                  Heike Wehrheim},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Static Class Elements for Object-Z},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {193--205},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.025},
  doi          = {10.1016/J.ENTCS.2009.12.025},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RuhrothW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SandersS09,
  author       = {Jeff W. Sanders and
                  Graeme Smith},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Refining Emergent Properties},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {207--223},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.026},
  doi          = {10.1016/J.ENTCS.2009.12.026},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SandersS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ZeydaOC09,
  author       = {Frank Zeyda and
                  Marcel Oliveira and
                  Ana Cavalcanti},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Supporting ArcAngel in ProofPower},
  booktitle    = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  pages        = {225--243},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.027},
  doi          = {10.1016/J.ENTCS.2009.12.027},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ZeydaOC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/refine/2009,
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Steve Reeves},
  title        = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
                  2009, Eindhoven, The Netherlands, November 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {259},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/259/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.