P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Ro¸suro¸su, An overview of the MOP runtime verification framework, International Journal on Software Tools for Technology Transfer, vol.11, issue.6, 2011.
DOI : 10.1007/s10009-011-0198-6

C. Colombo, G. J. Pace, and G. Schneider, Larva -safer monitoring of real-time java programs, SEFM, 2009.

G. T. Leavens, K. R. Leino, E. Poll, C. Ruby, and B. Jacobs, JML, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ '15, pp.105-106, 2000.
DOI : 10.1145/2807426.2817926

M. Barnett, R. Deline, M. Fähndrich, B. Jacobs, K. R. Leino et al., The Spec# Programming System: Challenges and Directions, VSTTE, ser. LNCS, pp.144-152, 2005.
DOI : 10.1007/978-3-540-31984-9_15

C. Simache, M. Kaaniche, and A. Saidane, Event log based dependability analysis of Windows NT and 2K systems, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings., pp.311-315, 2002.
DOI : 10.1109/PRDC.2002.1185651

H. R. Nezhad, R. Saint-paul, F. Casati, and B. Benatallah, Event correlation for process discovery from web service interaction logs, The VLDB Journal, vol.47, issue.2, pp.417-444, 2011.
DOI : 10.1007/s00778-010-0203-9

S. Frénot and J. Ponge, LogOS: An Automatic Logging Framework for Service-Oriented Architectures, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, p.p. to appear, 2012.
DOI : 10.1109/SEAA.2012.37

P. England, Practical Techniques for Operating System Attestation , " in 1st international conference on Trusted Computing and Trust in Information Technologies, ser. Trust '08, pp.1-13, 2008.