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, 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, 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, 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, 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.

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, 2009.
DOI : 10.1016/j.jlap.2008.08.004

J. Ligatti, L. Bauer, and D. Walker, Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2, 2005.
DOI : 10.1145/325694.325728
URL : http://www.cs.princeton.edu/~jligatti/papers/TR-681-03.pdf

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, G. Jérémie, W. Héì-ene, J. Blanquart, M. Roy et al., SMOF: A Safety Monitoring Framework for Autonomous Systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016.
DOI : 10.1109/TSMC.2016.2633291
URL : https://hal.archives-ouvertes.fr/hal-01394139

F. Martinelli, I. Matteucci, and C. Morisset, From Qualitative to Quantitative Enforcement of Security Policy, Mathematical Methods, Models and Architecture for Computer Network Security, 2012.
DOI : 10.1007/978-3-642-33704-8_3

L. Masson, J. Guiochet, H. Waeselynck, A. Desfosses, and M. Laval, Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot, 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
DOI : 10.1109/IRC.2017.11
URL : https://hal.archives-ouvertes.fr/hal-01465734

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

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, 2012.
DOI : 10.1177/0278364912459665
URL : http://eprints.uwe.ac.uk/17435/1/Woodman_etal_IJRR_BuildingSaferRobots_finaldraft.pdf