Search dblp for Publications

export results for "toc:db/conf/softmc/softmc2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/softmc/2005,
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/3},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/softmc/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArmandoBM06,
  author       = {Alessandro Armando and
                  Massimo Benerecetti and
                  Jacopo Mantovani},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Model Checking Linear Programs with Arrays},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {79--94},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.006},
  doi          = {10.1016/J.ENTCS.2006.01.006},
  timestamp    = {Fri, 16 Dec 2022 10:50:33 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArmandoBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CookSV06,
  author       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Preface},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.001},
  doi          = {10.1016/J.ENTCS.2006.01.001},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CookSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrieskampTS06,
  author       = {Wolfgang Grieskamp and
                  Nikolai Tillmann and
                  Wolfram Schulte},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {{XRT-} Exploring Runtime for .NET Architecture and Applications},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {3--26},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.002},
  doi          = {10.1016/J.ENTCS.2006.01.002},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrieskampTS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrosuHJS06,
  author       = {Radu Grosu and
                  Xiaowan Huang and
                  Sumit Jain and
                  Scott A. Smolka},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Open-Source Model Checking},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {27--44},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.003},
  doi          = {10.1016/J.ENTCS.2006.01.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GrosuHJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HughesRSS06,
  author       = {Graham Hughes and
                  Sreeranga P. Rajan and
                  Tom Sidle and
                  Keith D. Swenson},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Error Detection in Concurrent Java Programs},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {45--58},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.004},
  doi          = {10.1016/J.ENTCS.2006.01.004},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HughesRSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MagninLR06,
  author       = {Morgan Magnin and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {An Efficient Method for Computing Exact State Space of Petri Nets
                  With Stopwatches},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {59--77},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.005},
  doi          = {10.1016/J.ENTCS.2006.01.005},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MagninLR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PalmerBYGK06,
  author       = {Robert Palmer and
                  Steve Barrus and
                  Yu Yang and
                  Ganesh Gopalakrishnan and
                  Robert M. Kirby},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Gauss: {A} Framework for Verifying Scientific Computing Software},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {95--106},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.007},
  doi          = {10.1016/J.ENTCS.2006.01.007},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PalmerBYGK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reiss06,
  author       = {Steven P. Reiss},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {Checking Event-Based Specifications in Java Systems},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {107--132},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.008},
  doi          = {10.1016/J.ENTCS.2006.01.008},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reiss06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Westphal06,
  author       = {Bernd Westphal},
  editor       = {Byron Cook and
                  Scott D. Stoller and
                  Willem Visser},
  title        = {{LSC} Verification for {UML} Models with Unbounded Creation and Destruction},
  booktitle    = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
                  2005, Edinburgh, UK, July 11, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {3},
  pages        = {133--145},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.01.009},
  doi          = {10.1016/J.ENTCS.2006.01.009},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Westphal06.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.