Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/pdmc:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BalV08,
author = {Henri E. Bal and
Kees Verstoep},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Large-Scale Parallel Computing on Grids},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {3--17},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.010},
doi = {10.1016/J.ENTCS.2008.11.010},
timestamp = {Fri, 17 Feb 2023 11:16:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenesCSVZ08,
author = {Nikola Benes and
Ivana Cern{\'{a}} and
Jiri Sochor and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {A Case Study in Parallel Verification of Component-Based Systems},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {67--83},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.014},
doi = {10.1016/J.ENTCS.2008.11.014},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenesCSVZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomHKP08,
author = {Stefan Blom and
Boudewijn R. Haverkort and
Matthias Kuntz and
Jaco van de Pol},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Distributed Markovian Bisimulation Reduction aimed at {CSL} Model
Checking},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {35--50},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.012},
doi = {10.1016/J.ENTCS.2008.11.012},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomHKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CernaL08,
author = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.009},
doi = {10.1016/J.ENTCS.2008.11.009},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CernaL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PelanekRM08,
author = {Radek Pel{\'{a}}nek and
V{\'{a}}clav Roseck{\'{y}} and
Pavel Moravec},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Complementarity of Error Detection Techniques},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {51--65},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.013},
doi = {10.1016/J.ENTCS.2008.11.013},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PelanekRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolW08,
author = {Jaco van de Pol and
Michael Weber},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {A Multi-Core Solver for Parity Games},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {19--34},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.011},
doi = {10.1016/J.ENTCS.2008.11.011},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2007,
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/198/issue/1},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2008,
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/220/issue/2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatCP08,
author = {Jiri Barnat and
Jakub Chaloupka and
Jaco van de Pol},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Improved Distributed Algorithms for {SCC} Decomposition},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {63--77},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.001},
doi = {10.1016/J.ENTCS.2008.02.001},
timestamp = {Mon, 13 Feb 2023 09:23:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatR08,
author = {Jiri Barnat and
Petr Rockai},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Shared Hash Tables in Parallel Model Checking},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {79--91},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.021},
doi = {10.1016/J.ENTCS.2007.10.021},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomLPW08,
author = {Stefan Blom and
Bert Lisser and
Jaco van de Pol and
Michael Weber},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {A Database Approach to Distributed State Space Generation},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {17--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.018},
doi = {10.1016/J.ENTCS.2007.10.018},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomLPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CernaH08,
author = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.016},
doi = {10.1016/J.ENTCS.2007.10.016},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CernaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DashtiWL08,
author = {Muhammad Torabi Dashti and
Anton Wijs and
Bert Lisser},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Distributed Partial Order Reduction for Security Protocols},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {93--99},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.022},
doi = {10.1016/J.ENTCS.2007.10.022},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DashtiWL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampJS08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Damian Sulewski},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Distributed Verification of Multi-threaded {C++} Programs},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {33--46},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.019},
doi = {10.1016/J.ENTCS.2007.10.019},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EzekielL08,
author = {Jonathan Ezekiel and
Gerald L{\"{u}}ttgen},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Measuring and Evaluating Parallel State-Space Exploration Algorithms},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {47--61},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.020},
doi = {10.1016/J.ENTCS.2007.10.020},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EzekielL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Holzmann08,
author = {Gerard J. Holzmann},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {A Stack-Slicing Algorithm for Multi-Core Model Checking},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {3--16},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.017},
doi = {10.1016/J.ENTCS.2007.10.017},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Holzmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2005,
editor = {Martin Leucker and
Jaco van de Pol},
title = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/2},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS06,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Martin Leucker and
Jaco van de Pol},
title = {How to Order Vertices for Distributed {LTL} Model-Checking Based on
Accepting Predecessors},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.015},
doi = {10.1016/J.ENTCS.2005.10.015},
timestamp = {Thu, 15 Dec 2022 14:06:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChungC06,
author = {Ming{-}Ying Chung and
Gianfranco Ciardo},
editor = {Martin Leucker and
Jaco van de Pol},
title = {A Pattern Recognition Approach for Speculative Firing Prediction in
Distributed Saturation State-Space Generation},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {65--80},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.019},
doi = {10.1016/J.ENTCS.2005.10.019},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChungC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuiradoHLP06,
author = {Guillaume Guirado and
Thomas H{\'{e}}rault and
Richard Lassaigne and
Sylvain Peyronnet},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Distribution, Approximation and Probabilistic Model Checking},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {19--30},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.016},
doi = {10.1016/J.ENTCS.2005.10.016},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GuiradoHLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IyerJSE06,
author = {Subramanian K. Iyer and
Jawahar Jain and
Debashis Sahoo and
E. Allen Emerson},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Under-approximation Heuristics for Grid-based Bounded Model Checking},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {31--46},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.017},
doi = {10.1016/J.ENTCS.2005.10.017},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IyerJSE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeuckerP06,
author = {Martin Leucker and
Jaco van de Pol},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.014},
doi = {10.1016/J.ENTCS.2005.10.014},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeuckerP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NallaWPRKR06,
author = {Pradeep Kumar Nalla and
Roland J. Weiss and
Prakash Mohan Peranandam and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Distributed Symbolic Bounded Property Checking},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {47--63},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.018},
doi = {10.1016/J.ENTCS.2005.10.018},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NallaWPRKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2004,
editor = {Lubos Brim and
Martin Leucker},
title = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/3},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanOS05,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
editor = {Lubos Brim and
Martin Leucker},
title = {On-the-fly Workload Prediction and Redistribution in the Distributed
Timed Model Checker Zeus},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {3--18},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.015},
doi = {10.1016/J.ENTCS.2004.10.015},
timestamp = {Mon, 12 Dec 2022 15:21:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCMS05,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Moravec and
Jir{\'{\i}} Simsa},
editor = {Lubos Brim and
Martin Leucker},
title = {Distributed Partial Order Reduction of State Spaces},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {63--74},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.019},
doi = {10.1016/J.ENTCS.2004.10.019},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimL05,
author = {Lubos Brim and
Martin Leucker},
editor = {Lubos Brim and
Martin Leucker},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.014},
doi = {10.1016/J.ENTCS.2004.10.014},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FeldmanDH05,
author = {Yulik Feldman and
Nachum Dershowitz and
Ziyad Hanna},
editor = {Lubos Brim and
Martin Leucker},
title = {Parallel Multithreaded Satisfiability Solver: Design and Implementation},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {75--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.020},
doi = {10.1016/J.ENTCS.2004.10.020},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FeldmanDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HolmenLL05,
author = {Fredrik Holm{\'{e}}n and
Martin Leucker and
Marcus Lindstr{\"{o}}m},
editor = {Lubos Brim and
Martin Leucker},
title = {UppDMC: {A} Distributed Model Checker for Fragments of the mu-Calculus},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {91--105},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.021},
doi = {10.1016/J.ENTCS.2004.10.021},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HolmenLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InggsB05,
author = {Cornelia P. Inggs and
Howard Barringer},
editor = {Lubos Brim and
Martin Leucker},
title = {CTL\({}^{\mbox{*}}\) Model Checking on a Shared-Memory Architecture},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {107--123},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.022},
doi = {10.1016/J.ENTCS.2004.10.022},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InggsB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JoubertM05,
author = {Christophe Joubert and
Radu Mateescu},
editor = {Lubos Brim and
Martin Leucker},
title = {Distributed On-the-Fly Equivalence Checking},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {47--62},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.018},
doi = {10.1016/J.ENTCS.2004.10.018},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JoubertM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KumarM05,
author = {Rahul Kumar and
Eric G. Mercer},
editor = {Lubos Brim and
Martin Leucker},
title = {Load Balancing Parallel Explicit State Model Checking},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {19--34},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.016},
doi = {10.1016/J.ENTCS.2004.10.016},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KumarM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LangeL05,
author = {Martin Lange and
Hans{-}Wolfgang Loidl},
editor = {Lubos Brim and
Martin Leucker},
title = {Parallel and Symbolic Model Checking for Fixpoint Logic with Chop},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {125--138},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.023},
doi = {10.1016/J.ENTCS.2004.10.023},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LangeL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrzanPE05,
author = {Simona Orzan and
Jaco van de Pol and
Miguel Valero Espada},
editor = {Lubos Brim and
Martin Leucker},
title = {A State Space Distribution Policy Based on Abstract Interpretation},
booktitle = {Proceedings of the 3rd International Workshop on Parallel and Distributed
Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {3},
pages = {35--45},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.017},
doi = {10.1016/J.ENTCS.2004.10.017},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrzanPE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomLL03,
author = {Stefan Blom and
Izak van Langevelde and
Bert Lisser},
editor = {Lubos Brim and
Orna Grumberg},
title = {Compressed and Distributed File Formats for Labeled Transition Systems},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {68--83},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80097-0},
doi = {10.1016/S1571-0661(05)80097-0},
timestamp = {Thu, 08 Dec 2022 15:32:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomO03,
author = {Stefan Blom and
Simona Orzan},
editor = {Lubos Brim and
Orna Grumberg},
title = {Distributed Branching Bisimulation Reduction of State Spaces},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {99--113},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80099-4},
doi = {10.1016/S1571-0661(05)80099-4},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimG03,
author = {Lubos Brim and
Orna Grumberg},
editor = {Lubos Brim and
Orna Grumberg},
title = {Preface},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80091-X},
doi = {10.1016/S1571-0661(05)80091-X},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimZ03,
author = {Lubos Brim and
Jitka Zidkova},
editor = {Lubos Brim and
Orna Grumberg},
title = {Using Assumptions to Distribute Alternation Free Mu-Calculus Model
Checking},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {17--32},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80094-5},
doi = {10.1016/S1571-0661(05)80094-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JonesMBKL03,
author = {Michael D. Jones and
Eric Mercer and
Tonglaga Bao and
Rahul Kumar and
Peter Lamborn},
editor = {Lubos Brim and
Orna Grumberg},
title = {Benchmarking Explicit State Parallel Model Checkers},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {84--98},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80098-2},
doi = {10.1016/S1571-0661(05)80098-2},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JonesMBKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Joubert03,
author = {Christophe Joubert},
editor = {Lubos Brim and
Orna Grumberg},
title = {Distributed Model Checking: From Abstract Algorithms to Concrete Implementations},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {114--127},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80100-8},
doi = {10.1016/S1571-0661(05)80100-8},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Joubert03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Krcal03,
author = {Pavel Krc{\'{a}}l},
editor = {Lubos Brim and
Orna Grumberg},
title = {Distributed Explicit Bounded {LTL} Model Checking},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {33--50},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80095-7},
doi = {10.1016/S1571-0661(05)80095-7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Krcal03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeuckerSW03,
author = {Martin Leucker and
Rafal Somla and
Michael Weber},
editor = {Lubos Brim and
Orna Grumberg},
title = {Parallel Model Checking for LTL, CTL*, and L{\(\mathrm{\mu}\)}\({}^{\mbox{2}}\)},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {4--16},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80093-3},
doi = {10.1016/S1571-0661(05)80093-3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeuckerSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schuster03,
author = {Assaf Schuster},
editor = {Lubos Brim and
Orna Grumberg},
title = {Scalable Distributed Model Checking: Experiences, Lessons, and Expectations},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {3},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80092-1},
doi = {10.1016/S1571-0661(05)80092-1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schuster03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SivarajG03,
author = {Hemanthkumar Sivaraj and
Ganesh Gopalakrishnan},
editor = {Lubos Brim and
Orna Grumberg},
title = {Random Walk Based Heuristic Algorithms for Distributed Memory Model
Checking},
booktitle = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
pages = {51--67},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80096-9},
doi = {10.1016/S1571-0661(05)80096-9},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SivarajG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdmc/2003,
editor = {Lubos Brim and
Orna Grumberg},
title = {2nd International Workshop on Parallel and Distributed Model Checking,
{PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdmc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Behrmann02,
author = {Gerd Behrmann},
editor = {Lubos Brim and
Orna Grumberg},
title = {A Performance Study of Distributed Timed Automata Reachability Analysis},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {486--502},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80388-3},
doi = {10.1016/S1571-0661(05)80388-3},
timestamp = {Tue, 06 Dec 2022 11:23:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Behrmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BellH02,
author = {Alexander Bell and
Boudewijn R. Haverkort},
editor = {Lubos Brim and
Orna Grumberg},
title = {Sequential and Distributed Model Checking of Petri Net Specifications},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {539--558},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80391-3},
doi = {10.1016/S1571-0661(05)80391-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BellH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomO02,
author = {Stefan Blom and
Simona Orzan},
editor = {Lubos Brim and
Orna Grumberg},
title = {A Distributed Algorithm for Strong Bisimulation Reduction of State
Spaces},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {523--538},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80390-1},
doi = {10.1016/S1571-0661(05)80390-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanOS02,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
editor = {Lubos Brim and
Orna Grumberg},
title = {{ZEUS:} {A} Distributed Timed Model-Checker Based on {KRONOS}},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {503--522},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80389-5},
doi = {10.1016/S1571-0661(05)80389-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanOS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrazdilC02,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Ivana Cern{\'{a}}},
editor = {Lubos Brim and
Orna Grumberg},
title = {Local Distributed Model Checking of RegCTL},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {575--588},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80393-7},
doi = {10.1016/S1571-0661(05)80393-7},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrazdilC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimCY02,
author = {Lubos Brim and
Jitka Crhov{\'{a}} and
Karen Yorav},
editor = {Lubos Brim and
Orna Grumberg},
title = {Using Assumptions to Distribute {CTL} Model Checking},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {559--574},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80758-3},
doi = {10.1016/S1571-0661(05)80758-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimCY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrimG02,
author = {Lubos Brim and
Orna Grumberg},
editor = {Lubos Brim and
Orna Grumberg},
title = {Preface},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {483},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80385-8},
doi = {10.1016/S1571-0661(05)80385-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrimG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Grumberg02,
author = {Orna Grumberg},
editor = {Lubos Brim and
Orna Grumberg},
title = {Different directions in parallel and distributed model checking (invited
talk)},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {485},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80387-1},
doi = {10.1016/S1571-0661(05)80387-1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Grumberg02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InggsB02,
author = {Cornelia P. Inggs and
Howard Barringer},
editor = {Lubos Brim and
Orna Grumberg},
title = {Effective State Exploration for Model Checking on a Shared Memory
Architecture},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {605--620},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80395-0},
doi = {10.1016/S1571-0661(05)80395-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InggsB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KwiatkowskaMNP02,
author = {Marta Z. Kwiatkowska and
Rashid Mehmood and
Gethin Norman and
David Parker},
editor = {Lubos Brim and
Orna Grumberg},
title = {A Symbolic Out-of-Core Solution Method for Markov Models},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {589--604},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80394-9},
doi = {10.1016/S1571-0661(05)80394-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KwiatkowskaMNP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Vardi02,
author = {Moshe Y. Vardi},
editor = {Lubos Brim and
Orna Grumberg},
title = {Model Checking: {A} Complexity-Theoretic Perspective (invited talk)},
booktitle = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
pages = {484},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80386-X},
doi = {10.1016/S1571-0661(05)80386-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vardi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002pdmc,
editor = {Lubos Brim and
Orna Grumberg},
title = {Parallel and Distributed Model Checking, {PDMC} 2002, Satellite Workshop
of {CONCUR} 2002, Brno, Czech Republic, August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {4},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2002pdmc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 04:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
