Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/spin/DalLL23,
  author       = {Giso H. Dal and
                  Alfons Laarman and
                  Peter J. F. Lucas},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {ParaGnosis: {A} Tool for Parallel Knowledge Compilation},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {22--37},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_2},
  doi          = {10.1007/978-3-031-32157-3\_2},
  timestamp    = {Fri, 05 May 2023 22:44:30 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/DalLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/EvrardD23,
  author       = {Hugues Evrard and
                  Alastair F. Donaldson},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Model Checking Futexes},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_3},
  doi          = {10.1007/978-3-031-32157-3\_3},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/EvrardD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/FoglerCP23,
  author       = {Roi Fogler and
                  Itay Cohen and
                  Doron Peled},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Accelerating Black Box Testing with Light-Weight Learning},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {103--120},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_6},
  doi          = {10.1007/978-3-031-32157-3\_6},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/FoglerCP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/HenriksenKNRSSS23,
  author       = {Emil G. Henriksen and
                  Alan M. Khorsid and
                  Esben Nielsen and
                  Theodor Risager and
                  Jir{\'{\i}} Srba and
                  Adam M. St{\"{u}}ck and
                  Andreas S. S{\o}rensen},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Potency-Based Heuristic Search with Randomness for Explicit Model
                  Checking},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {180--187},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_10},
  doi          = {10.1007/978-3-031-32157-3\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/HenriksenKNRSSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/IsraelsenTZ23,
  author       = {Bryant Israelsen and
                  Landon Taylor and
                  Zhen Zhang},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction
                  Networks},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_5},
  doi          = {10.1007/978-3-031-32157-3\_5},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/IsraelsenTZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/JensenLSU23,
  author       = {Peter Gj{\o}l Jensen and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba and
                  Nikolaj Jensen Ulrik},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Elimination of Detached Regions in Dependency Graph Verification},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {163--179},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_9},
  doi          = {10.1007/978-3-031-32157-3\_9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/JensenLSU23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MaderbacherSBBNK23,
  author       = {Benedikt Maderbacher and
                  Stefan Schupp and
                  Ezio Bartocci and
                  Roderick Bloem and
                  Dejan Nickovic and
                  Bettina K{\"{o}}nighofer},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness
                  Properties},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {141--160},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_8},
  doi          = {10.1007/978-3-031-32157-3\_8},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MaderbacherSBBNK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MatriconFM23,
  author       = {Th{\'{e}}o Matricon and
                  Nathana{\"{e}}l Fijalkow and
                  Ga{\"{e}}tan Margueritte},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {WikiCoder: Learning to Write Knowledge-Powered Code},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {123--140},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_7},
  doi          = {10.1007/978-3-031-32157-3\_7},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MatriconFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SoueidiF23,
  author       = {Chukri Soueidi and
                  Yli{\`{e}}s Falcone},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Sound Concurrent Traces for Online Monitoring},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {59--80},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_4},
  doi          = {10.1007/978-3-031-32157-3\_4},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SoueidiF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/VinkhuijzenGHBWL23,
  author       = {Lieuwe Vinkhuijzen and
                  Thomas Grurl and
                  Stefan Hillmich and
                  Sebastiaan Brand and
                  Robert Wille and
                  Alfons Laarman},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Efficient Implementation of LIMDDs for Quantum Circuit Simulation},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_1},
  doi          = {10.1007/978-3-031-32157-3\_1},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/VinkhuijzenGHBWL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/WijsO23,
  author       = {Anton Wijs and
                  Muhammad Osama},
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {GPUexplore 3.0: {GPU} Accelerated State Space Exploration for Concurrent
                  Systems with Data},
  booktitle    = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  pages        = {188--197},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3\_11},
  doi          = {10.1007/978-3-031-32157-3\_11},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/WijsO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spin/2023,
  editor       = {Georgiana Caltais and
                  Christian Schilling},
  title        = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
                  Paris, France, April 26-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13872},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-32157-3},
  doi          = {10.1007/978-3-031-32157-3},
  isbn         = {978-3-031-32156-6},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/2023.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.