logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
R

RUNTIME VERIFICATION, RV 2025

IF
论文数27
被引数
期刊论文 27
发表时间
delete
Instrumenting Runtime Enforcement运行时强制工具化
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHublet, Francois; Basin, David; Hu, Linda; Krstic, Srdan; Reese, Lennard
delete分享
delete收藏
Conformal Predictive Monitoring for Multi-modal Scenarios多模态场景下的保形预测监控
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCairoli, Francesca; Bortolussi, Luca; Deshmukh, Jyotirmoy V.; Lindemann, Lars; Paoletti, Nicola
delete分享
delete收藏
ISL: Monitoring Image Segmentation Logic in Medical Imaging AnalysisISL：医学影像分析中图像分割逻辑的监控
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAn, Ziyan; Moyer, Daniel; Oguz, Ipek; Johnson, Taylor T.; Ma, Meiyi
delete分享
delete收藏
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation图像分割中用于异常分布定位的隐藏层监控
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKretinsky, Jan; Rieder, Sabine; Schwalbe, Gesina; Shoeb, Youssef
delete分享
delete收藏
Runtime Consultants运行时顾问
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFisman, Dana; Sudit, Elina
delete分享
delete收藏
Conformal Safety Shielding for Imperfect-Perception Agents为感知不完美智能体提供一致性安全防护
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteScarbro, William; Imrie, Calum; Yaman, Sinem Getir; Fatehi, Kavan; Pasareanu, Corina; Calinescu, Radu; Mangal, Ravi
delete分享
delete收藏
DSLs for Runtime Verification运行时验证的领域专用语言
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHavelund, Klaus; Omer, Moran; Peled, Doron
delete分享
delete收藏
A Practical Approach to Runtime Verification运行时验证的实用方法
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHipler, Raik; Kallwies, Hannes; Leucker, Martin; van Dommele, Kevin Gillian; Wien, Jannis
delete分享
delete收藏
Formal Verification of Neural Certificates Done Dynamically动态生成的神经证书的形式化验证
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteHenzinger, Thomas A.; Kueffner, Konstantin; Yu, Emily
delete分享
delete收藏
Algorithmic Fairness: A Runtime Perspective算法公平性：运行时视角
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteCano, Filip; Henzinger, Thomas A.; Kueffner, Konstantin
delete分享
delete收藏
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter模块化和在线监测具有积分和滤波器的时间逻辑规范
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSilvetti, Simone; Loreti, Michele; Nenzi, Laura
delete分享
delete收藏
Runtime Verification for LTL in Stochastic Systems随机系统中的LTL运行时验证
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEsparza, Javier; Fischer, Vincent
delete分享
delete收藏
Hyper Pattern Matching超模式匹配
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWaga, Masaki; Andre, Etienne
delete分享
delete收藏
The Power of Reframing: Using LLMs in Synthesizing RV Monitors重新构建的力量：利用大语言模型合成RV监控器
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCohen, Itay; Havelund, Klaus; Peled, Doron; Goldberg, Yoav
delete分享
delete收藏
DynSRV: Dynamically Updated Properties for Stream Runtime VerificationDynSRV：流运行时验证的动态更新属性
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKristensen, Morten Haahr; Wright, Thomas; Gomes, Claudio; Esterle, Lukas; Larsen, Peter Gorm
delete分享
delete收藏
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach基于RTLola的主动监控：一种基于规范的调度方法
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Scheerer, Frederik
delete分享
delete收藏
Monitoring Hypernode Logic Over Infinite Domains监控无限域上的超节点逻辑
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteChalupa, Marek; Henzinger, Thomas A.; da Costa, Ana Oliveira
delete分享
delete收藏
Monitoring Distributed Systems Based on Partial Order Executions with Global States基于部分有序执行和全局状态的分布式系统监控
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteOmer, Moran; Peled, Doron; Porat, Ely; Garg, Vijay K.
delete分享
delete收藏
A ROS Adapter for RTLOLAROS适配器用于RTLOLA
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Juenger, Franz; Kohn, Florian; Schirmer, Sebastian; Torens, Christoph
delete分享
delete收藏
CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-SeriesCoCAI：基于Copula的一致性异常识别方法用于多变量时间序列
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deletePearson, Nicholas Andrea; Zanello, Francesca; Russo, Davide; Bortolussi, Luca; Cairoli, Francesca
delete分享
delete收藏