RV19: INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

A
Aceto, Luca	Comparing Controlled System Synthesis and Suppression Enforcement
B
Babaee, Reza	Accelerated Learning of Predictive Runtime Monitors for Rare Failure
Basin, David	Can we Verify GDPR Compliance? A Formally Verified Monitor for Metric First-Order Temporal Logic
Belta, Calin	Reactive Control Meets Runtime Verification: A Case Study of Navigation
Bortolussi, Luca	Neural Predictive Monitoring
C
Cairoli, Francesca	Neural Predictive Monitoring
Cassar, Ian	Comparing Controlled System Synthesis and Suppression Enforcement
Cerny, Pavol	Efficient Detection and Quantification of Timing Leaks with Neural Networks
Chen, Xin	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Chou, Yi	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Cimatti, Alessandro	Assumption-Based Runtime Verification with Partial Observability and Resets NuRV: a nuXmv Extension for Runtime Verification
D
Danielsson, Luis Miguel	Decentralized Stream Runtime Verification
Dawes, Joshua	Explaining Violations of Properties in Control-Flow Temporal Logic
Deshmukh, Jyotirmoy	Shape Expressions for Specifying and Extracting Signal Features
E
Eakman, Gregory	Overhead-Aware Deployment of Runtime Monitors
F
Fainekos, Georgios	Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Falcone, Yliès	On the Runtime Enforcement of Timed Properties On the Runtime Enforcement of Timed Properties
Feng, Lang	FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation
Ferrère, Thomas	Shape Expressions for Specifying and Extracting Signal Features
Fischmeister, Sebastian	Monitorability Over Unreliable Channels
Francalanza, Adrian	Comparing Controlled System Synthesis and Suppression Enforcement
Frew, Eric	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
G
Ganesh, Vijay	Accelerated Learning of Predictive Runtime Monitors for Rare Failure
H
Hahn, Christopher	Algorithms for Monitoring Hyperproperties
Havelund, Klaus	Monitorability Over Unreliable Channels An Extension of LTL with Rules and its Application to Runtime Verification
Hoare, Tony	A Calculus for Concurrent and Sequential Programming
Hoxha, Bardh	Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo
Hu, Jiang	FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation
Huang, Jeff	FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation
I
Ingolfsdottir, Anna	Comparing Controlled System Synthesis and Suppression Enforcement
K
Kannan, Sampath	A Retrospective Look at the Monitoring and Checking (MaC) Framework
Kauffman, Sean	Monitorability Over Unreliable Channels
Kim, Moonzoo	A Retrospective Look at the Monitoring and Checking (MaC) Framework
Krstic, Srdjan	A Formally Verified Monitor for Metric First-Order Temporal Logic
L
Lee, Insup	A Retrospective Look at the Monitoring and Checking (MaC) Framework Overhead-Aware Deployment of Runtime Monitors
Leucker, Martin	Runtime Verification For Timed Event Streams With Partial Information
M
Mateis, Cristinel	Shape Expressions for Specifying and Extracting Signal Features
N
Nickovic, Dejan	Shape Expressions for Specifying and Extracting Signal Features
P
Paoletti, Nicola	Neural Predictive Monitoring
Peled, Doron	An Extension of LTL with Rules and its Application to Runtime Verification
Q
Qin, Xin	Shape Expressions for Specifying and Extracting Signal Features
R
Rajhans, Akshay	Challenges and Opportunities in Design and Operation of Intelligent Cyber-Physical Systems
Reddy, Abhijith	FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation
Reger, Giles	Explaining Violations of Properties in Control-Flow Temporal Logic
S
Sanchez, Cesar	Runtime Verification For Timed Event Streams With Partial Information Decentralized Stream Runtime Verification
Sankaranarayanan, Sriram	Robustness of Specifications and its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo Efficient Detection and Quantification of Timing Leaks with Neural Networks Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Scheffel, Torben	Runtime Verification For Timed Event Streams With Partial Information
Schmitz, Malte	Runtime Verification For Timed Event Streams With Partial Information
Schneider, Joshua	A Formally Verified Monitor for Metric First-Order Temporal Logic
Sedwards, Sean	Accelerated Learning of Predictive Runtime Monitors for Rare Failure
Serpette, Bernard	AllenRV: an Extensible Monitor for Multiple Complex Specifications with High Reactivity
Seshia, Sanjit	Towards Verified Artificial Intelligence: A Run-Time Verification Perspective
Smolka, Scott	Neural Predictive Monitoring
Sokolsky, Oleg	A Retrospective Look at the Monitoring and Checking (MaC) Framework Overhead-Aware Deployment of Runtime Monitors
Stoller, Scott	Neural Predictive Monitoring
T
Thoma, Daniel	Runtime Verification For Timed Event Streams With Partial Information
Tian, Chun	Assumption-Based Runtime Verification with Partial Observability and Resets NuRV: a nuXmv Extension for Runtime Verification
Tizpaz-Niari, Saeid	Efficient Detection and Quantification of Timing Leaks with Neural Networks
Tonetta, Stefano	Assumption-Based Runtime Verification with Partial Observability and Resets NuRV: a nuXmv Extension for Runtime Verification
Torfah, Hazem	Stream-based Monitors for Real-time Properties Stream-based Monitors for Real-time Properties
Traytel, Dmitriy	A Formally Verified Monitor for Metric First-Order Temporal Logic
Trivedi, Ashutosh	Efficient Detection and Quantification of Timing Leaks with Neural Networks
U
Ulus, Dogan	Timescales: A Benchmark Generator for Metric Temporal Logic Reactive Control Meets Runtime Verification: A Case Study of Navigation
V
Viswanathan, Mahesh	A Retrospective Look at the Monitoring and Checking (MaC) Framework
Volanschi, Nic	AllenRV: an Extensible Monitor for Multiple Complex Specifications with High Reactivity
Y
Yoon, Hansol	Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
Z
Zhang, Teng	Overhead-Aware Deployment of Runtime Monitors

Disclaimer | Powered by EasyChair Smart Program