Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BartetzkoFMW01,
  author       = {Detlef Bartetzko and
                  Clemens Fischer and
                  Michael M{\"{o}}ller and
                  Heike Wehrheim},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Jass - Java with Assertions},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {103--117},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00247-6},
  doi          = {10.1016/S1571-0661(04)00247-6},
  timestamp    = {Mon, 05 Dec 2022 12:32:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartetzkoFMW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DucasseJ01,
  author       = {Mireille Ducass{\'{e}} and
                  Erwan Jahier},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Efficient Automated Trace Analysis: Examples with Morphine},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {118--133},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00248-8},
  doi          = {10.1016/S1571-0661(04)00248-8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DucasseJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DudaniGJV01,
  author       = {Surrendra Dudani and
                  Joao Geada and
                  Grzegorz Jakacki and
                  Daniel Vainer},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Dynamic Assertions Using {TXP}},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {134--146},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00249-X},
  doi          = {10.1016/S1571-0661(04)00249-X},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DudaniGJV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkbeinerS01,
  author       = {Bernd Finkbeiner and
                  Henny Sipma},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Checking Finite Traces using Alternating Automata},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {147--163},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00250-6},
  doi          = {10.1016/S1571-0661(04)00250-6},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkbeinerS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GatesRMD01,
  author       = {Ann Q. Gates and
                  Steve Roach and
                  Oscar Mondragon and
                  Nelly Delgado},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {DynaMICs: Comprehensive Support for Run-Time Monitoring},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {164--180},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00251-8},
  doi          = {10.1016/S1571-0661(04)00251-8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GatesRMD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Geilen01,
  author       = {Marc Geilen},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {On the Construction of Monitors for Temporal Logic Properties},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {181--199},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00252-X},
  doi          = {10.1016/S1571-0661(04)00252-X},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Geilen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HavelundR01,
  author       = {Klaus Havelund and
                  Grigore Rosu},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Preface},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {287--288},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80577-8},
  doi          = {10.1016/S1571-0661(05)80577-8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HavelundR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HavelundR01a,
  author       = {Klaus Havelund and
                  Grigore Rosu},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Monitoring Java Programs with Java PathExplorer},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {200--217},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00253-1},
  doi          = {10.1016/S1571-0661(04)00253-1},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HavelundR01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KimKLSV01,
  author       = {Moonjoo Kim and
                  Sampath Kannan and
                  Insup Lee and
                  Oleg Sokolsky and
                  Mahesh Viswanathan},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Java-MaC: a Run-time Assurance Tool for Java Programs},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {218--235},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00254-3},
  doi          = {10.1016/S1571-0661(04)00254-3},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KimKLSV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KortenkampMSF01,
  author       = {David Kortenkamp and
                  Tod Milam and
                  Reid G. Simmons and
                  Joaqu{\'{\i}}n Lopez Fern{\'{a}}ndez},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Collecting and Analyzing Data from Distributed Control Programs},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {236--254},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00255-5},
  doi          = {10.1016/S1571-0661(04)00255-5},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KortenkampMSF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NimmerE01,
  author       = {Jeremy W. Nimmer and
                  Michael D. Ernst},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Static verification of dynamically detected program invariants: Integrating
                  Daikon and ESC/Java},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {255--276},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00256-7},
  doi          = {10.1016/S1571-0661(04)00256-7},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NimmerE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TripakisY01,
  author       = {Stavros Tripakis and
                  Sergio Yovine},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Timing Analysis and Code Generation of Vehicle Control Software using
                  Taxys},
  booktitle    = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  pages        = {277--286},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00257-9},
  doi          = {10.1016/S1571-0661(04)00257-9},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TripakisY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2001,
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
                  2001, Paris, France, July 23, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {55},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/55/issue/2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/2001.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.