中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Runtime Verification
会议名22nd International Conference on Runtime Verification (RV 2022)
中译名《第二十二届国际运行期验证会议》
会议日期September 28-30, 2022
会议地点Tbilisi, Georgia
出版年2022
馆藏号345016


题名作者出版年
Randomized First-Order Monitoring with HashingJoshua Schneider2022
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime MonitoringGaurav Gupta; Saumya Shankar; Srinivas Pinisetty2022
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free VariablesJonathan Julian Huerta y Munive2022
Rule-Based Runtime Mitigation Against Poison Attacks on Neural NetworksMuhammad Usman; Divya Gopinath; Youcheng Sun; Corina S. Pasareanu2022
Optimizing Prestate Copies in Runtime Verification of Function PostconditionsJean-Christophe Filliatre; Clement Pascutto2022
A Barrier Certificate-Based Simplex Architecture with Application to MicrogridsAmol Damare; Shouvik Roy; Scott A. Smolka; Scott D. Stoller2022
Optimal Finite-State Monitoring of Partial TracesPeeyush Kushwaha; Rahul Purandare; Matthew B. Dwyer2022
Tainting in Smart Contracts: Combining Static and Runtime VerificationShaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace2022
Transaction Monitoring of Smart ContractsMargarita Capretto; Martin Ceresa; Cesar Sanchez2022
Anticipatory Recurrent Monitoring with Uncertainty and AssumptionsHannes Kallwies; Martin Leucker; Cesar Sanchez; Torben Scheffel2022
Abstract Monitors for Quantitative SpecificationsThomas A. Henzinger; Nicolas Mazzocchi; N. Ege Sarac2022
Runtime Verification of Kotlin CoroutinesDenis Furian; Shaun Azzopardi; Ylies Falcone; Gerardo Schneider2022
ASPECTSOL: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime VerificationShaun Azzopardi; Joshua Ellul; Ryan Falzon; Gordon J. Pace2022
Towards Specificationless Monitoring of Provenance-Emitting SystemsMartin Stoffers; Alexander Weinert2022
A Python Library for Trace AnalysisDennis Dams; Klaus Havelund; Sean Kauffman2022
Lock Contention Performance Classification for Java Intrinsic LocksNahid Hasan Khan; Joseph Robertson; Ramiro Liscano; Akramul Azim; Vijay Sundaresan; Yee-Kang Chang2022
TestSelector: Automatic Test Suite Selection for Student ProjectsFilipe Marques; Antonio Morgado; Jose Fragoso Santos; Mikolas Janota2022
Decent: A Benchmark for Decentralized EnforcementFlorian Gallay; Ylies Falcone2022
Runtime Verification for FMI-Based Co-simulationAnastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros2022
TeSSLa - An Ecosystem for Runtime VerificationHannes Kallwies; Martin Leucker; Malte Schmitz; Albert Schulz; Daniel Thoma; Alexander Weiss2022
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024