Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-2110-11700,
  author       = {Andrei Arusoaie and
                  Dorel Lucanu},
  editor       = {Vlad Rusu},
  title        = {Proof-Carrying Parameters in Certified Symbolic Execution: The Case
                  Study of Antiunification},
  booktitle    = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  pages        = {1--16},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369.1},
  doi          = {10.4204/EPTCS.369.1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-11700.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2201-05716,
  author       = {P{\'{e}}ter Bereczky and
                  Xiaohong Chen and
                  D{\'{a}}niel Horp{\'{a}}csi and
                  Tam{\'{a}}s B{\'{a}}lint Mizsei and
                  Lucas Pe{\~{n}}a and
                  Jan Tusil},
  editor       = {Vlad Rusu},
  title        = {Mechanizing Matching Logic in Coq},
  booktitle    = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  pages        = {17--36},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369.2},
  doi          = {10.4204/EPTCS.369.2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-05716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2209-09471,
  author       = {Georgian{-}Vlad Saioc and
                  Hans H{\"{u}}ttel},
  editor       = {Vlad Rusu},
  title        = {A Tool for Describing and Checking Natural Semantics Definitions of
                  Programming Languages},
  booktitle    = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  pages        = {51--66},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369.4},
  doi          = {10.4204/EPTCS.369.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2209-09472,
  author       = {Wolfgang Jeltsch and
                  Javier D{\'{\i}}az},
  editor       = {Vlad Rusu},
  title        = {Correctness of Broadcast via Multicast: Graphically and Formally},
  booktitle    = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  pages        = {37--50},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369.3},
  doi          = {10.4204/EPTCS.369.3},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2209-09473,
  author       = {Nils Timm and
                  Josua Botha},
  editor       = {Vlad Rusu},
  title        = {Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation},
  booktitle    = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  pages        = {67--82},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369.5},
  doi          = {10.4204/EPTCS.369.5},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09473.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2209-09208,
  editor       = {Vlad Rusu},
  title        = {Proceedings of the Sixth Working Formal Methods Symposium, {FROM}
                  2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022},
  series       = {{EPTCS}},
  volume       = {369},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.369},
  doi          = {10.4204/EPTCS.369},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}