Search dblp for Publications

• > Home > Search

@article{DBLP:journals/corr/abs-2404-16075,
  author       = {Horatiu Cirstea and
                  Markus A. Kuppe and
                  Benjamin Loillier and
                  Stephan Merz},
  title        = {Validating Traces of Distributed Programs Against {TLA+} Specifications},
  journal      = {CoRR},
  volume       = {abs/2404.16075},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.16075},
  doi          = {10.48550/ARXIV.2404.16075},
  eprinttype    = {arXiv},
  eprint       = {2404.16075},
  timestamp    = {Mon, 03 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-16075.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcs/CarverT95,
  author       = {Richard H. Carver and
                  Kuo{-}Chung Tai},
  title        = {Test Sequence Generation from Formal Specifications of Distributed
                  Programs},
  booktitle    = {Proceedings of the 15th International Conference on Distributed Computing
                  Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
  pages        = {360--367},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICDCS.1995.500040},
  doi          = {10.1109/ICDCS.1995.500040},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/CarverT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdcs/RomanWP92,
  author       = {Gruia{-}Catalin Roman and
                  C. Donald Wilcox and
                  Jerome Y. Plun},
  title        = {On Deriving Distributed Programs from Formal Specifications of Functional
                  Requirements and Architectural Constraints},
  booktitle    = {Proceedings of the 12th International Conference on Distributed Computing
                  Systems, Yokohama, Japan, June 9-12, 1992},
  pages        = {494--501},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/ICDCS.1992.235004},
  doi          = {10.1109/ICDCS.1992.235004},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/RomanWP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dc/LiskovW86,
  author       = {Barbara Liskov and
                  William E. Weihl},
  title        = {Specifications of Distributed Programs},
  journal      = {Distributed Comput.},
  volume       = {1},
  number       = {2},
  pages        = {102--118},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF01786229},
  doi          = {10.1007/BF01786229},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/LiskovW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}