Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/ArthoO19,
  author       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Formal Techniques for Safety-Critical Systems {(FTSCS} 2016)},
  journal      = {Sci. Comput. Program.},
  volume       = {175},
  pages        = {35--36},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.02.001},
  doi          = {10.1016/J.SCICO.2019.02.001},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ArthoO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HarrisonFDCMMW19,
  author       = {Michael D. Harrison and
                  Leo Freitas and
                  Michael J. Drinnan and
                  Jos{\'{e}} Creissac Campos and
                  Paolo Masci and
                  Costanzo di Maria and
                  Michael Whitaker},
  title        = {Formal techniques in the safety analysis of software components of
                  a new dialysis machine},
  journal      = {Sci. Comput. Program.},
  volume       = {175},
  pages        = {17--34},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.02.003},
  doi          = {10.1016/J.SCICO.2019.02.003},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HarrisonFDCMMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SantiagoBMM19,
  author       = {Regivan H. N. Santiago and
                  Benjam{\'{\i}}n R. C. Bedregal and
                  Alexandre Madeira and
                  Manuel A. Martins},
  title        = {On interval dynamic logic: Introducing quasi-action lattices},
  journal      = {Sci. Comput. Program.},
  volume       = {175},
  pages        = {1--16},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.01.007},
  doi          = {10.1016/J.SCICO.2019.01.007},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SantiagoBMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ScottJB19,
  author       = {Elizabeth Scott and
                  Adrian Johnstone and
                  L. Thomas van Binsbergen},
  title        = {Derivation representation using binary subtree sets},
  journal      = {Sci. Comput. Program.},
  volume       = {175},
  pages        = {63--84},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.01.008},
  doi          = {10.1016/J.SCICO.2019.01.008},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ScottJB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/TimmG19,
  author       = {Nils Timm and
                  Stefan Gruner},
  title        = {Three-valued bounded model checking with cause-guided abstraction
                  refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {175},
  pages        = {37--62},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.02.002},
  doi          = {10.1016/J.SCICO.2019.02.002},
  timestamp    = {Fri, 31 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/TimmG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}