Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-0912-2549,
  author       = {Attila Kert{\'{e}}sz and
                  Zsolt N{\'{e}}meth},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Formal Aspects of Grid Brokering},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {18--31},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.2},
  doi          = {10.4204/EPTCS.14.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2549.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2550,
  author       = {Stefan Blom and
                  Jaco van de Pol},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Distributed Branching Bisimulation Minimization by Inductive Signatures},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {32--46},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.3},
  doi          = {10.4204/EPTCS.14.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2550.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2551,
  author       = {Paolo Ballarini and
                  Michele Forlin and
                  Tommaso Mazza and
                  Davide Prandi},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Efficient Parallel Statistical Model Checking of Biochemical Networks},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {47--61},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.4},
  doi          = {10.4204/EPTCS.14.4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2551.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2552,
  author       = {Siert Wieringa and
                  Matti Niemenmaa and
                  Keijo Heljanko},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Tarmo: {A} Framework for Parallelized Bounded Model Checking},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {62--76},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.5},
  doi          = {10.4204/EPTCS.14.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2552.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2553,
  author       = {Hao Wang and
                  Wendy MacCaull},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {An Efficient Explicit-time Description Method for Timed Model Checking},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {77--91},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.6},
  doi          = {10.4204/EPTCS.14.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2553.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2554,
  author       = {Fuad Abujarad and
                  Borzoo Bonakdarpour and
                  Sandeep S. Kulkarni},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed
                  Programs},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {92--106},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.7},
  doi          = {10.4204/EPTCS.14.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2554.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2555,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Milan Ceska},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {DiVinE-CUDA - {A} Tool for {GPU} Accelerated {LTL} Model Checking},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {107--111},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.8},
  doi          = {10.4204/EPTCS.14.8},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2555.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0912-2785,
  author       = {Gianfranco Ciardo and
                  Yang Zhao and
                  Xiaoqing Jin},
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Parallel symbolic state-space exploration is difficult, but what is
                  the alternative?},
  booktitle    = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {1--17},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14.1},
  doi          = {10.4204/EPTCS.14.1},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2785.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-0912-3036,
  editor       = {Lubos Brim and
                  Jaco van de Pol},
  title        = {Proceedings 8th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
                  4th November 2009},
  series       = {{EPTCS}},
  volume       = {14},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.14},
  doi          = {10.4204/EPTCS.14},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-3036.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.