Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/spin/AljazzarLLS11,
  author       = {Husain Aljazzar and
                  Florian Leitner{-}Fischer and
                  Stefan Leue and
                  Dimitar Simeonov},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {DiPro - {A} Tool for Probabilistic Counterexample Generation},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {183--187},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_13},
  doi          = {10.1007/978-3-642-22306-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/AljazzarLLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/CampanaCNR11,
  author       = {Daniele Campana and
                  Alessandro Cimatti and
                  Iman Narasamdya and
                  Marco Roveri},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {An Analytic Evaluation of SystemC Encodings in Promela},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {90--107},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_7},
  doi          = {10.1007/978-3-642-22306-8\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CampanaCNR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Fisher11,
  author       = {Jasmin Fisher},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Model Checking Cell Fate Decisions},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {1},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_1},
  doi          = {10.1007/978-3-642-22306-8\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/Fisher11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/LaarmanP011,
  author       = {Alfons Laarman and
                  Jaco van de Pol and
                  Michael Weber},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Parallel Recursive State Compression for Free},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {38--56},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_4},
  doi          = {10.1007/978-3-642-22306-8\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/LaarmanP011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/LindenW11,
  author       = {Alexander Linden and
                  Pierre Wolper},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {A Verification-Based Approach to Memory Fence Insertion in Relaxed
                  Memory Systems},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {144--160},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_10},
  doi          = {10.1007/978-3-642-22306-8\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/LindenW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MaliW11,
  author       = {Yogesh Mali and
                  Eric Van Wyk},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Building Extensible Specifications and Implementations of Promela
                  with AbleP},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {108--125},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_8},
  doi          = {10.1007/978-3-642-22306-8\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MaliW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MateescuW11,
  author       = {Radu Mateescu and
                  Anton Wijs},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Property-Dependent Reductions for the Modal Mu-Calculus},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {2--19},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_2},
  doi          = {10.1007/978-3-642-22306-8\_2},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MateescuW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MorgensternS11,
  author       = {Andreas Morgenstern and
                  Klaus Schneider},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Program Sketching via CTL* Model Checking},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {126--143},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_9},
  doi          = {10.1007/978-3-642-22306-8\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MorgensternS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ParizekL11,
  author       = {Pavel Par{\'{\i}}zek and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Randomized Backtracking in State Space Traversal},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_6},
  doi          = {10.1007/978-3-642-22306-8\_6},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ParizekL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SimsaBG11,
  author       = {Jir{\'{\i}} Simsa and
                  Randy Bryant and
                  Garth A. Gibson},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {dBug: Systematic Testing of Unmodified Distributed and Multi-threaded
                  Systems},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {188--193},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_14},
  doi          = {10.1007/978-3-642-22306-8\_14},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SimsaBG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/UdupaDR11,
  author       = {Abhishek Udupa and
                  Ankush Desai and
                  Sriram K. Rajamani},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Depth Bounded Explicit-State Model Checking},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {57--74},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_5},
  doi          = {10.1007/978-3-642-22306-8\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/UdupaDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/VosKP11,
  author       = {Bob de Vos and
                  Lennart C. L. Kats and
                  Cornelis Pronk},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {177--182},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_12},
  doi          = {10.1007/978-3-642-22306-8\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/VosKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/WeissmannBBK11,
  author       = {Markus Wei{\ss}mann and
                  Stefan Bedenk and
                  Christian Buckl and
                  Alois C. Knoll},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Model Checking Industrial Robot Systems},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {161--176},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_11},
  doi          = {10.1007/978-3-642-22306-8\_11},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/WeissmannBBK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/YuBH11,
  author       = {Fang Yu and
                  Tevfik Bultan and
                  Ben Hardekopf},
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {String Abstractions for String Verification},
  booktitle    = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  pages        = {20--37},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8\_3},
  doi          = {10.1007/978-3-642-22306-8\_3},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/YuBH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2011,
  editor       = {Alex Groce and
                  Madanlal Musuvathi},
  title        = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
                  UT, USA, July 14-15, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6823},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22306-8},
  doi          = {10.1007/978-3-642-22306-8},
  isbn         = {978-3-642-22305-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.