Commit c72c2855 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/spot.bib: Add entries for multi-core emptiness-checks.

parent 3c5928d2
Pipeline #31009 passed with stages
in 169 minutes and 59 seconds
@InProceedings{ babiak.12.tacas,
author = {Tom{\'a}{\v{s}} Babiak and Mojm{\'i}r
K{\v{r}}et{\'i}nsk{\'y} and Vojt{\v{e}}ch {\v{R}}eh{\'a}k
......@@ -81,6 +82,33 @@
doi = {10.1007/978-3-642-36742-7_3}
}
@InProceedings{ bloemen.16.hvc,
title = {Multi-core SCC-Based LTL Model Checking},
author = {Vincent Bloemen and {van de Pol}, {Jan Cornelis}},
year = 2016,
month = nov,
series = {Lecture Notes in Computer Science},
publisher = {Springer International Publishing},
pages = {18--33},
volume = {10028},
editor = {Roderick Bloem and Eli Arbel},
booktitle = {Proceedings of the 12th International Haifa Verification
Conference (HVC'16)},
doi = {10.1007/978-3-319-49052-6_2}
}
@Article{ bloemen.16.poppp,
author = {Vincent Bloemen and Alfons Laarman and Jaco van de Pol},
journal = {Proceedings of the 21st Symposium on Principles and
Practice of Parallel Programming (PPOPP'16)},
month = mar,
number = {8},
title = {Multi-Core On-The-Fly SCC Decomposition},
volume = {51},
year = {2016},
doi = {10.1145/3016078.2851161}
}
@Article{ boker.2011.fossacs,
author = {Udi Boker and Orna Kupferman},
title = {Co-Büching Them All},
......@@ -361,6 +389,21 @@
doi = {10.1016/S0020-0190(00)00113-7}
}
@InProceedings{ evangelista.12.atva,
author = {Sami Evangelista and Alfons Laarman and Laure Petrucci and
Jaco van de Pol},
booktitle = {Proceedings of the 10th international conference on
Automated technology for verification and analysis
(ATVA'12)},
pages = {269--283},
title = {Improved Multi-Core Nested Depth-First Search},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {7561},
year = {2012},
doi = {10.1007/978-3-642-33386-6_22}
}
@TechReport{ finkbeiner.21.arxiv,
title = {Specification Decomposition for Reactive Synthesis (Full
Version)},
......@@ -435,6 +478,17 @@
url = {http://archiv.cesnet.cz/doc/techzpravy/2004/verificationresults/}
}
@Article{ holzmann.11.ieee,
author = {Gerard J. Holzmann and Rajeev Joshi and Alex Groce},
journal = {IEEE Transaction on Software Engineering},
number = {6},
pages = {845--857},
title = {Swarm Verification Techniques},
volume = {37},
year = {2011},
doi = {10.1109/TSE.2010.110}
}
@Book{ holzmann.91.book,
author = {Gerard J. Holzmann},
title = {Design and Validation of Computer Protocols},
......@@ -707,6 +761,24 @@
doi = {10.3233/FI-2012-744}
}
@InProceedings{ renault.13.lpar,
author = {Etienne Renault and Alexandre Duret-Lutz and Fabrice
Kordon and Denis Poitrenaud},
title = {Three {SCC}-based Emptiness Checks for Generalized
{B\"u}chi Automata},
booktitle = {Proceedings of the 19th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning
(LPAR'13)},
editor = {Ken McMillan and Aart Middeldorp and Andrei Voronkov },
year = {2013},
pages = {668--682},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8312},
month = dec,
doi = {10.1007/978-3-642-45221-5_44}
}
@InProceedings{ renault.13.tacas,
author = {Etienne Renault and Alexandre Duret-Lutz and Fabrice
Kordon and Denis Poitrenaud},
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment