Functional verification
相关论文数: 20
顶级研究者
最高引用论文
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
引用数: 57 • 2011
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
引用数: 45 • 2002
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
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
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
引用数: 23 • 2016
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
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
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 14 • 2014
Coverage-Driven Verification —
Dejanira Araiza-Illan, David Western, Tony Pipe, Kerstin Eder
引用数: 12 • 2015
Static analysis techniques for robotics software verification
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
引用数: 11 • 2013
A containerized ROS-compliant verification environment for robotic systems
Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli
引用数: 8 • 2021
Temporal Verification of Fault-Tolerant Protocols
Michael Fisher, Boris Konev, Alexei Lisitsa
引用数: 6 • 2009
TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
引用数: 5 • 2023
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
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
Formal Performance Guarantees for Behavior-Based Localization Missions
Damian M. Lyons, Ronald C. Arkin, Shengyuan Jiang, Matthew J O’Brien, Fan Tang, Peng Tang
引用数: 3 • 2016
A Formal Verification Approach for Robotic Workflows
Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael Hofbaur
引用数: 3 • 2021