Search dblp for Publications

export results for "toc:db/journals/scp/scp197.bht:"

 download as .bib file

@article{DBLP:journals/scp/0001BC20,
  author       = {Chenyang Zhu and
                  Michael J. Butler and
                  Corina C{\^{\i}}rstea},
  title        = {Trace semantics and refinement patterns for real-time properties in
                  event-B models},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102513},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102513},
  doi          = {10.1016/J.SCICO.2020.102513},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/0001BC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/0001BCWZ20,
  author       = {Simon Foster and
                  James Baxter and
                  Ana Cavalcanti and
                  Jim Woodcock and
                  Frank Zeyda},
  title        = {Unifying semantic foundations for automated verification tools in
                  Isabelle/UTP},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102510},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102510},
  doi          = {10.1016/J.SCICO.2020.102510},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/0001BCWZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/0001C0L20,
  author       = {Kwanghoon Choi and
                  James Cheney and
                  Simon Fowler and
                  Sam Lindley},
  title        = {A polymorphic {RPC} calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102499},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102499},
  doi          = {10.1016/J.SCICO.2020.102499},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/0001C0L20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AnconaDRZ20,
  author       = {Davide Ancona and
                  Francesco Dagnino and
                  Jurriaan Rot and
                  Elena Zucca},
  title        = {A big step from finite to infinite computations},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102492},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102492},
  doi          = {10.1016/J.SCICO.2020.102492},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AnconaDRZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AutiliSGPT20,
  author       = {Marco Autili and
                  Amleto Di Salle and
                  Francesco Gallo and
                  Claudio Pompilio and
                  Massimo Tivoli},
  title        = {CHOReVOLUTION: Service choreography in practice},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102498},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102498},
  doi          = {10.1016/J.SCICO.2020.102498},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AutiliSGPT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ButlerR20,
  author       = {Michael J. Butler and
                  Alexander Raschke},
  title        = {Abstract State Machines, Alloy, B, TLA, {VDM} and {Z} {(ABZ} 2018)},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102514},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102514},
  doi          = {10.1016/J.SCICO.2020.102514},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ButlerR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GadeaGP20,
  author       = {Alejandro Gadea and
                  Emmanuel Gunther and
                  Miguel Pagano},
  title        = {Mechanization of coherence and adequacy: Being extrinsic extended
                  to subtyping},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102512},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102512},
  doi          = {10.1016/J.SCICO.2020.102512},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GadeaGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LimaTN20,
  author       = {Lucas Lima and
                  Amaury Tavares and
                  Sidney C. Nogueira},
  title        = {A framework for verifying deadlock and nondeterminism in {UML} activity
                  diagrams based on {CSP}},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102497},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102497},
  doi          = {10.1016/J.SCICO.2020.102497},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LimaTN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/TasosFDWE20,
  author       = {Alexandros Tasos and
                  Juliana Franco and
                  Sophia Drossopoulou and
                  Tobias Wrigstad and
                  Susan Eisenbach},
  title        = {Reshape your layouts, not your programs: {A} safe language extension
                  for better cache locality},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102481},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102481},
  doi          = {10.1016/J.SCICO.2020.102481},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/TasosFDWE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ToroT20,
  author       = {Mat{\'{\i}}as Toro and
                  {\'{E}}ric Tanter},
  title        = {Abstracting gradual references},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102496},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102496},
  doi          = {10.1016/J.SCICO.2020.102496},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ToroT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/VidalMR20,
  author       = {Marzina Vidal and
                  Tiago Massoni and
                  Franklin Ramalho},
  title        = {A domain-specific language for verifying software requirement constraints},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102509},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102509},
  doi          = {10.1016/J.SCICO.2020.102509},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/VidalMR20.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.