Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rv/BortolussiMS15,
  author       = {Luca Bortolussi and
                  Dimitrios Milios and
                  Guido Sanguinetti},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Machine Learning Methods in Statistical Model Checking and System
                  Design - Tutorial},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {323--341},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_23},
  doi          = {10.1007/978-3-319-23820-3\_23},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BortolussiMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CameronFMS15,
  author       = {Fraser Cameron and
                  Georgios Fainekos and
                  David M. Maahs and
                  Sriram Sankaranarayanan},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Towards a Verified Artificial Pancreas: Challenges and Solutions for
                  Runtime Verification},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_1},
  doi          = {10.1007/978-3-319-23820-3\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/CameronFMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CassarF15,
  author       = {Ian Cassar and
                  Adrian Francalanza},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Runtime Adaptation for Actor Systems},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {38--54},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_3},
  doi          = {10.1007/978-3-319-23820-3\_3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/CassarF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ChimentoAPS15,
  author       = {Jes{\'{u}}s Mauricio Chimento and
                  Wolfgang Ahrendt and
                  Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {StaRVOOrS: {A} Tool for Combined Static and Runtime Verification of
                  Java},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {297--305},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_21},
  doi          = {10.1007/978-3-319-23820-3\_21},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ChimentoAPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DaianFMSSIR15,
  author       = {Philip Daian and
                  Yli{\`{e}}s Falcone and
                  Patrick O'Neil Meredith and
                  Traian{-}Florin Serbanuta and
                  Shinichi Shiraishi and
                  Akihito Iwai and
                  Grigore Rosu},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {RV-Android: Efficient Parametric Android Runtime Verification, a Brief
                  Tutorial},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {342--357},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_24},
  doi          = {10.1007/978-3-319-23820-3\_24},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/DaianFMSSIR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DeshmukhDGJJS15,
  author       = {Jyotirmoy V. Deshmukh and
                  Alexandre Donz{\'{e}} and
                  Shromona Ghosh and
                  Xiaoqing Jin and
                  Garvit Juniwal and
                  Sanjit A. Seshia},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Robust Online Monitoring of Signal Temporal Logic},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_4},
  doi          = {10.1007/978-3-319-23820-3\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/DeshmukhDGJJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FalconeNRT15,
  author       = {Yli{\`{e}}s Falcone and
                  Dejan Nickovic and
                  Giles Reger and
                  Daniel Thoma},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Second International Competition on Runtime Verification {CRV} 2015},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {405--422},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_27},
  doi          = {10.1007/978-3-319-23820-3\_27},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/FalconeNRT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FrancalanzaAI15,
  author       = {Adrian Francalanza and
                  Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_5},
  doi          = {10.1007/978-3-319-23820-3\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FrancalanzaAI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/GeskeIS15,
  author       = {Maren Geske and
                  Malte Isberner and
                  Bernhard Steffen},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Rigorous Examination of Reactive Systems: The {RERS} Challenge 2015},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {423--429},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_28},
  doi          = {10.1007/978-3-319-23820-3\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/GeskeIS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/IsbernerSH15,
  author       = {Malte Isberner and
                  Bernhard Steffen and
                  Falk Howar},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {LearnLib Tutorial - An Open-Source Java Library for Active Automata
                  Learning},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {358--377},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_25},
  doi          = {10.1007/978-3-319-23820-3\_25},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/IsbernerSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KaneCDK15,
  author       = {Aaron Kane and
                  Omar Chowdhury and
                  Anupam Datta and
                  Philip Koopman},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {A Case Study on Runtime Monitoring of an Autonomous Research Vehicle
                  {(ARV)} System},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_7},
  doi          = {10.1007/978-3-319-23820-3\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KaneCDK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KassemFL15,
  author       = {Ali Kassem and
                  Yli{\`{e}}s Falcone and
                  Pascal Lafourcade},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Monitoring Electronic Exams},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {118--135},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_8},
  doi          = {10.1007/978-3-319-23820-3\_8},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KassemFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Kuster015,
  author       = {Jan{-}Christoph K{\"{u}}ster and
                  Andreas Bauer},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Monitoring Real Android Malware},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {136--152},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_9},
  doi          = {10.1007/978-3-319-23820-3\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Kuster015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/KyleHC15,
  author       = {David Kyle and
                  Jeffery P. Hansen and
                  Sagar Chaki},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Statistical Model Checking of Distributed Adaptive Real-Time Software},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {269--274},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_17},
  doi          = {10.1007/978-3-319-23820-3\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/KyleHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/LaurentGP15,
  author       = {Jonathan Laurent and
                  Alwyn Goodloe and
                  Lee Pike},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Assuring the Guardians},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {87--101},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_6},
  doi          = {10.1007/978-3-319-23820-3\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/LaurentGP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NaskosSKG15,
  author       = {Athanasios Naskos and
                  Emmanouela Stachtiari and
                  Panagiotis Katsaros and
                  Anastasios Gounaris},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Probabilistic Model Checking at Runtime for the Provisioning of Cloud
                  Resources},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {275--280},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_18},
  doi          = {10.1007/978-3-319-23820-3\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NaskosSKG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NavabpourBF15,
  author       = {Samaneh Navabpour and
                  Borzoo Bonakdarpour and
                  Sebastian Fischmeister},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Time-Triggered Runtime Verification of Component-Based Multi-core
                  Systems},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {153--168},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_10},
  doi          = {10.1007/978-3-319-23820-3\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/NavabpourBF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NenziBCLM15,
  author       = {Laura Nenzi and
                  Luca Bortolussi and
                  Vincenzo Ciancia and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_2},
  doi          = {10.1007/978-3-319-23820-3\_2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NenziBCLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/NguyenSBJ15,
  author       = {Luan Viet Nguyen and
                  Christian Schilling and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Runtime Verification for Hybrid Analysis Tools},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {281--286},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_19},
  doi          = {10.1007/978-3-319-23820-3\_19},
  timestamp    = {Sat, 04 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NguyenSBJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Nickovic15,
  author       = {Dejan Nickovic},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Monitoring and Measuring Hybrid Behaviors {A} Tutorial},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {378--402},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_26},
  doi          = {10.1007/978-3-319-23820-3\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Nickovic15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PedroPPP15,
  author       = {Andr{\'{e}} de Matos Pedro and
                  David Pereira and
                  Lu{\'{\i}}s Miguel Pinho and
                  Jorge Sousa Pinto},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Monitoring for a Decidable Fragment of MTL-{\(\int\)}},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {169--184},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_11},
  doi          = {10.1007/978-3-319-23820-3\_11},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/PedroPPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PerottiBG15,
  author       = {Alan Perotti and
                  Guido Boella and
                  Artur S. d'Avila Garcez},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Runtime Verification Through Forward Chaining},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_12},
  doi          = {10.1007/978-3-319-23820-3\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/PerottiBG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PhanYRGSS15,
  author       = {Dung T. Phan and
                  Junxing Yang and
                  Denise Ratasich and
                  Radu Grosu and
                  Scott A. Smolka and
                  Scott D. Stoller},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited
                  Information About the Environment},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_13},
  doi          = {10.1007/978-3-319-23820-3\_13},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/PhanYRGSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PinisettyFJM15,
  author       = {Srinivas Pinisetty and
                  Yli{\`{e}}s Falcone and
                  Thierry J{\'{e}}ron and
                  Herv{\'{e}} Marchand},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {TiPEX: {A} Tool Chain for Timed Property Enforcement During eXecution},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {306--320},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_22},
  doi          = {10.1007/978-3-319-23820-3\_22},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/PinisettyFJM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Reger15,
  author       = {Giles Reger},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Suggesting Edits to Explain Failing Traces},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {287--293},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_20},
  doi          = {10.1007/978-3-319-23820-3\_20},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/Reger15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/RegerR15,
  author       = {Giles Reger and
                  David E. Rydeheard},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {From First-order Temporal Logic to Parametric Trace Slicing},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_14},
  doi          = {10.1007/978-3-319-23820-3\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/RegerR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/SchumannMR15,
  author       = {Johann Schumann and
                  Patrick Moosbrugger and
                  Kristin Y. Rozier},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {{R2U2:} Monitoring and Diagnosis of Security Threats for Unmanned
                  Aerial Systems},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {233--249},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_15},
  doi          = {10.1007/978-3-319-23820-3\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/SchumannMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/WangGGSL15,
  author       = {Shaohui Wang and
                  Yoann Geoffroy and
                  Gregor G{\"{o}}{\ss}ler and
                  Oleg Sokolsky and
                  Insup Lee},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {A Hybrid Approach to Causality Analysis},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_16},
  doi          = {10.1007/978-3-319-23820-3\_16},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/WangGGSL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2015,
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3},
  doi          = {10.1007/978-3-319-23820-3},
  isbn         = {978-3-319-23819-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/2015.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.