Software verification
相关论文数: 20
顶级研究者
最高引用论文
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
引用数: 75 • 2017
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
引用数: 45 • 2002
Performance Verification for Behavior-Based Robot Missions
Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal
引用数: 26 • 2015
State/Event Software Verification for Branching-Time Specifications
Sagar Chaki, Edmund M. Clarke, Orna Grümberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
引用数: 25 • 2005
A Combined Testing and Verification Approach for Software Reliability
Natasha Sharygina, Doron Peled
引用数: 25 • 2001
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
Automatic Verification of Autonomous Robot Missions
Matthew O’Brien, Ronald C. Arkin, Dagan Harrington, Damian M. Lyons, Shu Jiang
引用数: 19 • 2014
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
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
引用数: 14 • 2022
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 14 • 2014
Using formal methods for autonomous systems: Five recipes for formal verification
引用数: 13 • 2021
Integrated formal verification of safety-critical software
Ning Ge, Éric Jenn, Nicolas Breton, Yoann Fonteneau
引用数: 13 • 2017
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
Static analysis techniques for robotics software verification
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
引用数: 11 • 2013
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems
Jakub Podivínský, Ondrej Cekan, Jakub Lojda, Zdeněk Kotásek
引用数: 5 • 2016
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines
Vladimir Estivill‐Castro, René Hexel
引用数: 5 • 2016
Reverse Engineering of Middleware for Verification of Robot Control Architectures∗
Ali Khalili, Lorenzo Natale
引用数: 5 • 2016
Runtime Verification with Imperfect Information Through Indistinguishability Relations
Angelo Ferrando, Vadim Malvone
引用数: 4 • 2022
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
Stefan Mitsch, Grant Olney Passmore, André Platzer
引用数: 3 • 2013