Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/AutiliIT18,
  author       = {Marco Autili and
                  Paola Inverardi and
                  Massimo Tivoli},
  title        = {Choreography Realizability Enforcement through the Automatic Synthesis
                  of Distributed Coordination Delegates},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {3--29},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.010},
  doi          = {10.1016/J.SCICO.2017.10.010},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AutiliIT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BehjatiN18,
  author       = {Razieh Behjati and
                  Shiva Nejati},
  title        = {Architecture-level configuration of industrial control systems: Foundations
                  for an efficient approach},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {30--47},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.001},
  doi          = {10.1016/J.SCICO.2017.10.001},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BehjatiN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DastaniHS18,
  author       = {Mehdi Dastani and
                  Hossein Hojjat and
                  Marjan Sirjani},
  title        = {Fundamentals of Software Engineering (extended versions of selected
                  papers of {FSEN} 2015)},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.11.006},
  doi          = {10.1016/J.SCICO.2017.11.006},
  timestamp    = {Mon, 14 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/DastaniHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HajisheykhiEK18,
  author       = {Reza Hajisheykhi and
                  Ali Ebnenasir and
                  Sandeep S. Kulkarni},
  title        = {A theory of integrating tamper evidence with stabilization},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {93--114},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.03.001},
  doi          = {10.1016/J.SCICO.2017.03.001},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HajisheykhiEK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JongmansA18,
  author       = {Sung{-}Shik T. Q. Jongmans and
                  Farhad Arbab},
  title        = {Centralized coordination vs. partially-distributed coordination with
                  Reo and constraint automata},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {48--77},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.06.004},
  doi          = {10.1016/J.SCICO.2017.06.004},
  timestamp    = {Mon, 14 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/JongmansA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KiehnA18,
  author       = {Astrid Kiehn and
                  Deepanker Aggarwal},
  title        = {A study of mutable checkpointing and related algorithms},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {78--92},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.03.009},
  doi          = {10.1016/J.SCICO.2017.03.009},
  timestamp    = {Mon, 14 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KiehnA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}