Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/GuerinPSCBMDB21,
  author       = {Sylvain Gu{\'{e}}rin and
                  Guillaume Polet and
                  Caine Silva and
                  Jo{\"{e}}l Champeau and
                  Jean{-}Christophe Bach and
                  Salvador Mart{\'{\i}}nez and
                  Fabien Dagnat and
                  Antoine Beugnard},
  title        = {{PAMELA:} An annotation-based Java modeling framework},
  journal      = {Sci. Comput. Program.},
  volume       = {210},
  pages        = {102668},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102668},
  doi          = {10.1016/J.SCICO.2021.102668},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GuerinPSCBMDB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ScheweFG21,
  author       = {Klaus{-}Dieter Schewe and
                  Flavio Ferrarotti and
                  Sen{\'{e}}n Gonz{\'{a}}lez},
  title        = {A logic for reflective ASMs},
  journal      = {Sci. Comput. Program.},
  volume       = {210},
  pages        = {102691},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102691},
  doi          = {10.1016/J.SCICO.2021.102691},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ScheweFG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZellerBP21,
  author       = {Peter Zeller and
                  Annette Bieniusa and
                  Arnd Poetzsch{-}Heffter},
  title        = {Combining state- and event-based semantics to verify highly available
                  applications},
  journal      = {Sci. Comput. Program.},
  volume       = {210},
  pages        = {102687},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102687},
  doi          = {10.1016/J.SCICO.2021.102687},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZellerBP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}