Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs55.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1106-4090,
  author       = {Maria Teresa Llano and
                  Andrew Ireland and
                  Alison Pease},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Discovery of Invariants through Automated Theory Formation},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {1--19},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.1},
  doi          = {10.4204/EPTCS.55.1},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4091,
  author       = {Gian Perrone and
                  S{\o}ren Debois and
                  Thomas T. Hildebrandt},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Bigraphical Refinement},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {20--36},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.2},
  doi          = {10.4204/EPTCS.55.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4092,
  author       = {John Derrick and
                  Siobh{\'{a}}n North and
                  Anthony J. H. Simons},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Building a refinement checker for {Z}},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {37--52},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.3},
  doi          = {10.4204/EPTCS.55.3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4093,
  author       = {C{\'{e}}sar Jesus Rodrigues and
                  Manuel A. Martins and
                  Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Refinement by interpretation in {\(\pi\)}-institutions},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {53--64},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.4},
  doi          = {10.4204/EPTCS.55.4},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4093.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4094,
  author       = {Alvaro Miyazawa and
                  Ana Cavalcanti},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Refinement-based verification of sequential implementations of Stateflow
                  charts},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {65--83},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.5},
  doi          = {10.4204/EPTCS.55.5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4095,
  author       = {Steve Reeves and
                  David Streader},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Refinement for Probabilistic Systems with Nondeterminism},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {84--100},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.6},
  doi          = {10.4204/EPTCS.55.6},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4096,
  author       = {Ukachukwu Ndukwu and
                  Annabelle McIver},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Model exploration and analysis for quantitative safety refinement
                  in probabilistic {B}},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {101--120},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.7},
  doi          = {10.4204/EPTCS.55.7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4097,
  author       = {Richard Banach and
                  Huibiao Zhu and
                  Wen Su and
                  Runlei Huang},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Formalising the Continuous/Discrete Modeling Step},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {121--138},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.8},
  doi          = {10.4204/EPTCS.55.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4098,
  author       = {Steve A. Schneider and
                  Helen Treharne and
                  Heike Wehrheim},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {A {CSP} Account of Event-B Refinement},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {139--154},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.9},
  doi          = {10.4204/EPTCS.55.9},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4099,
  author       = {Eerke A. Boiten},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Perspicuity and Granularity in Refinement},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {155--165},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.10},
  doi          = {10.4204/EPTCS.55.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1106-4100,
  author       = {Pontus Bostr{\"{o}}m and
                  Fredrik Degerlund and
                  Kaisa Sere and
                  Marina Wald{\'{e}}n},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Concurrent Scheduling of Event-B Models},
  booktitle    = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  pages        = {166--182},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55.11},
  doi          = {10.4204/EPTCS.55.11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-4100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1106-3488,
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
                  Limerick, Ireland, 20th June 2011},
  series       = {{EPTCS}},
  volume       = {55},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.55},
  doi          = {10.4204/EPTCS.55},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-3488.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.