• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

• 2023
• 
  Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic:
  Mining Specification Parameters for Multi-class Classification. RV 2023: 86-105
• 
  Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma:
  Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV 2023: 376-388
• 
  Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov:
  Pattern Matching for Perception Streams. RV 2023: 251-270
• 
  Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach:
  Flexible Runtime Security Enforcement with Tagged C. RV 2023: 231-250
• 
  Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard:
  AMT: A Runtime Verification Tool of Video Streams. RV 2023: 315-326
• 
  Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
  Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV 2023: 45-65
• 
  Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
  Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV 2023: 461-487
• 
  Marek Chalupa, Thomas A. Henzinger:
  Monitoring Hyperproperties with Prefix Transducers. RV 2023: 168-190
• 
  Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
  Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV 2023: 428-446
• 
  Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider:
  Metric First-Order Temporal Logic with Complex Data Types. RV 2023: 126-147
• 
  Klaus Havelund, Doron Peled:
  Monitorability for Runtime Verification. RV 2023: 447-460
• 
  Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
  Monitoring Algorithmic Fairness Under Partial Observations. RV 2023: 291-311
• 
  Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
  Monitoring Blackbox Implementations of Multiparty Session Protocols. RV 2023: 66-85
• 
  Hannes Kallwies, Martin Leucker, César Sánchez:
  General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125
• 
  Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas:
  Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV 2023: 213-230
• 
  Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh:
  Safety Monitoring for Pedestrian Detection in Adverse Conditions. RV 2023: 389-399
• 
  Moran Omer, Doron Peled:
  Runtime Verification Prediction for Traces with Data. RV 2023: 148-167
• 
  Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
  Assumption Generation for Learning-Enabled Autonomous Systems. RV 2023: 3-22
• 
  Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
  A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV 2023: 351-362
• 
  Chukri Soueidi, Yliès Falcone:
  Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV 2023: 327-338
• 
  Chukri Soueidi, Yliès Falcone:
  Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV 2023: 403-427
• 
  Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia:
  Learning Monitor Ensembles for Operational Design Domains. RV 2023: 271-290
• 
  Changshun Wu, Yliès Falcone, Saddek Bensalem:
  Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV 2023: 23-41
• 
  Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang:
  CCMOP: A Runtime Verification Tool for C/C++ Programs. RV 2023: 339-350
• 
  Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia:
  Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV 2023: 191-212
• 
  Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen:
  eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. RV 2023: 363-375
• 
  Panagiotis Katsaros, Laura Nenzi:
  Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Lecture Notes in Computer Science 14245, Springer 2023, ISBN 978-3-031-44266-7 [contents]