Search dblp for Publications

export results for "toc:db/journals/entcs/entcs254.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BotincanPS09,
  author       = {Matko Botincan and
                  Matthew J. Parkinson and
                  Wolfram Schulte},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Separation Logic Verification of {C} Programs with an {SMT} Solver},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {5--23},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.057},
  doi          = {10.1016/J.ENTCS.2009.09.057},
  timestamp    = {Fri, 17 Feb 2023 10:35:59 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BotincanPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Boyton09,
  author       = {Andrew Boyton},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Verified Shared Capability Model},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {25--44},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.058},
  doi          = {10.1016/J.ENTCS.2009.09.058},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Boyton09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrauerHS09,
  author       = {J{\"{o}}rg Brauer and
                  Ralf Huuck and
                  Bastian Schlich},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Interprocedural Pointer Analysis in Goanna},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {65--83},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.060},
  doi          = {10.1016/J.ENTCS.2009.09.060},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrauerHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrauerSK09,
  author       = {J{\"{o}}rg Brauer and
                  Bastian Schlich and
                  Stefan Kowalewski},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Parallel and Distributed Invariant Checking of Microcontroller Software},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {45--63},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.059},
  doi          = {10.1016/J.ENTCS.2009.09.059},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrauerSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CohenMTS09,
  author       = {Ernie Cohen and
                  Michal Moskal and
                  Stephan Tobies and
                  Wolfram Schulte},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Precise Yet Efficient Memory Model For {C}},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {85--103},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.061},
  doi          = {10.1016/J.ENTCS.2009.09.061},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CohenMTS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HashimotoN09,
  author       = {Yuusuke Hashimoto and
                  Shin Nakajima},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Modular Checking with Model Checking},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {105--122},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.062},
  doi          = {10.1016/J.ENTCS.2009.09.062},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HashimotoN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HillebrandL09,
  author       = {Mark A. Hillebrand and
                  Dirk Leinenbach},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Formal Verification of a Reader-Writer Lock Implementation in {C}},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {123--141},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.063},
  doi          = {10.1016/J.ENTCS.2009.09.063},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HillebrandL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HuuckKS09,
  author       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Preface},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.056},
  doi          = {10.1016/J.ENTCS.2009.09.056},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HuuckKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LimaTMDWP09,
  author       = {Vitor Lima and
                  Chamseddine Talhi and
                  Djedjiga Mouheb and
                  Mourad Debbabi and
                  Lingyu Wang and
                  Makan Pourzandi},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Formal Verification and Validation of {UML} 2.0 Sequence Diagrams
                  using Source and Destination of Messages},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {143--160},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.064},
  doi          = {10.1016/J.ENTCS.2009.09.064},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LimaTMDWP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchirmerW09,
  author       = {Norbert Schirmer and
                  Makarius Wenzel},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {State Spaces - The Locale Way},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {161--179},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.065},
  doi          = {10.1016/J.ENTCS.2009.09.065},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchirmerW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VisteinORHF09,
  author       = {Michael Vistein and
                  Frank Ortmeier and
                  Wolfgang Reif and
                  Ralf Huuck and
                  Ansgar Fehnker},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {An Abstract Specification Language for Static Program Analysis},
  booktitle    = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  pages        = {181--197},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.066},
  doi          = {10.1016/J.ENTCS.2009.09.066},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VisteinORHF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ssv/2009,
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Proceedings of the 4th International Workshop on Systems Software
                  Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {254},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/254/suppl/C},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssv/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.