Items where Author is "Mokhov, Serguei A."

Mokhov, Serguei A. (2013) Intensional Cyberforensics. PhD thesis, Concordia University.

Mokhov, Serguei A. (2012) Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid. In: Lecture: Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid, May 8, 2012, East Main Building 10-101, Department of Computer Science and Technology, Tsinghua University, Beijing, China.

Mokhov, Serguei A. (2011) The use of machine learning with signal- and NLP processing of source code to fingerprint, detect, and classify vulnerabilities and weaknesses with MARFCAT. Technical Report. NIST, Gaithersburg, MD.

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)

Assels, Michael John, Echtner, Dana, Spanner, Michael, Mokhov, Serguei A., Carrière, François and Taveroff, Manny (2011) Multifaceted Faculty Network Design and Management: Practice and Experience Report. Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering (C3S2E '11). 2011, ACM, New York, NY, USA, . pp. 151-155.

Mokhov, Serguei A. (2011) MARFCAT 0.0.1 Alpha 3 Application and its Input Data Files for Machine Learning of CVE and CWE Entries. [Dataset]

Mokhov, Serguei A. (2010) MARF: Modular Audio Recognition Framework (in French). In: 78e Congrès de l'Acfas, May 10-14, 2010, Université de Montréal, HEC Montréal, École Polythechnique. (Unpublished)

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.

Vassev, Emil and Mokhov, Serguei A. (2010) Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. Transactions on Computational Science, Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, LNCS (7050). pp. 130-157. (In Press)

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

Mokhov, Serguei A. (2009) Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions. In: Sobh, T and Elleithy, K. and Mahmood, A., (eds.) Novel Algorithms and Techniques in Telecommunications and Networking. Springer, pp. 413-416. ISBN 978-90-481-3662-9

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.

Song, Miao, Mokhov, Serguei A. and Grogono, Peter (2009) Designing an Interactive OpenGL Slide-Based Presentation of the Softbody Simulation System for Teaching and Learning of Computer Graphics Techniques. In: C* Conference on Computer Science and Software Engineering (C3S2E) 2009, May 19-21, 2009, Montreal, QC, Canada.

Mokhov, Serguei A. (2008) Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. In: International Symposium on Parallel and Distributed Computing (ISPDC), July 1-5, 2008, Krakow, Poland.

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.

Mokhov, Serguei A., Laverdière, Marc-André and Benredjem, Djamel (2008) Taxonomy of Linux Kernel Vulnerability Solutions. In: International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), December 2007.

Subzwari, Khawer, Mokhov, Serguei A., Khalid, Outlioua, Gonzalez, Alex and Kadiri, Mutair M. (2006) TRIZ: A Theory of Inventive Problem Solving. In: INSE6240 Winter 2006. (Unpublished)

Mokhov, Serguei A. (2005) Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY. Masters thesis, Concordia University.

Mokhov, Serguei A. (2005) Towards hybrid intensional programming with jlucid, objective lucid, and general imperative compiler framework in the gipsy. Masters thesis, Concordia University.

Vo, Thao, St-Pierre, Armand and Mokhov, Serguei A. (2003) SQL*Plus Sous Oracle: Notions et Applications de Base: Une Approche Pédagogique. Editions Marie-France Limitee, Montreal, QC, Canada. ISBN 9782891686204