Search dblp for Publications

export results for "toc:db/conf/rv/rv2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/rv/2005,
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/4},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarringerFGS06,
  author       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny B. Sipma},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.001},
  doi          = {10.1016/J.ENTCS.2006.02.001},
  timestamp    = {Fri, 16 Dec 2022 11:10:41 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarringerFGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChendR06,
  author       = {Feng Chen and
                  Marcelo d'Amorim and
                  Grigore Rosu},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Checking and Correcting Behaviors of Java Programs at Runtime with
                  Java-MOP},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {3--20},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.002},
  doi          = {10.1016/J.ENTCS.2006.02.002},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChendR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EaswaranKS06,
  author       = {Arvind Easwaran and
                  Sampath Kannan and
                  Oleg Sokolsky},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Steering of Discrete Event Systems: Control Theory Approach},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {21--39},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.066},
  doi          = {10.1016/J.ENTCS.2005.02.066},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EaswaranKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ElmasT06,
  author       = {Tayfun Elmas and
                  Serdar Tasiran},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {VyrdMC: Driving Runtime Refinement Checking with Model Checkers},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {41--56},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.003},
  doi          = {10.1016/J.ENTCS.2006.02.003},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ElmasT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Eytani06,
  author       = {Yaniv Eytani},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Concurrent Java Test Generation as a Search Problem},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {57--72},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.004},
  doi          = {10.1016/J.ENTCS.2006.02.004},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Eytani06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PnueliZZ06,
  author       = {Amir Pnueli and
                  Aleksandr Zaks and
                  Lenore D. Zuck},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Monitoring Interfaces for Faults},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {73--89},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.005},
  doi          = {10.1016/J.ENTCS.2006.02.005},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PnueliZZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SokolskySLK06,
  author       = {Oleg Sokolsky and
                  Usa Sammapun and
                  Insup Lee and
                  Jesung Kim},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Run-Time Checking of Dynamic Properties},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {91--108},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.006},
  doi          = {10.1016/J.ENTCS.2006.02.006},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SokolskySLK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StolzB06,
  author       = {Volker Stolz and
                  Eric Bodden},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Temporal Assertions using AspectJ},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {109--124},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.007},
  doi          = {10.1016/J.ENTCS.2006.02.007},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StolzB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ZhaoOKR06,
  author       = {Yuhong Zhao and
                  Simon Oberth{\"{u}}r and
                  Martin Kardos and
                  Franz{-}Josef Rammig},
  editor       = {Howard Barringer and
                  Bernd Finkbeiner and
                  Yuri Gurevich and
                  Henny Sipma},
  title        = {Model-based Runtime Verification Framework for Self-optimizing Systems},
  booktitle    = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
                  2005, Edinburgh, UK, July 12, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {144},
  number       = {4},
  pages        = {125--145},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.008},
  doi          = {10.1016/J.ENTCS.2006.02.008},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ZhaoOKR06.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.