Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AlthausBDDHRSWW17,
  author       = {Ernst Althaus and
                  Bj{\"{o}}rn Beber and
                  Werner Damm and
                  Stefan Disch and
                  Willem Hagemann and
                  Astrid Rakow and
                  Christoph Scholl and
                  Uwe Waldmann and
                  Boris Wirtz},
  title        = {Verification of linear hybrid systems with large discrete state spaces
                  using counterexample-guided abstraction refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {123--160},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.04.010},
  doi          = {10.1016/J.SCICO.2017.04.010},
  timestamp    = {Wed, 03 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AlthausBDDHRSWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AmatoRS17,
  author       = {Gianluca Amato and
                  Marco Rubino and
                  Francesca Scozzari},
  title        = {Inferring linear invariants with parallelotopes},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {161--188},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.011},
  doi          = {10.1016/J.SCICO.2017.05.011},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AmatoRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DalvandiBR17,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  title        = {Derivation of algorithmic control structures in Event-B refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {49--65},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.010},
  doi          = {10.1016/J.SCICO.2017.05.010},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DalvandiBR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GrovI17,
  author       = {Gudmund Grov and
                  Andrew Ireland},
  title        = {Preface of the special issue for AVoCS 2015},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {1--2},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.06.007},
  doi          = {10.1016/J.SCICO.2017.06.007},
  timestamp    = {Fri, 03 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrovI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KamaliDMFV17,
  author       = {Maryam Kamali and
                  Louise A. Dennis and
                  Owen McAree and
                  Michael Fisher and
                  Sandor M. Veres},
  title        = {Formal verification of autonomous vehicle platooning},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {88--106},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.006},
  doi          = {10.1016/J.SCICO.2017.05.006},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KamaliDMFV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KetemaD17,
  author       = {Jeroen Ketema and
                  Alastair F. Donaldson},
  title        = {Termination analysis for {GPU} kernels},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {107--122},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.04.009},
  doi          = {10.1016/J.SCICO.2017.04.009},
  timestamp    = {Fri, 03 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KetemaD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LaibinisPT17,
  author       = {Linas Laibinis and
                  Inna Pereverzeva and
                  Elena Troubitsyna},
  title        = {Formal reasoning about resilient goal-oriented multi-agent systems},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {66--87},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.008},
  doi          = {10.1016/J.SCICO.2017.05.008},
  timestamp    = {Fri, 03 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LaibinisPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/OHalloranGB17,
  author       = {Colin O'Halloran and
                  Thomas Gibson{-}Robinson and
                  Neil Brock},
  title        = {Verifying cyber attack properties},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {3--25},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.06.006},
  doi          = {10.1016/J.SCICO.2017.06.006},
  timestamp    = {Fri, 03 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/OHalloranGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/QinHCCHM17,
  author       = {Shengchao Qin and
                  Guanhua He and
                  Wei{-}Ngan Chin and
                  Florin Craciun and
                  Mengda He and
                  Zhong Ming},
  title        = {Automated specification inference in a combined domain via user-defined
                  predicates},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {189--212},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.007},
  doi          = {10.1016/J.SCICO.2017.05.007},
  timestamp    = {Thu, 10 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/QinHCCHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RahliGBC17,
  author       = {Vincent Rahli and
                  David Guaspari and
                  Mark Bickford and
                  Robert L. Constable},
  title        = {EventML: Specification, verification, and implementation of crash-tolerant
                  state machine replication systems},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {26--48},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.009},
  doi          = {10.1016/J.SCICO.2017.05.009},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RahliGBC17.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.