default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs14.bht:"
@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} }
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.