ROSMonitoring: A Runtime Verification Framework for ROS

[1]  Ronen I. Brafman,et al.  Performance level profiles: A formal language for describing the expected performance of functional modules , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[2]  Angelo Ferrando,et al.  Verifying and Validating Autonomous Systems: Towards an Integrated Approach , 2018, RV.

[3]  Angelo Ferrando,et al.  Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches , 2018 .

[4]  Grigore Rosu,et al.  Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation , 2003, RV@CAV.

[5]  Kjeld Jensen,et al.  Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots , 2014, SIMPAR.

[6]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[7]  Angelo Ferrando,et al.  The early bird catches the worm: First verify, then monitor! , 2019, Sci. Comput. Program..

[8]  Martin Leucker,et al.  Monitoring of Real-Time Properties , 2006, FSTTCS.

[9]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[10]  Klaus Havelund,et al.  Model Checking Programs , 2004, Automated Software Engineering.

[11]  Yi Zhang,et al.  ROSRV: Runtime Verification for Robots , 2014, RV.

[12]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[13]  Thierry Jéron,et al.  Predictive runtime verification of timed properties , 2017, J. Syst. Softw..