v1v2 (latest)

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

29 June 2009

Papers citing "Reasoning About a Simulated Printer Case Investigation with Forensic Lucid"

4 / 4 papers shown

Title
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY Serguei A. Mokhov J. Paquet M. Debbabi 33 9 0 28 Sep 2010
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid Aihua Wu J. Paquet Serguei A. Mokhov VLM 78 16 0 03 Sep 2009
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid Serguei A. Mokhov J. Paquet M. Debbabi 102 8 0 30 May 2009
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle Serguei A. Mokhov J. Paquet 56 14 0 24 Apr 2009