Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/spin/BarnatBR07,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Petr Rockai},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Scalable Multi-core {LTL} Model-Checking},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {187--203},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_13},
  doi          = {10.1007/978-3-540-73370-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BarnatBR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BaslerKW07,
  author       = {G{\'{e}}rard Basler and
                  Daniel Kroening and
                  Georg Weissenbacher},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {SAT-Based Summarization for Boolean Programs},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_10},
  doi          = {10.1007/978-3-540-73370-6\_10},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BaslerKW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BrimB07,
  author       = {Lubos Brim and
                  Jiri Barnat},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Tutorial: Parallel Model Checking},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {2--3},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_2},
  doi          = {10.1007/978-3-540-73370-6\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BrimB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/CamaraGM07,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Model Extraction for {ARINC} 653 Based Avionics Software},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {243--262},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_16},
  doi          = {10.1007/978-3-540-73370-6\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CamaraGM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ChaudhuriA07,
  author       = {Swarat Chaudhuri and
                  Rajeev Alur},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Instrumenting {C} Programs with Nested Word Monitors},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {279--283},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_20},
  doi          = {10.1007/978-3-540-73370-6\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ChaudhuriA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Dams07,
  author       = {Dennis Dams},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {StackSnuffer: Curing Orion's Unsoundness},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {1},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_1},
  doi          = {10.1007/978-3-540-73370-6\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Dams07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/EvangelistaP07,
  author       = {Sami Evangelista and
                  Christophe Pajault},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Some Solutions to the Ignoring Problem},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {76--94},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_7},
  doi          = {10.1007/978-3-540-73370-6\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/EvangelistaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/FecherS07,
  author       = {Harald Fecher and
                  Sharon Shoham},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Local Abstraction-Refinement for the mu-Calculus},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {4--23},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_3},
  doi          = {10.1007/978-3-540-73370-6\_3},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/FecherS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GallardoJMS07,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Christophe Joubert and
                  Pedro Merino and
                  David San{\'{a}}n},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {{C.OPEN} and {ANNOTATOR:} Tools for On-the-Fly Model Checking {C}
                  Programs},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {268--273},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_18},
  doi          = {10.1007/978-3-540-73370-6\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GallardoJMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GastinM07,
  author       = {Paul Gastin and
                  Pierre Moro},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Minimal Counterexample Generation for {SPIN}},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {24--38},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_4},
  doi          = {10.1007/978-3-540-73370-6\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GastinM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/GuetaFYS07,
  author       = {Guy Gueta and
                  Cormac Flanagan and
                  Eran Yahav and
                  Mooly Sagiv},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Cartesian Partial-Order Reduction},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {95--112},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_8},
  doi          = {10.1007/978-3-540-73370-6\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/GuetaFYS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Lluch-Lafuente07,
  author       = {Alberto Lluch{-}Lafuente},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Towards Model Checking Spatial Properties with {SPIN}},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {223--242},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_15},
  doi          = {10.1007/978-3-540-73370-6\_15},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/Lluch-Lafuente07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Pelanek07,
  author       = {Radek Pel{\'{a}}nek},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {{BEEM:} Benchmarks for Explicit Model Checkers},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {263--267},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_17},
  doi          = {10.1007/978-3-540-73370-6\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Pelanek07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RozierV07,
  author       = {Kristin Y. Rozier and
                  Moshe Y. Vardi},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {{LTL} Satisfiability Checking},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {149--167},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_11},
  doi          = {10.1007/978-3-540-73370-6\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RozierV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RungtaM07,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Generating Counter-Examples Through Randomized Guided Search},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {39--57},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_5},
  doi          = {10.1007/978-3-540-73370-6\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RungtaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SeghirP07,
  author       = {Mohamed Nassim Seghir and
                  Andreas Podelski},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {{ACSAR:} Software Model Checking with Transfinite Refinement},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {274--278},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_19},
  doi          = {10.1007/978-3-540-73370-6\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SeghirP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SelfM07,
  author       = {Joel P. Self and
                  Eric G. Mercer},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {On-the-Fly Dynamic Dead Variable Analysis},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {113--130},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_9},
  doi          = {10.1007/978-3-540-73370-6\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SelfM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/TraulsenCMM07,
  author       = {Claus Traulsen and
                  J{\'{e}}r{\^{o}}me Cornet and
                  Matthieu Moy and
                  Florence Maraninchi},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {A SystemC/TLM Semantics in Promelaand Its Possible Applications},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {204--222},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_14},
  doi          = {10.1007/978-3-540-73370-6\_14},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/TraulsenCMM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Weber07,
  author       = {Michael Weber},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {An Embeddable Virtual Machine for State Space Generation},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {168--186},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_12},
  doi          = {10.1007/978-3-540-73370-6\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Weber07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/YangCGK07,
  author       = {Yu Yang and
                  Xiaofang Chen and
                  Ganesh Gopalakrishnan and
                  Robert M. Kirby},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Distributed Dynamic Partial Order Reduction Based Verification of
                  Threaded Software},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {58--75},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_6},
  doi          = {10.1007/978-3-540-73370-6\_6},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/YangCGK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2007,
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6},
  doi          = {10.1007/978-3-540-73370-6},
  isbn         = {978-3-540-73369-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2007.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.