Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/rv/2004,
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/113/suppl/C},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArkoudasR05,
  author       = {Konstantine Arkoudas and
                  Martin C. Rinard},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Deductive Runtime Certification},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {45--63},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.035},
  doi          = {10.1016/J.ENTCS.2004.01.035},
  timestamp    = {Fri, 16 Dec 2022 11:10:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArkoudasR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BensalemBKT05,
  author       = {Saddek Bensalem and
                  Marius Bozga and
                  Moez Krichen and
                  Stavros Tripakis},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Testing Conformance of Real-Time Applications by Automatic Generation
                  of Observers},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {23--43},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.036},
  doi          = {10.1016/J.ENTCS.2004.01.036},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BensalemBKT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Drusinsky05,
  author       = {Doron Drusinsky},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Semantics and Runtime Monitoring of TLCharts: Statechart Automata
                  with Temporal Logic Conditioned Transitions},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {3--21},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.025},
  doi          = {10.1016/J.ENTCS.2004.01.025},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Drusinsky05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Fredlund05,
  author       = {Lars{-}{\AA}ke Fredlund},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Guaranteeing Correctness Properties of a Java Card Applet},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {217--233},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.033},
  doi          = {10.1016/J.ENTCS.2004.01.033},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Fredlund05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GarbervetskyNYZ05,
  author       = {Diego Garbervetsky and
                  Chaker Nakhli and
                  Sergio Yovine and
                  Hichem Zorgati},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Program Instrumentation and Run-Time Analysis of Scoped Memory in
                  Java},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {105--121},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.031},
  doi          = {10.1016/J.ENTCS.2004.01.031},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GarbervetskyNYZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HavelundR05,
  author       = {Klaus Havelund and
                  Grigore Rosu},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.011},
  doi          = {10.1016/J.ENTCS.2004.12.011},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HavelundR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KaraormanF05,
  author       = {Murat Karaorman and
                  Jay Freeman},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {jMonitor: Java Runtime Event Specification and Monitoring Library},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {181--200},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.027},
  doi          = {10.1016/J.ENTCS.2004.01.027},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KaraormanF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PeledQ05,
  author       = {Doron A. Peled and
                  Hongyang Qu},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Enforcing Concurrent Temporal Behaviors},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {65--83},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.034},
  doi          = {10.1016/J.ENTCS.2004.01.034},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PeledQ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SammapunELS05,
  author       = {Usa Sammapun and
                  Arvind Easwaran and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Simulation of Simultaneous Events in Regular Expressions for Run-Time
                  Verification},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {123--143},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.030},
  doi          = {10.1016/J.ENTCS.2004.01.030},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SammapunELS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchuppanBB05,
  author       = {Viktor Schuppan and
                  Marcel Baur and
                  Armin Biere},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {{JVM} Independent Replay in Java},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {85--104},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.032},
  doi          = {10.1016/J.ENTCS.2004.01.032},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchuppanBB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StolzH05,
  author       = {Volker Stolz and
                  Frank Huch},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Runtime Verification of Concurrent Haskell Programs},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {201--216},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.026},
  doi          = {10.1016/J.ENTCS.2004.01.026},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StolzH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TasiranQ05,
  author       = {Serdar Tasiran and
                  Shaz Qadeer},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Runtime Refinement Checking of Concurrent Data Structures},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {163--179},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.028},
  doi          = {10.1016/J.ENTCS.2004.01.028},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TasiranQ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ThatiR05,
  author       = {Prasanna Thati and
                  Grigore Rosu},
  editor       = {Klaus Havelund and
                  Grigore Rosu},
  title        = {Monitoring Algorithms for Metric Temporal Logic Specifications},
  booktitle    = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {113},
  pages        = {145--162},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.029},
  doi          = {10.1016/J.ENTCS.2004.01.029},
  timestamp    = {Fri, 16 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThatiR05.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.