S. Adam, M. Larsen, K. Jensen, and U. P. Schultz, Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots, Journal Of Software Engineering In Robotics, vol.7, issue.1, p.2016
DOI : 10.1007/978-3-319-11900-7_18

A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

N. Delgado, A. Q. Gates, and S. Roach, A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Transactions on Software Engineering, vol.30, issue.12, pp.859-872, 2004.
DOI : 10.1109/TSE.2004.91

Y. Falcone, J. Fernandez, and L. Mounier, What can you verify and enforce at runtime?, International Journal on Software Tools for Technology Transfer, vol.3, issue.1, pp.349-382, 2012.
DOI : 10.1145/353323.353382
URL : https://hal.archives-ouvertes.fr/hal-00497350

J. Fox and S. Das, Safe and sound -Artificial Intelligence in Hazardous Applications, 2000.

J. Guiochet, Hazard analysis of human???robot interactions with HAZOP???UML, Safety Science, vol.84, 2016.
DOI : 10.1016/j.ssci.2015.12.017
URL : https://hal.archives-ouvertes.fr/hal-01271565

S. Haddadin, M. Suppa, S. Fuchs, T. Bodenmüller, A. Albu-schäffer et al., Towards the robotic co-worker, The 14th International Symposium on Robotics Research (ISRR2011), 2011.
DOI : 10.1007/978-3-642-40308-8_8
URL : http://www.robotic.de/fileadmin/robotic/haddadin/haddadin_et_al_isrr2009.pdf

J. Huang, C. Erdogan, Y. Zhang, B. Moore, Q. Luo et al., ROSRV: Runtime Verification for Robots, Runtime Verification, 2014.
DOI : 10.1007/978-3-319-11164-3_20

H. Jiang, S. Elbaum, and C. Detweiler, Inferring and monitoring invariants in robotic systems, Autonomous Robots, vol.53, issue.8, 2017.
DOI : 10.1145/1134285.1134325

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

M. Machin, F. Dufossé, J. Blanquart, and J. Guiochet, Specifying Safety Monitors for Autonomous Systems Using Model-Checking, Computer Safety, Reliability, and Security, p.2014
DOI : 10.1007/978-3-319-10506-2_18
URL : https://hal.archives-ouvertes.fr/hal-01207152

M. Machin, J. Guiochet, T. Guhl, S. Walther, and V. Magnanimo, Saphari d1.3.1. report on safety monitoring framework and safe control strategies, 2015.

M. Machin, G. Jérémie, W. Héì-ene, J. Blanquart, M. Roy et al., Smof -a safety monitoring framework for autonomous systems Man and Cybernetics: Systems Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot, 2017 First IEEE International Conference on Robotic Computing (IRC), 2016.

C. Pace and D. Seward, A safety integrated architecture for an autonomous safety excavator, International Symposium on Automation and Robotics in Construction, 2000.

F. Py and F. Ingrand, Dependable execution control for autonomous robots, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), 2004.
DOI : 10.1109/IROS.2004.1389549
URL : http://www.laas.fr/~felix/download.php/iros04-r2c.pdf

S. Roderick, B. Roberts, E. Atkins, and D. Akin, The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System, IEEE Intelligent Systems, vol.19, issue.5, 2004.
DOI : 10.1109/MIS.2004.53

. Saphari, Safe and Autonomous Physical Human-Aware Robot Interaction Project supported by the European Commission under the 7th Framework Programme, 2011.

R. Woodman, A. F. Winfield, C. Harper, and M. Fraser, Building aafer robots: Safety driven control, International Journal of Robotics Research, issue.13, pp.31-2012
DOI : 10.1177/0278364912459665