default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 2024: Istanbul, Turkey
- Erika Ábrahám
, Houssam Abbas:
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings. Lecture Notes in Computer Science 15191, Springer 2025, ISBN 978-3-031-74233-0
Cyber-physical Systems
- Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop:
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. 3-21 - Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
Stream-Based Monitoring Under Measurement Noise. 22-39 - Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. 40-58 - Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga:
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. 59-69 - Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh:
Sampling-Based and Gradient-Based Efficient Scenario Generation. 70-88 - Tanmay Khandait, Giulia Pedrielli:
HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems. 89-106
Temporal Logics
- Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade, Piyush P. Kurur:
faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties. 109-127 - Konstantinos Mamouras:
Efficient Offline Monitoring for Dynamic Metric Temporal Logic. 128-149 - Lennard Reese, Rafael Castro G. Silva, Dmitriy Traytel:
TimelyMon: A Streaming Parallel First-Order Monitor. 150-160
Specification and Visualization
- Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma:
Adding State to Stream Runtime Verification. 163-173 - Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
The Complexity of Data-Free Nfer. 174-191 - Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck:
RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring. 192-202
Deep Neural Networks
- Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu:
Case Study: Runtime Safety Verification of Neural Network Controlled System. 205-217 - Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff:
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. 218-228 - Weicheng He, Changshun Wu, Saddek Bensalem:
Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. 229-239
Distributed Systems
- Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly:
Distributed Monitoring of Timed Properties. 243-261 - Gilde Valeria Rodríguez, Armando Castañeda:
Towards Efficient Runtime Verified Linearizable Algorithms. 262-281 - Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç:
Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. 282-301
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:49 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:
