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}
}
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.