Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/ArthoO18,
  author       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2015)},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.12.008},
  doi          = {10.1016/J.SCICO.2017.12.008},
  timestamp    = {Fri, 09 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ArthoO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BeckerVS18,
  author       = {Klaus Becker and
                  Sebastian Voss and
                  Bernhard Sch{\"{a}}tz},
  title        = {Formal analysis of feature degradation in fault-tolerant automotive
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {89--133},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.007},
  doi          = {10.1016/J.SCICO.2017.10.007},
  timestamp    = {Fri, 09 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BeckerVS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BergerJLRS18,
  author       = {Ulrich Berger and
                  Phillip James and
                  Andrew Lawrence and
                  Markus Roggenbach and
                  Monika Seisenberger},
  title        = {Verification of the European Rail Traffic Management System in Real-Time
                  Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {61--88},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.011},
  doi          = {10.1016/J.SCICO.2017.10.011},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BergerJLRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Meseguer18,
  author       = {Jos{\'{e}} Meseguer},
  title        = {Variant-based satisfiability in initial algebras},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {3--41},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.09.001},
  doi          = {10.1016/J.SCICO.2017.09.001},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Meseguer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WuZ18,
  author       = {Xi Wu and
                  Huibiao Zhu},
  title        = {Formal analysis of a calculus for WSNs from quality perspective},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {134--153},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.08.007},
  doi          = {10.1016/J.SCICO.2017.08.007},
  timestamp    = {Mon, 11 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/WuZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhangDM18,
  author       = {Min Zhang and
                  Feng Dai and
                  Fr{\'{e}}d{\'{e}}ric Mallet},
  title        = {Periodic scheduling for {MARTE/CCSL:} Theory and practice},
  journal      = {Sci. Comput. Program.},
  volume       = {154},
  pages        = {42--60},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.08.015},
  doi          = {10.1016/J.SCICO.2017.08.015},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}