Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/CamposSMF22,
  author       = {Suene Campos and
                  Regivan H. N. Santiago and
                  Manuel A. Martins and
                  Daniel Figueiredo},
  title        = {Introduction to reversal fuzzy switch graph},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102776},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102776},
  doi          = {10.1016/J.SCICO.2022.102776},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CamposSMF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ChenLMLCJ22,
  author       = {Xiaohong Chen and
                  Qianqian Liu and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Qin Li and
                  Shubin Cai and
                  Zhi Jin},
  title        = {Formally verifying consistency of sequence diagrams for safety critical
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102777},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102777},
  doi          = {10.1016/J.SCICO.2022.102777},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChenLMLCJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DupontASP22,
  author       = {Guillaume Dupont and
                  Yamine A{\"{\i}}t Ameur and
                  Neeraj Kumar Singh and
                  Marc Pantel},
  title        = {Formally verified architectural patterns of hybrid systems using proof
                  and refinement with Event-B},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102765},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102765},
  doi          = {10.1016/J.SCICO.2021.102765},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DupontASP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Hesselink22,
  author       = {Wim H. Hesselink},
  title        = {Trylock, a case for temporal logic and eternity variables},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102767},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102767},
  doi          = {10.1016/J.SCICO.2021.102767},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Hesselink22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MeryR22,
  author       = {Dominique M{\'{e}}ry and
                  Alexander Raschke},
  title        = {Selected papers from the Rigorous State-Based Methods 7th International
                  Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102780},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102780},
  doi          = {10.1016/J.SCICO.2022.102780},
  timestamp    = {Fri, 18 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MeryR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MurraySRAM22,
  author       = {Yvonne Murray and
                  Martin Sirev{\aa}g and
                  Pedro Ribeiro and
                  David A. Anisi and
                  Morten Mossige},
  title        = {Safety assurance of an industrial robotic control system using hardware/software
                  co-verification},
  journal      = {Sci. Comput. Program.},
  volume       = {216},
  pages        = {102766},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2021.102766},
  doi          = {10.1016/J.SCICO.2021.102766},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MurraySRAM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}