Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rv/AdlerA09,
  author       = {Philipp Adler and
                  Wolfram Amme},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Type-Separated Bytecode - Its Construction and Evaluation},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {26--39},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_3},
  doi          = {10.1007/978-3-642-04694-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/AdlerA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/BarringerHRG09,
  author       = {Howard Barringer and
                  Klaus Havelund and
                  David E. Rydeheard and
                  Alex Groce},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Rule Systems for Runtime Verification: {A} Short Tutorial},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_1},
  doi          = {10.1007/978-3-642-04694-0\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BarringerHRG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FalconeFM09,
  author       = {Yli{\`{e}}s Falcone and
                  Jean{-}Claude Fernandez and
                  Laurent Mounier},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Runtime Verification of Safety-Progress Properties},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {40--59},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_4},
  doi          = {10.1007/978-3-642-04694-0\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FalconeFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FinkbeinerK09,
  author       = {Bernd Finkbeiner and
                  Lars Kuhtz},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Monitor Circuits for {LTL} with Bounded and Unbounded Future},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_5},
  doi          = {10.1007/978-3-642-04694-0\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FinkbeinerK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/HansenSS09,
  author       = {Trevor Hansen and
                  Peter Schachte and
                  Harald S{\o}ndergaard},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {State Joining and Splitting for the Symbolic Execution of Binaries},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {76--92},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_6},
  doi          = {10.1007/978-3-642-04694-0\_6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/HansenSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KahkonenLHN09,
  author       = {Kari K{\"{a}}hk{\"{o}}nen and
                  Jani Lampinen and
                  Keijo Heljanko and
                  Ilkka Niemel{\"{a}}},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {The {LIME} Interface Specification Language and Runtime Monitoring
                  Tool},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {93--100},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_7},
  doi          = {10.1007/978-3-642-04694-0\_7},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KahkonenLHN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KrenaLNTUV09,
  author       = {Bohuslav Krena and
                  Zdenek Letko and
                  Yarden Nir{-}Buchbinder and
                  Rachel Tzoref{-}Brill and
                  Shmuel Ur and
                  Tom{\'{a}}s Vojnar},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and
                  Runtime Healing},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {101--114},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_8},
  doi          = {10.1007/978-3-642-04694-0\_8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KrenaLNTUV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NunesLV09,
  author       = {Isabel Nunes and
                  Ant{\'{o}}nia Lopes and
                  Vasco Thudichum Vasconcelos},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Bridging the Gap between Algebraic Specification and Object-Oriented
                  Generic Programming},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_9},
  doi          = {10.1007/978-3-642-04694-0\_9},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/NunesLV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Rajamani09,
  author       = {Sriram K. Rajamani},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Verification, Testing and Statistics},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {25},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_2},
  doi          = {10.1007/978-3-642-04694-0\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Rajamani09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/RosuSS09,
  author       = {Grigore Rosu and
                  Wolfram Schulte and
                  Traian{-}Florin Serbanuta},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Runtime Verification of {C} Memory Safety},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {132--151},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_10},
  doi          = {10.1007/978-3-642-04694-0\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/RosuSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Tripakis09,
  author       = {Stavros Tripakis},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_11},
  doi          = {10.1007/978-3-642-04694-0\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/Tripakis09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ZhaiHH09,
  author       = {Antonia Zhai and
                  Guojin He and
                  Mats Per Erik Heimdahl},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Hardware Supported Flexible Monitoring: Early Results},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {168--183},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_12},
  doi          = {10.1007/978-3-642-04694-0\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ZhaiHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ZhouSLL09,
  author       = {Wenchao Zhou and
                  Oleg Sokolsky and
                  Boon Thau Loo and
                  Insup Lee},
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {\emph{DMaC}: Distributed Monitoring and Checking},
  booktitle    = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  pages        = {184--201},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0\_13},
  doi          = {10.1007/978-3-642-04694-0\_13},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/ZhouSLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2009,
  editor       = {Saddek Bensalem and
                  Doron A. Peled},
  title        = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
                  France, June 26-28, 2009. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5779},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04694-0},
  doi          = {10.1007/978-3-642-04694-0},
  isbn         = {978-3-642-04693-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/2009.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.