Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BarrettGZ03,
  author       = {Clark W. Barrett and
                  Benjamin Goldberg and
                  Lenore D. Zuck},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Run-Time Validation of Speculative Optimizations using {CVC}},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {89--107},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81044-2},
  doi          = {10.1016/S1571-0661(04)81044-2},
  timestamp    = {Fri, 16 Dec 2022 11:03:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarrettGZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChenR03,
  author       = {Feng Chen and
                  Grigore Rosu},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Towards Monitoring-Oriented Programming: {A} Paradigm Combining Specification
                  and Implementation},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {108--127},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81045-4},
  doi          = {10.1016/S1571-0661(04)81045-4},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChenR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CraneD03,
  author       = {Michelle L. Crane and
                  J{\"{u}}rgen Dingel},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Runtime Conformance Checking of Objects Using Alloy},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {2--21},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81040-5},
  doi          = {10.1016/S1571-0661(04)81040-5},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CraneD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KristoffersenPA03,
  author       = {K{\aa}re J. Kristoffersen and
                  Christian Pedersen and
                  Henrik Reif Andersen},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Runtime Verification of Timed {LTL} using Disjunctive Normalized Equation
                  Systems},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {210--225},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81050-8},
  doi          = {10.1016/S1571-0661(04)81050-8},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KristoffersenPA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Mok03,
  author       = {Aloysius K. Mok},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Event-Based Real-Time Monitoring},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81039-9},
  doi          = {10.1016/S1571-0661(04)81039-9},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mok03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MondragonGR03,
  author       = {Oscar Mondragon and
                  Ann Q. Gates and
                  Steve Roach},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Prospec: Support for Elicitation and Formal Specification of Software
                  Properties},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {67--88},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81043-0},
  doi          = {10.1016/S1571-0661(04)81043-0},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MondragonGR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NethercoteM03,
  author       = {Nicholas Nethercote and
                  Alan Mycroft},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Redux: {A} Dynamic Dataflow Tracer},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {149--170},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81047-8},
  doi          = {10.1016/S1571-0661(04)81047-8},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NethercoteM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NethercoteS03,
  author       = {Nicholas Nethercote and
                  Julian Seward},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Valgrind: {A} Program Supervision Framework},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {44--66},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81042-9},
  doi          = {10.1016/S1571-0661(04)81042-9},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NethercoteS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SammapunSDKZ03,
  author       = {Usa Sammapun and
                  Raman Sharykin and
                  Margaret DeLap and
                  Myong Kim and
                  Steve Zdancewic},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Formalizing Java-MaC},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {171--190},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81048-X},
  doi          = {10.1016/S1571-0661(04)81048-X},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SammapunSDKZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SenG03,
  author       = {Alper Sen and
                  Vijay K. Garg},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Partial Order Trace Analyzer {(POTA)} for Distributed Programs},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {22--43},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81041-7},
  doi          = {10.1016/S1571-0661(04)81041-7},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SenG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SenR03,
  author       = {Koushik Sen and
                  Grigore Rosu},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Generating Optimal Monitors for Extended Regular Expressions},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {226--245},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81051-X},
  doi          = {10.1016/S1571-0661(04)81051-X},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SenR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SokolskyV03,
  author       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Preface},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {246--247},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)81052-7},
  doi          = {10.1016/S1571-0661(05)81052-7},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SokolskyV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TanKL03,
  author       = {Li Tan and
                  Jesung Kim and
                  Insup Lee},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Testing and Monitoring Model-based Generated Program},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {128--148},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81046-6},
  doi          = {10.1016/S1571-0661(04)81046-6},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TanKL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WangS03,
  author       = {Liqiang Wang and
                  Scott D. Stoller},
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Run-Time Analysis for Atomicity},
  booktitle    = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  pages        = {191--209},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)81049-1},
  doi          = {10.1016/S1571-0661(04)81049-1},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WangS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2003,
  editor       = {Oleg Sokolsky and
                  Mahesh Viswanathan},
  title        = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
                  USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/2},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/2003.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.