Runtime verification
相关论文数: 20
顶级研究者
最高引用论文
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
引用数: 75 • 2017
Living with Uncertainty in the Age of Runtime Models
Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke
引用数: 65 • 2014
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
引用数: 57 • 2011
ROSMonitoring: A Runtime Verification Framework for ROS
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
引用数: 49 • 2020
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
引用数: 44 • 2013
From Offline Towards Real-Time Verification for Robot Systems
Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
引用数: 38 • 2018
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
引用数: 32 • 2020
Simulation-verification: biting at the state explosion problem
Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
引用数: 32 • 2001
Three-valued asynchronous distributed runtime verification
Torben Scheffel, Malte Schmitz
引用数: 25 • 2014
A Review of Verification and Validation for Space Autonomous Systems
Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, Matt Webster
引用数: 24 • 2021
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Tony Pipe, Kerstin Eder
引用数: 20 • 2015
R2U2: Tool Overview
Kristin Yvonne Rozier, Johann Schumann
引用数: 19 • 2018
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
引用数: 16 • 2020
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 15 • 2014
Fully automated runtime enforcement of component-based systems with formal and sound recovery
Ylìès Falcone, Mohamad Jaber
引用数: 14 • 2016
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
引用数: 14 • 2021
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 14 • 2014
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
引用数: 14 • 2022
Runtime Verification for Anomaly Detection of Robotic Systems Security
Yunus Sabri Kırca, Elif Değirmenci, Zekeriyya Demirci, Ahmet Yazıcı, Metin Özkan, Salih Ergün, Alper Kanak
引用数: 13 • 2023
A formal toolchain for offline and run-time verification of robotic systems
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
引用数: 13 • 2022