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}
}
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.