Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs72.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1111-0368,
  author       = {Lubos Brim and
                  Jiri Barnat},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Platform Dependent Verification: On Engineering Verification Tools
                  for 21st Century},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {1--12},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.1},
  doi          = {10.4204/EPTCS.72.1},
  timestamp    = {Fri, 09 Apr 2021 18:27:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0368.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0369,
  author       = {Alfons Laarman and
                  Jaco van de Pol},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Variations on Multi-Core Nested Depth-First Search},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {13--28},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.2},
  doi          = {10.4204/EPTCS.72.2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0369.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0370,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Axel Legay},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Distributed Parametric and Statistical Model Checking},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {30--42},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.4},
  doi          = {10.4204/EPTCS.72.4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0370.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0371,
  author       = {Youssef Hamadi and
                  Jo{\~{a}}o Marques{-}Silva and
                  Christoph M. Wintersteiger},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Lazy Decomposition for Distributed Decision Procedures},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {43--54},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.5},
  doi          = {10.4204/EPTCS.72.5},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0371.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0372,
  author       = {Temesghen Kahsai and
                  Cesare Tinelli},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {PKind: {A} parallel k-induction based model checker},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {55--62},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.6},
  doi          = {10.4204/EPTCS.72.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0372.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0373,
  author       = {Nikola Benes and
                  Ivana Cern{\'{a}} and
                  Milan Kriv{\'{a}}nek},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {CoInDiVinE: Parallel Distributed Model Checker for Component-Based
                  Systems},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {63--67},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.7},
  doi          = {10.4204/EPTCS.72.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0373.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0374,
  author       = {Stefan Vijzelaar and
                  Kees Verstoep and
                  Wan J. Fokkink and
                  Henri E. Bal},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Distributed {MAP} in the SpinJa Model Checker},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {84--90},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.9},
  doi          = {10.4204/EPTCS.72.9},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0374.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0375,
  author       = {Anton Wijs},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {The {HIVE} Tool for Informed Swarm State Space Exploration},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {91--98},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.10},
  doi          = {10.4204/EPTCS.72.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0375.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0627,
  author       = {Jiri Barnat and
                  Petr Bauch and
                  Lubos Brim and
                  Milan Ceska},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Computing Optimal Cycle Mean in Parallel on {CUDA}},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {68--83},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.8},
  doi          = {10.4204/EPTCS.72.8},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0627.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1111-0064,
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72},
  doi          = {10.4204/EPTCS.72},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.