Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rv/0002KV13,
  author       = {Andreas Bauer and
                  Jan{-}Christoph K{\"{u}}ster and
                  Gil Vegliach},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {From Propositional to First-Order Monitoring},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {59--75},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_4},
  doi          = {10.1007/978-3-642-40787-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/0002KV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ArztRB13,
  author       = {Steven Arzt and
                  Siegfried Rasthofer and
                  Eric Bodden},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Instrumenting Android and Java Applications as Easy as abc},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {364--381},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_26},
  doi          = {10.1007/978-3-642-40787-1\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ArztRB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/BasinKMZ13,
  author       = {David A. Basin and
                  Felix Klaedtke and
                  Srdjan Marinovic and
                  Eugen Zalinescu},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Monitoring of Temporal First-Order Properties with Aggregations},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {40--58},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_3},
  doi          = {10.1007/978-3-642-40787-1\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BasinKMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/BruyereDG13,
  author       = {V{\'{e}}ronique Bruy{\`{e}}re and
                  Marc Ducobu and
                  Olivier Gauwin},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Right-Universality of Visibly Pushdown Automata},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {76--93},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_5},
  doi          = {10.1007/978-3-642-40787-1\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BruyereDG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ColomboMP13,
  author       = {Christian Colombo and
                  Ruth Mizzi and
                  Gordon J. Pace},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {SMock - {A} Test Platform for Monitoring Tools},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {352--357},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_24},
  doi          = {10.1007/978-3-642-40787-1\_24},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ColomboMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DeckerLT13,
  author       = {Normann Decker and
                  Martin Leucker and
                  Daniel Thoma},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Impartiality and Anticipation for Monitoring of Visibly Context-Free
                  Properties},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {183--200},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_11},
  doi          = {10.1007/978-3-642-40787-1\_11},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/DeckerLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DelahayeK13,
  author       = {Micka{\"{e}}l Delahaye and
                  Nikolai Kosmatov},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Late Treatment of {C} Precondition in Dynamic Symbolic Execution
                  Testing Tools},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {328--333},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_20},
  doi          = {10.1007/978-3-642-40787-1\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/DelahayeK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Donze13,
  author       = {Alexandre Donz{\'{e}}},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {On Signal Temporal Logic},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {382--383},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_27},
  doi          = {10.1007/978-3-642-40787-1\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Donze13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FalzonBP13,
  author       = {Kevin Falzon and
                  Eric Bodden and
                  Rahul Purandare},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Distributed Finite-State Runtime Monitoring with Aggregated Events},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_6},
  doi          = {10.1007/978-3-642-40787-1\_6},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FalzonBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FrancalanzaS13,
  author       = {Adrian Francalanza and
                  Aldrin Seychell},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract)},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {112--129},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_7},
  doi          = {10.1007/978-3-642-40787-1\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FrancalanzaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Havelund13,
  author       = {Klaus Havelund},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Scala {DSL} for Rete-Based Runtime Verification},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {322--327},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_19},
  doi          = {10.1007/978-3-642-40787-1\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Havelund13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/HuNYDH13,
  author       = {Raymond Hu and
                  Rumyana Neykova and
                  Nobuko Yoshida and
                  Romain Demangeon and
                  Kohei Honda},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Practical Interruptible Conversations - Distributed Dynamic Verification
                  with Session Types and Python},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {130--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_8},
  doi          = {10.1007/978-3-642-40787-1\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/HuNYDH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/JulkuR13,
  author       = {Jukka Julku and
                  Mika Rautila},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Towards a Generic Non-intrusive Fault Detection Framework},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {334--339},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_21},
  doi          = {10.1007/978-3-642-40787-1\_21},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/JulkuR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KalajdzicBSSG13,
  author       = {Kenan Kalajdzic and
                  Ezio Bartocci and
                  Scott A. Smolka and
                  Scott D. Stoller and
                  Radu Grosu},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Runtime Verification with Particle Filtering},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {149--166},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_9},
  doi          = {10.1007/978-3-642-40787-1\_9},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KalajdzicBSSG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KosmatovPS13,
  author       = {Nikolai Kosmatov and
                  Guillaume Petiot and
                  Julien Signoles},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {An Optimized Memory Monitoring for Runtime Assertion Checking of {C}
                  Programs},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_10},
  doi          = {10.1007/978-3-642-40787-1\_10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KosmatovPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KosmatovS13,
  author       = {Nikolai Kosmatov and
                  Julien Signoles},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Lesson on Runtime Assertion Checking with Frama-C},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {386--399},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_29},
  doi          = {10.1007/978-3-642-40787-1\_29},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KosmatovS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Kugler13,
  author       = {Hillel Kugler},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Runtime Verification and Refutation for Biological Systems},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {384--385},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_28},
  doi          = {10.1007/978-3-642-40787-1\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Kugler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KuncakKS13,
  author       = {Viktor Kuncak and
                  Etienne Kneuss and
                  Philippe Suter},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Executing Specifications Using Synthesis and Constraint Solving},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_1},
  doi          = {10.1007/978-3-642-40787-1\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KuncakKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Lampka13,
  author       = {Kai Lampka},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {With Real-Time Performance Analysis and Monitoring to Timing Predictable
                  Use of Multi-core Architectures},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {400--402},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_30},
  doi          = {10.1007/978-3-642-40787-1\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Lampka13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/LiW13,
  author       = {Lixin Li and
                  Chao Wang},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Dynamic Analysis and Debugging of Binary Code for Security Applications},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {403--423},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_31},
  doi          = {10.1007/978-3-642-40787-1\_31},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/LiW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MatosC13,
  author       = {Ana Almeida Matos and
                  Jan Cederquist},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Informative Types and Effects for Hybrid Migration Control},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {21--39},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_2},
  doi          = {10.1007/978-3-642-40787-1\_2},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MatosC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MekkatHZ13,
  author       = {Vineeth Mekkat and
                  Anup Holey and
                  Antonia Zhai},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {201--218},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_12},
  doi          = {10.1007/978-3-642-40787-1\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MekkatHZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MontplaisirJWD13,
  author       = {Alexandre Montplaisir and
                  Naser Ezzati{-}Jivan and
                  Florian Wininger and
                  Michel R. Dagenais},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Efficient Model to Query and Visualize the System States Extracted
                  from Trace Data},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_13},
  doi          = {10.1007/978-3-642-40787-1\_13},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MontplaisirJWD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NamjoshiTZ13,
  author       = {Kedar S. Namjoshi and
                  Giacomo Tagliabue and
                  Lenore D. Zuck},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Witnessing Compiler: {A} Proof of Concept},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {340--345},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_22},
  doi          = {10.1007/978-3-642-40787-1\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/NamjoshiTZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NeykovaYH13,
  author       = {Rumyana Neykova and
                  Nobuko Yoshida and
                  Raymond Hu},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {{SPY:} Local Verification of Global Protocols},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {358--363},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_25},
  doi          = {10.1007/978-3-642-40787-1\_25},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NeykovaYH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PolikarpovaFW13,
  author       = {Nadia Polikarpova and
                  Carlo A. Furia and
                  Scott West},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {To Run What No One Has Run Before: Executing an Intermediate Verification
                  Language},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {251--268},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_15},
  doi          = {10.1007/978-3-642-40787-1\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/PolikarpovaFW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/VarvaressosVGMH13,
  author       = {Simon Varvaressos and
                  Dominic Vaillancourt and
                  S{\'{e}}bastien Gaboury and
                  Alexandre Blondin Mass{\'{e}} and
                  Sylvain Hall{\'{e}}},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Runtime Monitoring of Temporal Logic Properties in a Platform Game},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {346--351},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_23},
  doi          = {10.1007/978-3-642-40787-1\_23},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/VarvaressosVGMH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/WangAKGSL13,
  author       = {Shaohui Wang and
                  Anaheed Ayoub and
                  BaekGyu Kim and
                  Gregor G{\"{o}}{\ss}ler and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {A Causality Analysis Framework for Component-Based Real-Time Systems},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {285--303},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_17},
  doi          = {10.1007/978-3-642-40787-1\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/WangAKGSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/WangCM13,
  author       = {Chengsong Wang and
                  Zhenbang Chen and
                  Xiaoguang Mao},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Optimizing Nop-shadows Typestate Analysis by Filtering Interferential
                  Configurations},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {269--284},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_16},
  doi          = {10.1007/978-3-642-40787-1\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/WangCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/WuKBF13,
  author       = {Chun Wah Wallace Wu and
                  Deepak Kumar and
                  Borzoo Bonakdarpour and
                  Sebastian Fischmeister},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Reducing Monitoring Overhead by Integrating Event- and Time-Triggered
                  Techniques},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {304--321},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_18},
  doi          = {10.1007/978-3-642-40787-1\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/WuKBF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ZaeemMK13,
  author       = {Razieh Nokhbeh Zaeem and
                  Muhammad Zubair Malik and
                  Sarfraz Khurshid},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Repair Abstractions for More Efficient Data Structure Repair},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {235--250},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_14},
  doi          = {10.1007/978-3-642-40787-1\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ZaeemMK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2013,
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1},
  doi          = {10.1007/978-3-642-40787-1},
  isbn         = {978-3-642-40786-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/2013.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.