Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/AmeurS16,
  author       = {Yamine A{\"{\i}}t Ameur and
                  Klaus{-}Dieter Schewe},
  title        = {Introduction to the {ABZ} 2014 special issue},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {1--2},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.09.001},
  doi          = {10.1016/J.SCICO.2016.09.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AmeurS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BorgerSW16,
  author       = {Egon B{\"{o}}rger and
                  Klaus{-}Dieter Schewe and
                  Qing Wang},
  title        = {Serialisable multi-level transaction control: {A} specification and
                  verification},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {42--58},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.03.008},
  doi          = {10.1016/J.SCICO.2016.03.008},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BorgerSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DausendR16,
  author       = {Marcel Dausend and
                  Alexander Raschke},
  title        = {Towards a comprehensive extension of abstract state machines for aspect-oriented
                  specification},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {22--41},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.007},
  doi          = {10.1016/J.SCICO.2016.04.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DausendR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ErnstPSR16,
  author       = {Gidon Ernst and
                  J{\"{o}}rg Pf{\"{a}}hler and
                  Gerhard Schellhorn and
                  Wolfgang Reif},
  title        = {Modular, crash-safe refinement for ASMs with submachines},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {3--21},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.009},
  doi          = {10.1016/J.SCICO.2016.04.009},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ErnstPSR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FurstHBSM16,
  author       = {Andreas F{\"{u}}rst and
                  Thai Son Hoang and
                  David A. Basin and
                  Naoto Sato and
                  Kunihiko Miyazaki},
  title        = {Large-scale system development using Abstract Data Types and refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {59--75},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.010},
  doi          = {10.1016/J.SCICO.2016.04.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FurstHBSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Hallerstede16,
  author       = {Stefan Hallerstede},
  title        = {The correctness of event-B inductive convergence},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {94--108},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.012},
  doi          = {10.1016/J.SCICO.2016.04.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hallerstede16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HansenL16,
  author       = {Dominik Hansen and
                  Michael Leuschel},
  title        = {Translating {B} to TLA\({}^{\mbox{+}}\) for validation with {TLC}},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {109--125},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.014},
  doi          = {10.1016/J.SCICO.2016.04.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HansenL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HuynhFMLD16,
  author       = {Nghi Huynh and
                  Marc Frappier and
                  Amel Mammar and
                  R{\'{e}}gine Laleau and
                  Jules Desharnais},
  title        = {A formal validation of the {RBAC} {ANSI} 2012 standard using {B}},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {76--93},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.011},
  doi          = {10.1016/J.SCICO.2016.04.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuynhFMLD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LiS16,
  author       = {Qin Li and
                  Graeme Smith},
  title        = {Formal development of multi-agent systems using {MAZE}},
  journal      = {Sci. Comput. Program.},
  volume       = {131},
  pages        = {126--150},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.008},
  doi          = {10.1016/J.SCICO.2016.04.008},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}