Verification
相关论文数: 9
顶级研究者
最高引用论文
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
引用数: 57 • 2011
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
Collaborative Verification-Driven Engineering of Hybrid Systems
引用数: 15 • 2014
Formal development process of safety-critical embedded human machine interface systems
Ning Ge, Arnaud Dieumegard, Éric Jenn, Bruno daAusbourg, Yamine Aït‐Ameur
引用数: 8 • 2017
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
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
A Formal Verification Approach for Robotic Workflows
Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael Hofbaur
引用数: 3 • 2021
Runtime Verification on Robotics Systems
Zhijiang Dong, Yujian Fu, Yue Fu
引用数: 3 • 2015