Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rv/AzzopardiPSS21,
  author       = {Shaun Azzopardi and
                  Gordon J. Pace and
                  Fernando Schapachnik and
                  Gerardo Schneider},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {On the Specification and Monitoring of Timed Normative Systems},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {81--99},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_5},
  doi          = {10.1007/978-3-030-88494-9\_5},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/AzzopardiPSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/BalakrishnanDHY21,
  author       = {Anand Balakrishnan and
                  Jyotirmoy Deshmukh and
                  Bardh Hoxha and
                  Tomoya Yamaguchi and
                  Georgios Fainekos},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {PerceMon: Online Monitoring for Perception Systems},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {297--308},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_18},
  doi          = {10.1007/978-3-030-88494-9\_18},
  timestamp    = {Thu, 07 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BalakrishnanDHY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CairoliBP21,
  author       = {Francesca Cairoli and
                  Luca Bortolussi and
                  Nicola Paoletti},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Neural Predictive Monitoring Under Partial Observability},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {121--141},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_7},
  doi          = {10.1007/978-3-030-88494-9\_7},
  timestamp    = {Thu, 07 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/CairoliBP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CimattiTT21,
  author       = {Alessandro Cimatti and
                  Chun Tian and
                  Stefano Tonetta},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Assumption-Based Runtime Verification of Infinite-State Systems},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {207--227},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_11},
  doi          = {10.1007/978-3-030-88494-9\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/CimattiTT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DauerFS21,
  author       = {Johann C. Dauer and
                  Bernd Finkbeiner and
                  Sebastian Schirmer},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Monitoring with Verified Guarantees},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {62--80},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_4},
  doi          = {10.1007/978-3-030-88494-9\_4},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/DauerFS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/DawesB21,
  author       = {Joshua Heneage Dawes and
                  Domenico Bianculli},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Specifying Properties over Inter-procedural, Source Code Level Behaviour
                  of Programs},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {23--41},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_2},
  doi          = {10.1007/978-3-030-88494-9\_2},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/DawesB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FernandoJLM21,
  author       = {Vimuth Fernando and
                  Keyur Joshi and
                  Jacob Laurel and
                  Sasa Misailovic},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous
                  Programs},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {184--206},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_10},
  doi          = {10.1007/978-3-030-88494-9\_10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FernandoJLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/FilliatreP21,
  author       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cl{\'{e}}ment Pascutto},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Ortac: Runtime Assertion Checking for OCaml (Tool Paper)},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {244--253},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_13},
  doi          = {10.1007/978-3-030-88494-9\_13},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/FilliatreP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/GorostiagaS21,
  author       = {Felipe Gorostiaga and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Nested Monitors: Monitors as Expressions to Build Monitors},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_9},
  doi          = {10.1007/978-3-030-88494-9\_9},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/GorostiagaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/HashemiKMS21,
  author       = {Vahid Hashemi and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Stefanie Mohr and
                  Emmanouil Seferis},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Gaussian-Based Runtime Detection of Out-of-distribution Inputs for
                  Neural Networks},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {254--264},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_14},
  doi          = {10.1007/978-3-030-88494-9\_14},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/HashemiKMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/LukinaSH21,
  author       = {Anna Lukina and
                  Christian Schilling and
                  Thomas A. Henzinger},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Into the Unknown: Active Monitoring of Neural Networks},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {42--61},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_3},
  doi          = {10.1007/978-3-030-88494-9\_3},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/LukinaSH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MamourasCW21,
  author       = {Konstantinos Mamouras and
                  Agnishom Chattopadhyay and
                  Zhifu Wang},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {A Compositional Framework for Quantitative Online Monitoring over
                  Continuous-Time Signals},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {142--163},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_8},
  doi          = {10.1007/978-3-030-88494-9\_8},
  timestamp    = {Thu, 07 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MamourasCW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MomtazBAB21,
  author       = {Anik Momtaz and
                  Niraj Basnet and
                  Houssam Abbas and
                  Borzoo Bonakdarpour},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Predicate Monitoring in Distributed Cyber-Physical Systems},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_1},
  doi          = {10.1007/978-3-030-88494-9\_1},
  timestamp    = {Thu, 07 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MomtazBAB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/MuehlboeckH21,
  author       = {Fabian Muehlboeck and
                  Thomas A. Henzinger},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Differential Monitoring},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {231--243},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_12},
  doi          = {10.1007/978-3-030-88494-9\_12},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/MuehlboeckH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/RajhansMMV21,
  author       = {Akshay Rajhans and
                  Anastasia Mavrommati and
                  Pieter J. Mosterman and
                  Roberto G. Valenti},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Specification and Runtime Verification of Temporal Assessments in
                  Simulink},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {288--296},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_17},
  doi          = {10.1007/978-3-030-88494-9\_17},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/RajhansMMV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ShijuboWS21,
  author       = {Junya Shijubo and
                  Masaki Waga and
                  Kohei Suenaga},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Efficient Black-Box Checking via Model Checking with Strengthened
                  Specifications},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {100--120},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_6},
  doi          = {10.1007/978-3-030-88494-9\_6},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/ShijuboWS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ShinKBB21,
  author       = {Donghwan Shin and
                  Zanis Ali Khan and
                  Domenico Bianculli and
                  Lionel C. Briand},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {A Theoretical Framework for Understanding the Relationship Between
                  Log Parsing and Anomaly Detection},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {277--287},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_16},
  doi          = {10.1007/978-3-030-88494-9\_16},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/ShinKBB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/TorfahJFS21,
  author       = {Hazem Torfah and
                  Sebastian Junges and
                  Daniel J. Fremont and
                  Sanjit A. Seshia},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {311--330},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_19},
  doi          = {10.1007/978-3-030-88494-9\_19},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/TorfahJFS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ViswanadhaKIFS21,
  author       = {Kesav Viswanadha and
                  Edward Kim and
                  Francis Indaheng and
                  Daniel J. Fremont and
                  Sanjit A. Seshia},
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Parallel and Multi-objective Falsification with Scenic and VerifAI},
  booktitle    = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  pages        = {265--276},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9\_15},
  doi          = {10.1007/978-3-030-88494-9\_15},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ViswanadhaKIFS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2021,
  editor       = {Lu Feng and
                  Dana Fisman},
  title        = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
                  Event, October 11-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12974},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88494-9},
  doi          = {10.1007/978-3-030-88494-9},
  isbn         = {978-3-030-88493-2},
  timestamp    = {Thu, 07 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/2021.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.