default search action
RV 2019: Porto, Portugal
- Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 - Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. 1-14 - Sanjit A. Seshia:
Introspective Environment Modeling. 15-26 - Georgios Fainekos
, Bardh Hoxha, Sriram Sankaranarayanan:
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. 27-47 - Yliès Falcone, Srinivas Pinisetty:
On the Runtime Enforcement of Timed Properties. 48-69 - Christopher Hahn:
Algorithms for Monitoring Hyperproperties. 70-90 - Hazem Torfah
Stream-Based Monitors for Real-Time Properties. 91-110 - Reza Babaee
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. 111-128 - Luca Bortolussi
Neural Predictive Monitoring. 129-147 - Luca Aceto, Ian Cassar, Adrian Francalanza
Comparing Controlled System Synthesis and Suppression Enforcement. 148-164 - Alessandro Cimatti, Chun Tian
Assumption-Based Runtime Verification with Partial Observability and Resets. 165-184 - Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification. 185-201 - Joshua Heneage Dawes, Giles Reger:
Explaining Violations of Properties in Control-Flow Temporal Logic. 202-220 - Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy:
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. 221-238 - Klaus Havelund, Doron Peled:
An Extension of LTL with Rules and Its Application to Runtime Verification. 239-255 - Sean Kauffman
Monitorability over Unreliable Channels. 256-272 - Martin Leucker
Runtime Verification for Timed Event Streams with Partial Information. 273-291 - Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis
Shape Expressions for Specifying and Extracting Signal Features. 292-309 - Joshua Schneider, David A. Basin, Srdan Krstic
A Formally Verified Monitor for Metric First-Order Temporal Logic. 310-328 - Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. 329-348 - Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan:
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. 349-367 - Dogan Ulus
Reactive Control Meets Runtime Verification: A Case Study of Navigation. 368-374 - Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky:
Overhead-Aware Deployment of Runtime Monitors. 375-381 - Alessandro Cimatti, Chun Tian
NuRV: A nuXmv Extension for Runtime Verification. 382-392 - Nic Volanschi, Bernard P. Serpette:
AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. 393-401 - Dogan Ulus
Timescales: A Benchmark Generator for MTL Monitoring Tools. 402-412
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.
last updated on 2024-11-04 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: