Items where Author is "Paquet, Joey"

Book Section

Mokhov, Serguei A., Paquet, Joey and Debbabi, Mourad (2010) Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. In: Jha, S. and Sommer, R. and Kreibich, C., (eds.) Recent Advances in Intrusion Detection. Lecture Notes in Computer Science, 6307 . Springer, pp. 508-509. ISBN 978-3-642-15511-6

Conference or Workshop Item

Mokhov, Serguei A., Paquet, Joey and Debbabi, Mourad (2011) Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. In: International ICST Conference on Digital Forensics & Cyber Crime (ICDF2C), October 2011, Dublin, Ireland. (In Press)

Mokhov, Serguei A., Vassev, Emil, Paquet, Joey and Debbabi, Mourad (2010) Towards a Self-Forensics Property in the ASSL Toolset. In: C3S2E 2010, May 19-21, 2010, Montreal, QC, Canada.

Han, Bin, Mokhov, Serguei A. and Paquet, Joey (2009) Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. In: Software Engineering Research and Applications (SERA 2010), Montreal, QC, Canada.

Mokhov, Serguei A. and Paquet, Joey (2008) Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. In: 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2008, Emerging Trends Proceedings, August 2008, Montreal, QC, Canada.