Search dblp for Publications

export results for "toc:db/conf/spin/spin2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/spin/0001PNNK18,
  author       = {Tim Lange and
                  Frederick Prinz and
                  Martin R. Neuh{\"{a}}u{\ss}er and
                  Thomas Noll and
                  Joost{-}Pieter Katoen},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Improving Generalization in Software {IC3}},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_5},
  doi          = {10.1007/978-3-319-94111-0\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/0001PNNK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Abe18,
  author       = {Tatsuya Abe},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Local Data Race Freedom with Non-multi-copy Atomicity},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {196--215},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_12},
  doi          = {10.1007/978-3-319-94111-0\_12},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/Abe18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Al-BatainehRR18,
  author       = {Omar I. Al{-}Bataineh and
                  Mark Reynolds and
                  David S. Rosenblum},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {A Comparative Study of Decision Diagrams for Real-Time Model Checking},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {216--234},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_13},
  doi          = {10.1007/978-3-319-94111-0\_13},
  timestamp    = {Fri, 02 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Al-BatainehRR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/AsavoaeAR18,
  author       = {Irina Mariuca Asavoae and
                  Mihail Asavoae and
                  Adri{\'{a}}n Riesco},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Context-Updates Analysis and Refinement in Chisel},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {328--346},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_19},
  doi          = {10.1007/978-3-319-94111-0\_19},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/AsavoaeAR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/AsavoaeNR18,
  author       = {Irina Mariuca Asavoae and
                  Hoang Nga Nguyen and
                  Markus Roggenbach},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Software Model Checking for Mobile Security - Collusion Detection
                  in {\textbackslash}mathbb {K} {K}},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {3--25},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_1},
  doi          = {10.1007/978-3-319-94111-0\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/AsavoaeNR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BerthomieuBD18,
  author       = {Bernard Berthomieu and
                  Didier Le Botlan and
                  Silvano Dal{-}Zilio},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Petri Net Reductions for Counting Markings},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {65--84},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_4},
  doi          = {10.1007/978-3-319-94111-0\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BerthomieuBD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BuPSZ18,
  author       = {Lei Bu and
                  Doron Peled and
                  Dachuan Shen and
                  Yuan Zhuang},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Genetic Synthesis of Concurrent Code Using Model Checking and Statistical
                  Model Checking},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {275--291},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_16},
  doi          = {10.1007/978-3-319-94111-0\_16},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/BuPSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ChalupaSV18,
  author       = {Marek Chalupa and
                  Jan Strejcek and
                  Martina Vitovsk{\'{a}}},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Joint Forces for Memory Safety Checking},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_7},
  doi          = {10.1007/978-3-319-94111-0\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ChalupaSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GnadDL018,
  author       = {Daniel Gnad and
                  Patrick Dubbert and
                  Alberto Lluch{-}Lafuente and
                  J{\"{o}}rg Hoffmann},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Star-Topology Decoupling in {SPIN}},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {103--114},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_6},
  doi          = {10.1007/978-3-319-94111-0\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GnadDL018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GutsfeldMN18,
  author       = {Jens Oliver Gutsfeld and
                  Markus M{\"{u}}ller{-}Olm and
                  Benedikt Nordhoff},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {A Branching Time Variant of CaRet},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {153--170},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_9},
  doi          = {10.1007/978-3-319-94111-0\_9},
  timestamp    = {Mon, 18 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GutsfeldMN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/HavelundP18,
  author       = {Klaus Havelund and
                  Doron Peled},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Efficient Runtime Verification of First-Order Temporal Properties},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {26--47},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_2},
  doi          = {10.1007/978-3-319-94111-0\_2},
  timestamp    = {Mon, 18 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/HavelundP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/HenryJM18,
  author       = {L{\'{e}}o Henry and
                  Thierry J{\'{e}}ron and
                  Nicolas Markey},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Control Strategies for Off-Line Testing of Timed Systems},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {171--189},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_10},
  doi          = {10.1007/978-3-319-94111-0\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/HenryJM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Iosif18,
  author       = {Radu Iosif},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Program Verification with Separation Logic},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_3},
  doi          = {10.1007/978-3-319-94111-0\_3},
  timestamp    = {Mon, 18 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Iosif18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/KolblLS18,
  author       = {Martin K{\"{o}}lbl and
                  Stefan Leue and
                  Hargurbir Singh},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {From SysML to Model Checkers via Model Transformation},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {255--274},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_15},
  doi          = {10.1007/978-3-319-94111-0\_15},
  timestamp    = {Mon, 18 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/KolblLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/KwonK18,
  author       = {YoungMin Kwon and
                  Eunhee Kim},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Quantitative Model Checking for a Controller Design},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {292--307},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_17},
  doi          = {10.1007/978-3-319-94111-0\_17},
  timestamp    = {Mon, 18 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/KwonK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/PanizoDG18,
  author       = {Laura Panizo and
                  Almudena D{\'{\i}}az and
                  Bruno Garc{\'{\i}}a},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {An Extension of {TRIANGLE} Testbed with Model-Based Testing},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {190--195},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_11},
  doi          = {10.1007/978-3-319-94111-0\_11},
  timestamp    = {Tue, 10 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/PanizoDG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/PommelletT18,
  author       = {Adrien Pommellet and
                  Tayssir Touili},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Model-Checking HyperLTL for Pushdown Systems},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {133--152},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_8},
  doi          = {10.1007/978-3-319-94111-0\_8},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/PommelletT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/TothM18,
  author       = {Tam{\'{a}}s T{\'{o}}th and
                  Istv{\'{a}}n Majzik},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Lazy Reachability Checking for Timed Automata with Discrete Variables},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {235--254},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_14},
  doi          = {10.1007/978-3-319-94111-0\_14},
  timestamp    = {Tue, 10 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/TothM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ValmariL18,
  author       = {Antti Valmari and
                  Vesa Lappalainen},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Modelling Without a Modelling Language},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  pages        = {308--327},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0\_18},
  doi          = {10.1007/978-3-319-94111-0\_18},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/ValmariL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2018,
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
                  Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10869},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94111-0},
  doi          = {10.1007/978-3-319-94111-0},
  isbn         = {978-3-319-94110-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2018.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.