Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/BelznerW21,
  author       = {Lenz Belzner and
                  Martin Wirsing},
  title        = {Synthesizing safe policies under probabilistic constraints with reinforcement
                  learning and Bayesian model checking},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102620},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102620},
  doi          = {10.1016/J.SCICO.2021.102620},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BelznerW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ChondamrongkulS21,
  author       = {Nacha Chondamrongkul and
                  Jing Sun and
                  Ian Warren},
  title        = {Formal security analysis for software architecture design: An expressive
                  framework to emerging architectural styles},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102631},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102631},
  doi          = {10.1016/J.SCICO.2021.102631},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChondamrongkulS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/EdwardsJS21,
  author       = {Nystrom Edwards and
                  Dhitiwat Jongsuebchoke and
                  Tim Storer},
  title        = {Sciit: Embedding issue tracking in source control management},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102628},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102628},
  doi          = {10.1016/J.SCICO.2021.102628},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/EdwardsJS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GeDLZZ21,
  author       = {Ning Ge and
                  Silvano Dal{-}Zilio and
                  Hongyu Liu and
                  Li Zhang and
                  Lianyi Zhang},
  title        = {{RT-MOBS:} {A} compositional observer semantics of time Petri net
                  for real-time property specification language based on \emph{{\(\mu\)}}-calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102624},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102624},
  doi          = {10.1016/J.SCICO.2021.102624},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GeDLZZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HeSSLHH21,
  author       = {Weigang He and
                  Jianqi Shi and
                  Ting Su and
                  Zeyu Lu and
                  Li Hao and
                  Yanhong Huang},
  title        = {Automated test generation for {IEC} 61131-3 {ST} programs via dynamic
                  symbolic execution},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102608},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102608},
  doi          = {10.1016/J.SCICO.2021.102608},
  timestamp    = {Wed, 05 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HeSSLHH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HojjatM21,
  author       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering (extended versions of selected
                  papers of {FSEN} 2019)},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102626},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102626},
  doi          = {10.1016/J.SCICO.2021.102626},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HojjatM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HuZDZT21,
  author       = {Kai Hu and
                  Teng Zhang and
                  Yi Ding and
                  Jian Zhu and
                  Jean{-}Pierre Talpin},
  title        = {Verification of concurrent code from synchronous specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102625},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102625},
  doi          = {10.1016/J.SCICO.2021.102625},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HuZDZT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KammullerK21,
  author       = {Florian Kamm{\"{u}}ller and
                  Manfred Kerber},
  title        = {Applying the Isabelle Insider framework to airplane security},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102623},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102623},
  doi          = {10.1016/J.SCICO.2021.102623},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KammullerK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LYvonnetMMR21,
  author       = {Thibaud L'Yvonnet and
                  Elisabetta De Maria and
                  Sabine Moisan and
                  Jean{-}Paul Rigault},
  title        = {Probabilistic model checking for human activity recognition in medical
                  serious games},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102629},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102629},
  doi          = {10.1016/J.SCICO.2021.102629},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LYvonnetMMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LarsenSW21,
  author       = {Kim G. Larsen and
                  Oleg Sokolsky and
                  Ji Wang},
  title        = {Preface to the Special Issue on Dependable Software Engineering: Theories,
                  Tools and Applications {(SETTA} 2017)},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102622},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102622},
  doi          = {10.1016/J.SCICO.2021.102622},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LarsenSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ravelo-MendezEL21,
  author       = {William Ravelo{-}M{\'{e}}ndez and
                  Camilo Escobar{-}Vel{\'{a}}squez and
                  Mario Linares{-}V{\'{a}}squez},
  title        = {Kraken: {A} framework for enabling multi-device interaction-based
                  testing of Android apps},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102627},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102627},
  doi          = {10.1016/J.SCICO.2021.102627},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Ravelo-MendezEL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ShimariIKII21,
  author       = {Kazumasa Shimari and
                  Takashi Ishio and
                  Tetsuya Kanda and
                  Naoto Ishida and
                  Katsuro Inoue},
  title        = {{NOD4J:} Near-omniscient debugging tool for Java using size-limited
                  execution trace},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102630},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102630},
  doi          = {10.1016/J.SCICO.2021.102630},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ShimariIKII21.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.