Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/spin/000115,
  author       = {Sudipta Chattopadhyay},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {{MESS:} Memory Performance Debugging on Embedded Multi-core Systems},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {105--125},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_8},
  doi          = {10.1007/978-3-319-23404-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/000115.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/0001LW15,
  author       = {Dirk Beyer and
                  Stefan L{\"{o}}we and
                  Philipp Wendler},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Refinement Selection},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_3},
  doi          = {10.1007/978-3-319-23404-5\_3},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/0001LW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/0001LW15a,
  author       = {Dirk Beyer and
                  Stefan L{\"{o}}we and
                  Philipp Wendler},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Benchmarking and Resource Measurement},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {160--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_12},
  doi          = {10.1007/978-3-319-23404-5\_12},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/0001LW15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/AndishaWW15,
  author       = {Ahmad Siyar Andisha and
                  Martin Wehrle and
                  Bernd Westphal},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Directed Model Checking for {PROMELA} with Relaxation-Based Distance
                  Functions},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {153--159},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_11},
  doi          = {10.1007/978-3-319-23404-5\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/AndishaWW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BackesR15,
  author       = {Peter Backes and
                  Jan Reineke},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {{ASTRA:} {A} Tool for Abstract Interpretation of Graph Transformation
                  Systems},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {13--19},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_2},
  doi          = {10.1007/978-3-319-23404-5\_2},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/BackesR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BarnatRSW15,
  author       = {Jiri Barnat and
                  Petr Rockai and
                  Vladim{\'{\i}}r Still and
                  Jir{\'{\i}} Weiser},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Fast, Dynamically-Sized Concurrent Hash Table},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {49--65},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_5},
  doi          = {10.1007/978-3-319-23404-5\_5},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BarnatRSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BeerHKLL15,
  author       = {Adrian Beer and
                  Stephan Heidinger and
                  Uwe K{\"{u}}hne and
                  Florian Leitner{-}Fischer and
                  Stefan Leue},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Symbolic Causality Checking Using Bounded Model Checking},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {203--221},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_14},
  doi          = {10.1007/978-3-319-23404-5\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BeerHKLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BiondiLQ15,
  author       = {Fabrizio Biondi and
                  Axel Legay and
                  Jean Quilbeuf},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Comparative Analysis of Leakage Tools on Scalable Case Studies},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {263--281},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_17},
  doi          = {10.1007/978-3-319-23404-5\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BiondiLQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/BlahoudekDRS15,
  author       = {Frantisek Blahoudek and
                  Alexandre Duret{-}Lutz and
                  Vojtech Rujbr and
                  Jan Strejcek},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {On Refinement of B{\"{u}}chi Automata for Explicit Model Checking},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {66--83},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_6},
  doi          = {10.1007/978-3-319-23404-5\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BlahoudekDRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Bultan15,
  author       = {Tevfik Bultan},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {String Analysis for Vulnerability Detection and Repair},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {3--9},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_1},
  doi          = {10.1007/978-3-319-23404-5\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Bultan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/ChristakisG15,
  author       = {Maria Christakis and
                  Patrice Godefroid},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {IC-Cut: {A} Compositional Search Strategy for Dynamic Test Generation},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {300--318},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_19},
  doi          = {10.1007/978-3-319-23404-5\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/ChristakisG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/DimovskiABW15,
  author       = {Aleksandar S. Dimovski and
                  Ahmad Salim Al{-}Sibahi and
                  Claus Brabrand and
                  Andrzej Wasowski},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Family-Based Model Checking Without a Family-Based Model Checker},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {282--299},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_18},
  doi          = {10.1007/978-3-319-23404-5\_18},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/DimovskiABW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/EspadaGSM15,
  author       = {Ana Rosario Espada and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Alberto Salmer{\'{o}}n and
                  Pedro Merino},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Runtime Verification of Expected Energy Consumption in Smartphones},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {132--149},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_10},
  doi          = {10.1007/978-3-319-23404-5\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/EspadaGSM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/FilieriFPV15,
  author       = {Antonio Filieri and
                  Marcelo F. Frias and
                  Corina S. Pasareanu and
                  Willem Visser},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Model Counting for Complex Data Structures},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {222--241},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_15},
  doi          = {10.1007/978-3-319-23404-5\_15},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/FilieriFPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/IsmailBCFF15,
  author       = {Hussama Ismail and
                  Iury Bessa and
                  Lucas C. Cordeiro and
                  Eddie Batista de Lima Filho and
                  Joao Edgar Chaves Filho},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {DSVerifier: {A} Bounded Model Checking Tool for Digital Systems},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {126--131},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_9},
  doi          = {10.1007/978-3-319-23404-5\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/IsmailBCFF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Klarl15,
  author       = {Annabelle Klarl},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {From Helena Ensemble Specifications to Promela Verification Models},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {39--45},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_4},
  doi          = {10.1007/978-3-319-23404-5\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Klarl15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MichaudD15,
  author       = {Thibaud Michaud and
                  Alexandre Duret{-}Lutz},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Practical Stutter-Invariance Checks for {\(\omega\)}-Regular Languages},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {84--101},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_7},
  doi          = {10.1007/978-3-319-23404-5\_7},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MichaudD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Sorrentino15,
  author       = {Francesco Sorrentino},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {PickLock: {A} Deadlock Prediction Approach under Nested Locking},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {179--199},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_13},
  doi          = {10.1007/978-3-319-23404-5\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/Sorrentino15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/TimmGS15,
  author       = {Nils Timm and
                  Stefan Gruner and
                  Prince Sibanda},
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Parallel SAT-Based Parameterised Three-Valued Model Checking},
  booktitle    = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  pages        = {242--259},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5\_16},
  doi          = {10.1007/978-3-319-23404-5\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/TimmGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2015,
  editor       = {Bernd Fischer and
                  Jaco Geldenhuys},
  title        = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
                  Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9232},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23404-5},
  doi          = {10.1007/978-3-319-23404-5},
  isbn         = {978-3-319-23403-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2015.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.