Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formal Approach for the Forensic Analysis of Logs., , and . SoMeT, volume 147 of Frontiers in Artificial Intelligence and Applications, page 159-176. IOS Press, (2006)Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité., , , and . Technique et Science Informatiques, 28 (5): 611-644 (2009)Security hardening of open source software., , and . PST, volume 380 of ACM International Conference Proceeding Series, page 43. ACM, (2006)Delay aware measurements gathering in WAMS communication network., , , , and . GlobalSIP, page 1090-1094. IEEE, (2017)A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL., , and . QSIC, page 348-355. IEEE Computer Society, (2007)BinComp: A stratified approach to compiler provenance Attribution., , , , and . Digit. Investig., (2015)A Game Theoretic Approach to Detect Network Intrusions: The Cooperative Intruders Scenario., , , , and . GLOBECOM, IEEE, (2006)Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors., , and . SAC, page 874-878. ACM, (2005)Towards a Formal Semantics for AspectJ Weaving., and . JMLC, volume 4228 of Lecture Notes in Computer Science, page 155-171. Springer, (2006)A Probabilistic Verification Framework for SysML Activity Diagrams., , and . SoMeT, volume 246 of Frontiers in Artificial Intelligence and Applications, page 108-123. IOS Press, (2012)