Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/spin/spin2019.bht:"
@inproceedings{DBLP:conf/spin/Al-BatainehRR19, author = {Omar I. Al{-}Bataineh and David S. Rosenblum and Mark Reynolds}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {A Novel Decentralized {LTL} Monitoring Framework Using Formula Progression Table}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {38--55}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_3}, doi = {10.1007/978-3-030-30923-7\_3}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/Al-BatainehRR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/AroraR19, author = {Shiraj Arora and M. V. Panduranga Rao}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Model Checking Branching Time Properties for Incomplete Markov Chains}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {20--37}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_2}, doi = {10.1007/978-3-030-30923-7\_2}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/AroraR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/BenerecettiGMNP19, author = {Massimo Benerecetti and Ugo Gentile and Stefano Marrone and Roberto Nardone and Adriano Peron and Luigi L. L. Starace and Valeria Vittorini}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {From Dynamic State Machines to Promela}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {56--73}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_4}, doi = {10.1007/978-3-030-30923-7\_4}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/BenerecettiGMNP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/CortesiLOR19, author = {Agostino Cortesi and Henrich Lauko and Martina Olliaro and Petr Rockai}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {String Abstraction for Model Checking of {C} Programs}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {74--93}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_5}, doi = {10.1007/978-3-030-30923-7\_5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/CortesiLOR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/DeFranciscoCFS19, author = {Richard DeFrancisco and Shenghsun Cho and Michael Ferdman and Scott A. Smolka}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Swarm Model Checking on the {GPU}}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {94--113}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_6}, doi = {10.1007/978-3-030-30923-7\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/DeFranciscoCFS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/EnevoldsenLS19, author = {S{\o}ren Enevoldsen and Kim Guldstrand Larsen and Jir{\'{\i}} Srba}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Model Verification Through Dependency Graphs}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {1--19}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_1}, doi = {10.1007/978-3-030-30923-7\_1}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/EnevoldsenLS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/FoughaliIS19, author = {Mohammed Foughali and F{\'{e}}lix Ingrand and Cristina Seceleanu}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Statistical Model Checking of Complex Robotic Systems}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {114--134}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_7}, doi = {10.1007/978-3-030-30923-7\_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/FoughaliIS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/LiuWXG19, author = {Yuan Liu and Xi Wang and Lintao Xian and Zhongwen Guo}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {{STAD:} Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {135--152}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_8}, doi = {10.1007/978-3-030-30923-7\_8}, timestamp = {Wed, 04 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/LiuWXG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/MetzlerSW19, author = {Patrick Metzler and Neeraj Suri and Georg Weissenbacher}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Extracting Safe Thread Schedules from Incomplete Model Checking Results}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {153--171}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_9}, doi = {10.1007/978-3-030-30923-7\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/MetzlerSW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/SinghZK19, author = {Shikhar Singh and Mengshi Zhang and Sarfraz Khurshid}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Learning Guided Enumerative Synthesis for Superoptimization}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {172--192}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_10}, doi = {10.1007/978-3-030-30923-7\_10}, timestamp = {Thu, 03 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/SinghZK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/StaroletovS19, author = {Sergey M. Staroletov and Nikolay V. Shilov}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {193--207}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_11}, doi = {10.1007/978-3-030-30923-7\_11}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/StaroletovS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/TranA19, author = {Nhat{-}Hoa Tran and Toshiaki Aoki}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Conformance Testing of Schedulers for DSL-based Model Checking}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {208--225}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_12}, doi = {10.1007/978-3-030-30923-7\_12}, timestamp = {Sat, 12 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/TranA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/UsmanWWYDK19, author = {Muhammad Usman and Wenxi Wang and Kaiyuan Wang and Cagdas Yelen and Nima Dini and Sarfraz Khurshid}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {A Study of Learning Data Structure Invariants Using Off-the-shelf Tools}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {226--243}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_13}, doi = {10.1007/978-3-030-30923-7\_13}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/UsmanWWYDK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/YousefiKGSM19, author = {Farnaz Yousefi and Ehsan Khamespanah and Mohammed Gharib and Marjan Sirjani and Ali Movaghar}, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs}, booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, pages = {244--259}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7\_14}, doi = {10.1007/978-3-030-30923-7\_14}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/YousefiKGSM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/spin/2019, editor = {Fabrizio Biondi and Thomas Given{-}Wilson and Axel Legay}, title = {Model Checking Software - 26th International Symposium, {SPIN} 2019, Beijing, China, July 15-16, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11636}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30923-7}, doi = {10.1007/978-3-030-30923-7}, isbn = {978-3-030-30922-0}, timestamp = {Thu, 03 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/2019.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.