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
Larva -safer monitoring of real-time java programs, SEFM, 2009. ,
JML, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ '15, pp.105-106, 2000. ,
DOI : 10.1145/2807426.2817926
The Spec# Programming System: Challenges and Directions, VSTTE, ser. LNCS, pp.144-152, 2005. ,
DOI : 10.1007/978-3-540-31984-9_15
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
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
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
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. ,