default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/spin/spin2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/spin/BartocciDS14,
author = {Ezio Bartocci and
Richard DeFrancisco and
Scott A. Smolka},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a GPGPU-parallel {SPIN} model checker},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {87--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632379},
doi = {10.1145/2632362.2632379},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BartocciDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BeyeneBR14,
author = {Tewodros A. Beyene and
Marc Brockschmidt and
Andrey Rybalchenko},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {{CTL+FO} verification as constraint solving},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {101--104},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632364},
doi = {10.1145/2632362.2632364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BeyeneBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BlahoudekDKS14,
author = {Frantisek Blahoudek and
Alexandre Duret{-}Lutz and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Is there a best b{\"{u}}chi automaton for explicit model checking?},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {68--76},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632377},
doi = {10.1145/2632362.2632377},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BlahoudekDKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BrezocnikVV14,
author = {Zmago Brezocnik and
Bostjan Vlaovic and
Aleksander Vreze},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {SpinRCP: the eclipse rich client platform integrated development environment
for the spin model checker},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {125--128},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632380},
doi = {10.1145/2632362.2632380},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BrezocnikVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ChakiE14,
author = {Sagar Chaki and
James R. Edmondson},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Toward parameterized verification of synchronous distributed applications},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {109--112},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632368},
doi = {10.1145/2632362.2632368},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/ChakiE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EmmiOT14,
author = {Michael Emmi and
Burcu Kulahcioglu Ozkan and
Serdar Tasiran},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Exploiting synchronization in the analysis of shared-memory asynchronous
programs},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {20--29},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632370},
doi = {10.1145/2632362.2632370},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/EmmiOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FilippidisH14,
author = {Ioannis Filippidis and
Gerard J. Holzmann},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {An improvement of the piggyback algorithm for parallel model checking},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {48--57},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632375},
doi = {10.1145/2632362.2632375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/FilippidisH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GuntherW14,
author = {Henning G{\"{u}}nther and
Georg Weissenbacher},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Incremental bounded software model checking},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {40--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632374},
doi = {10.1145/2632362.2632374},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/GuntherW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Henda14,
author = {Noomene Ben Henda},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Generic and efficient attacker models in {SPIN}},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {77--86},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632378},
doi = {10.1145/2632362.2632378},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Henda14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JakobsW14,
author = {Marie{-}Christine Jakobs and
Heike Wehrheim},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Certification for configurable program analysis},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {30--39},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632372},
doi = {10.1145/2632362.2632372},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/JakobsW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LatorreAS14,
author = {Nicolas Latorre and
Francesco Alberti and
Natasha Sharygina},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Verige: verification with invariant generation engine},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {121--124},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632373},
doi = {10.1145/2632362.2632373},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/LatorreAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Leitner-FischerL14,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {SpinCause: a tool for causality checking},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {117--120},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632371},
doi = {10.1145/2632362.2632371},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Leitner-FischerL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/NeatherwayO14,
author = {Robin P. Neatherway and
C.{-}H. Luke Ong},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {TravMC2: higher-order model checking for alternating parity tree automata},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {129--132},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632381},
doi = {10.1145/2632362.2632381},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/NeatherwayO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ParizekJ14,
author = {Pavel Par{\'{\i}}zek and
Pavel Janc{\'{\i}}k},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Approximating happens-before order: interplay between static analysis
and state space traversal},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {1--10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632365},
doi = {10.1145/2632362.2632365},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/ParizekJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PhanMPd14,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria and
Corina S. Pasareanu and
Marcelo d'Amorim},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Quantifying information leaks using reliability analysis},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {105--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632367},
doi = {10.1145/2632362.2632367},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/PhanMPd14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Ruys14,
author = {Theo C. Ruys},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Unit testing for {SPIN:} runspin and parsepan},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {133--136},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632382},
doi = {10.1145/2632362.2632382},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Ruys14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ShafieiB14,
author = {Nastaran Shafiei and
Franck van Breugel},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Automatic handling of native methods in Java PathFinder},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {97--100},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632363},
doi = {10.1145/2632362.2632363},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/ShafieiB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SullivanZKM14,
author = {Allison Sullivan and
Razieh Nokhbeh Zaeem and
Sarfraz Khurshid and
Darko Marinov},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a test automation framework for alloy},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {113--116},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632369},
doi = {10.1145/2632362.2632369},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/SullivanZKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ThakurBR14,
author = {Aditya V. Thakur and
Jason Breck and
Thomas W. Reps},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Satisfiability modulo abstraction for separation logic with linked
lists},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {58--67},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632376},
doi = {10.1145/2632362.2632376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/ThakurBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Zheng14,
author = {Hao Zheng},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Local state space construction for compositional verification of concurrent
systems},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {11--19},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632366},
doi = {10.1145/2632362.2632366},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Zheng14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2014,
editor = {Neha Rungta and
Oksana Tkachuk},
title = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2632362},
isbn = {978-1-4503-2452-6},
timestamp = {Sun, 13 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2014.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.
retrieved on 2024-10-08 11:56 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:
