default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSerguei A. Mokhov
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c92]Pouria Zahraei, Serguei A. Mokhov, Joey Paquet, Peyman Derafshkavian:
A Kubernetes Underlay for OpenTDIP Forensic Computing Backend. eCrime 2023: 1-10- [c91]Serguei A. Mokhov
, Jonathan Llewellyn, Carlos Alarcon Meza, Tariq Daradkeh, Gillian Roper:
The use of Containers in OpenGL, ML and HPC for Teaching and Research Support. SIGGRAPH Posters 2023: 49:1-49:2 - 2021
- [c90]Sudhir P. Mudur, Serguei A. Mokhov, Yuhao Mao:
A Framework for Enhancing Deep Learning Based Recommender Systems with Knowledge Graphs. IDEAS 2021: 11-20 - [i46]Yuhao Mao, Serguei A. Mokhov, Sudhir P. Mudur:
Application of Knowledge Graphs to Provide Side Information for Improved Recommendation Accuracy. CoRR abs/2101.03054 (2021) - 2020
- [j6]Ahmed Almutairi, Behzad Shoarian Satari, Carlos Rivas, Cristian Florin Stanciu, Mozhdeh Yamani, Zahra Zohoorsaadat, Serguei A. Mokhov:
Evaluation of Autopsy and Volatility for Cybercrime Investigation: A Forensic Lucid Case Study. Int. J. Digit. Crime Forensics 12(1): 58-89 (2020) - [c89]Jyotsana Gupta, Joey Paquet, Serguei A. Mokhov:
Composite Web Services as Dataflow Graphs for Constraint Verification. CLOSER 2020: 282-291 - [c88]Rostislav Axamitnyy, Alexander Aric, Serguei A. Mokhov, Joey Paquet, Sudhir P. Mudur:
OpenISS IoT Camera Simulation Environment for Real-time IoT Forensics and Incident Response. ISNCC 2020: 1-8 - [c87]Peyman Derafshkavian, Simon Huneault-LeBlanc, Sacha Renault-Crispo, Akansha Marwaha, Serguei A. Mokhov, Joey Paquet:
Toward Scalable Demand-Driven JSON-to-Forensic Lucid Encoder in GIPSY. ISNCC 2020: 1-6 - [c86]Serguei A. Mokhov, Jashanjot Singh, Haotao Lai, Konstantinos Psimoulis, Joey Paquet:
OpenISS as a Near-Realtime Composable Broadcast Service for Performing Arts and Beyond. ISNCC 2020: 1-6 - [c85]Jashanjot Singh, Serguei A. Mokhov, Joey Paquet:
Enabling Real-time Gesture Recognition Data Delivery over ROS and OpenISS. ISNCC 2020: 1-6 - [c84]Serguei A. Mokhov, Miao Song, Sudhir P. Mudur, Peter Grogono:
Dataflow VFX Programming and Processing for Artists and OpenISS. SIGGRAPH Labs 2020: 2:1-2:32
2010 – 2019
- 2019
- [c83]Serguei A. Mokhov, Miao Song, Sudhir P. Mudur, Peter Grogono:
Hands-on: rapid interactive application prototyping for media arts and performing arts in illimitable space. SIGGRAPH Studio 2019: 8:1-8:33 - [c82]Serguei A. Mokhov, Deschanel Li, Haotao Lai, Jashanjot Singh, Yiran Shen, Jonathan Llewellyn, Miao Song, Sudhir P. Mudur:
ISSv2 and OpenISS distributed system for real-time interaction for performing arts. SIGGRAPH Posters 2019: 16:1-16:2 - [c81]Serguei A. Mokhov, Miao Song, Sudhir P. Mudur, Peter Grogono:
Dataflow programming and processing for artists and beyond. SIGGRAPH Asia 2019: 134:1-134:33 - 2018
- [j5]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Constraint verification failure recovery in web service composition. Future Gener. Comput. Syst. 89: 387-401 (2018) - [c80]Serguei A. Mokhov, Amandeep Kaur, Mehak Talwar, Keerthana Gudavalli, Miao Song, Sudhir P. Mudur:
Real-time motion capture for performing arts and stage. SIGGRAPH Educator's Forum 2018: 4:1-4:2 - [c79]Zihao Song, Serguei A. Mokhov, Miao Song, Sudhir P. Mudur:
Creative use of signal processing and MARF in ISSv2 and beyond. SIGGRAPH Posters 2018: 4:1-4:2 - [c78]Jashanjot Singh, Haotao Lai, Konstantinos Psimoulis, Paul Palmieri, Inna Atanasova, Yasmine Chiter, Amirali Shirkhodaiekashani, Serguei A. Mokhov:
OpenISS depth camera as a near-realtime broadcast service for performing arts and beyond. SIGGRAPH ASIA Posters 2018: 25:1-25:2 - [i45]Serguei A. Mokhov, Joey Paquet, Arash Khodadadi:
Fast Context-Annotated Classification of Different Types of Web Service Descriptions. CoRR abs/1806.02374 (2018) - [i44]Serguei A. Mokhov, Miao Song, Jashanjot Singh, Joey Paquet, Mourad Debbabi, Sudhir P. Mudur:
Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS. CoRR abs/1808.00118 (2018) - 2017
- [c77]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Constraint Adaptation in Web Service Composition. SCC 2017: 156-163 - [c76]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Predictive Failure Recovery in Constraint-aware Web Service Composition. CLOSER 2017: 213-224 - [c75]Serguei A. Mokhov, Miao Song, Amandeep Kaur, Mehak Talwar, Keerthana Gudavalli, Sudhir P. Mudur:
Managing Data and Artifacts between Software Engineers and Artists: an ISSv2 Case Study. IDEAS 2017: 6-13 - [c74]Serguei A. Mokhov, Miao Song, Sudhir P. Mudur, Peter Grogono:
Hands-on: rapid interactive application prototyping for media arts and stage performance. SIGGRAPH Studio 2017: 3:1-3:29 - 2016
- [j4]Serguei A. Mokhov, Miao Song, Satish Chilkaka, Zinia Das, Jie Zhang, Jonathan Llewellyn, Sudhir P. Mudur:
Agile Forward-Reverse Requirements Elicitation as a Creative Design Process: A Case Study of Illimitable Space System v2. J. Integr. Des. Process. Sci. 20(3): 3-37 (2016) - [j3]Amine Boukhtouta, Serguei A. Mokhov, Nour-Eddine Lakhdari, Mourad Debbabi, Joey Paquet:
Network malware classification comparison using DPI and flow packet headers. J. Comput. Virol. Hacking Tech. 12(2): 69-100 (2016) - [c73]Touraj Laleh, Esteban Garro, Jashanjot Singh, Gurpreet Raju, Muhammad Usman, Serguei A. Mokhov, Joey Paquet:
Demand-Driven SOA Simulation Platform Based on GIPSY for Context-Based Brokerage. ICSOC Workshops 2016: 169-173 - [c72]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Efficient Constraint Verification in Service Composition Design and Execution (Short Paper). OTM Conferences 2016: 445-455 - [c71]Sebouh-Steve Bardakjian, Serguei A. Mokhov, Miao Song, Sudhir P. Mudur:
ISSv3: from human motion in the real to the interactive documentary film in AR/VR. SIGGRAPH ASIA Virtual Reality meets Physical Reality 2016: 1:1-1:5 - [c70]Miao Song, Serguei A. Mokhov, Sudhir P. Mudur, Peter Grogono:
Hands-on: rapid interactive application prototyping for media arts and stage production. SIGGRAPH ASIA Courses 2016: 19:1-19:29 - [c69]Serguei A. Mokhov, Miao Song, Jonathan Llewellyn, Jie Zhang, Alexander Charette, Ruofan Wu, Shuiying Ge:
Real-time collection and analysis of 3-Kinect v2 skeleton data in a single application. SIGGRAPH Posters 2016: 53:1-53:2 - [i43]Serguei A. Mokhov, Lee Wei Huynh, Jian Li, Farid Rassai:
A Java Data Security Framework (JDSF) and its Case Studies. CoRR abs/1604.00025 (2016) - 2015
- [c68]Touraj Laleh, Serguei A. Mokhov, Joey Paquet, Yuhong Yan:
Context-Aware Cloud Service Brokerage: A Solution to the Problem of Data Integration Among SaaS Providers. C3S2E 2015: 46-55 - [c67]Serguei A. Mokhov:
A MARFCLEF Approach to LifeCLEF 2015 Tasks. CLEF (Working Notes) 2015 - [c66]Miao Song, Serguei A. Mokhov, Sudhir P. Mudur:
Course: Rapid advanced multimodal multi-device interactive application prototyping with Max/Jitter, processing, and OpenGL. GEM 2015: 1-2 - [c65]Miao Song, Serguei A. Mokhov, Sudhir P. Mudur, Jean-Claude Bustros:
Demo: Towards historical sightseeing with an augmented reality interactive documentary app. GEM 2015: 1-2 - [c64]Miao Song, Serguei A. Mokhov, Jilson Thomas, Sudhir P. Mudur:
Applications of the Illimitable Space System in the context of media technology and on-stage performance: A collaborative interdisciplinary experience. GEM 2015: 1-8 - [c63]Miao Song, Serguei A. Mokhov, Jilson Thomas, Sudhir P. Mudur:
Demo: Spatial UI experience and projection mapping on stage with ISSv2. GEM 2015: 1-2 - [c62]Miao Song, Serguei A. Mokhov, Peter Grogono, Sudhir P. Mudur:
HCI in performance arts and the case of Illimitable Space System's multimodal interaction and visualization. SIGGRAPH Asia Art Papers 2015: 8:1-8:11 - [c61]Miao Song, Serguei A. Mokhov, Jilson Thomas, Sudhir P. Mudur:
A case study of the Illimitable Space System v2 and projection mapping. SIGGRAPH Asia Posters 2015: 10:1 - [c60]Miao Song, Serguei A. Mokhov, Sudhir P. Mudur, Peter Grogono:
Rapid interactive real-time application prototyping for media arts and stage performance. SIGGRAPH Asia Courses 2015: 14:1-14:11 - [c59]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
MARFCAT: Fast code analysis for defects and vulnerabilities. SWAN@SANER 2015: 35-38 - 2014
- [j2]Caleb Charland, Matthias Dörfelt, Janet Echelman, Aaron Koblin, Miao Song, Serguei A. Mokhov, Peter Grogono:
Demo hour. Interactions 21(4): 8-11 (2014) - [c58]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities. Canadian AI 2014: 326-332 - [c57]Touraj Laleh, Arash Khodadadi, Serguei A. Mokhov, Joey Paquet, Yuhong Yan:
Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service Composition. C3S2E 2014: 23:1-23:6 - [c56]Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi:
Toward Automated MAC Spoofer Investigations. C3S2E 2014: 27:1-27:6 - [c55]Miao Song, Serguei A. Mokhov, Peter Grogono:
A brief technical note on haptic jellyfish with falcon and openGL. CHI Extended Abstracts 2014: 1525-1530 - [c54]Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi:
Automating MAC Spoofer Evidence Gathering and Encoding for Investigations. FPS 2014: 168-183 - [c53]Miao Song, Peter Grogono, Serguei A. Mokhov, Wang Song, Maureen J. Simmonds:
Innovative medical applications and beyond of 3D techniques in a responsive virtual reality lab: experience report. PETRA 2014: 18:1-18:4 - [c52]Miao Song, Serguei A. Mokhov, Peter Grogono, Sudhir P. Mudur:
Illimitable Space System as a multimodal interactive artists' toolbox for real-time performance. SIGGRAPH ASIA Designing Tools For Crafting Interactive Artifacts 2014: 2:1-2:4 - [c51]Miao Song, Serguei A. Mokhov, Peter Grogono, Sudhir P. Mudur:
On a non-web-based multimodal interactive documentary production. VSMM 2014: 329-336 - 2013
- [c50]Amine Boukhtouta, Nour-Eddine Lakhdari, Serguei A. Mokhov, Mourad Debbabi:
Towards Fingerprinting Malicious Traffic. ANT/SEIT 2013: 548-555 - [c49]Sleiman Rabah, Serguei A. Mokhov, Joey Paquet:
An interactive graph-based automation assistant: a case study to manage the GIPSY's distributed multi-tier run-time system. RACS 2013: 387-394 - [i42]Serguei A. Mokhov:
Intensional Cyberforensics. CoRR abs/1312.0466 (2013) - 2012
- [j1]Emil Vassev, Serguei A. Mokhov:
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. Trans. Comput. Sci. 15: 130-157 (2012) - [c48]Yi Ji, Serguei A. Mokhov, Joey Paquet:
Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY. C3S2E 2012: 36-44 - [i41]Serguei A. Mokhov, Yankui Sun:
OCT Segmentation Survey and Summary Reviews and a Novel 3D Segmentation Algorithm and a Proof of Concept Implementation. CoRR abs/1204.6725 (2012) - [i40]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun:
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV. CoRR abs/1207.3718 (2012) - [i39]Sleiman Rabah, Serguei A. Mokhov, Joey Paquet:
An Interactive Graph-Based Automation Assistant: A Case Study to Manage the GIPSY's Distributed Multi-tier Run-Time System. CoRR abs/1212.4123 (2012) - 2011
- [c47]Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff:
Multifaceted faculty network design and management: practice and experience. C3S2E 2011: 151-155 - [c46]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ICDF2C 2011: 282-296 - [c45]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. PST 2011: 120-123 - [i38]Serguei A. Mokhov, Marc-André Laverdière, Nader Hatami, Ali Benssam:
Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of Classical Ciphers. CoRR abs/1101.1075 (2011) - [i37]Elizaveta Eidelman, Serguei A. Mokhov:
Alchymical Mirror: Real-time Interactive Sound- and Simple Motion-Tracking Set of Jitter/Max/MSP Patches. CoRR abs/1101.2219 (2011) - [i36]Serguei A. Mokhov, Marc-André Laverdière, Ali Benssam, Djamel Benredjem:
A Secure Web-Based File Exchange Server: Software Requirements Specification Document. CoRR abs/1101.4632 (2011) - [i35]Serguei A. Mokhov, Marc-André Laverdière, Ali Benssam, Djamel Benredjem:
Design and Implementation of a Secure Web-Based File Exchange Server: Specification Design Document. CoRR abs/1101.4640 (2011) - [i34]Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff:
Multifaceted Faculty Network Design and Management: Practice and Experience Report. CoRR abs/1103.5433 (2011) - [i33]Joey Paquet, Serguei A. Mokhov:
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing. CoRR abs/1107.0940 (2011) - [i32]Emil Vassev, Serguei A. Mokhov:
Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. CoRR abs/1112.3972 (2011) - 2010
- [b2]Serguei A. Mokhov:
Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF. LAP Lambert Academic Publishing , Germany 2010, ISBN 978-3838311982 - [c44]Serguei A. Mokhov, Joey Paquet:
A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY. ACIS-ICIS 2010: 921-928 - [c43]Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi:
Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113 - [c42]Serguei A. Mokhov:
Evolution of MARF and its NLP framework. C3S2E 2010: 118-122 - [c41]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. RAID 2010: 508-509 - [c40]Emil Vassev, Serguei A. Mokhov:
Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. SERA (selected papers) 2010: 1-15 - [c39]Serguei A. Mokhov, Joey Paquet:
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions. SERA 2010: 101-109 - [c38]Aihua Wu, Joey Paquet, Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. SERA 2010: 158-167 - [c37]Bin Han, Serguei A. Mokhov, Joey Paquet:
Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. SERA 2010: 259-266 - [c36]Serguei A. Mokhov:
Cryptolysis: A Framework for Verification of Optimization Heuristics for the Automated Cryptanalysis of Classical Ciphers and Natural Language Word Segmentation. SERA 2010: 295-302 - [i31]Serguei A. Mokhov:
On Event Structure in the Torn Dress. CoRR abs/1002.0904 (2010) - [i30]Frank Rudzicz, Serguei A. Mokhov:
Towards a Heuristic Categorization of Prepositional Phrases in English with WordNet. CoRR abs/1002.1095 (2010) - [i29]Xin Tong, Joey Paquet, Serguei A. Mokhov:
Complete Context Calculus Design and Implementation in GIPSY. CoRR abs/1002.4392 (2010) - [i28]Serguei A. Mokhov, Mashrur Mia, Petr Solodov, Kai Zhao, Jihed Halimi:
A UI Design Case Study and a Prototype of a Travel Search Engine. CoRR abs/1005.2072 (2010) - [i27]Serguei A. Mokhov:
Contents of COMP5541 Winter 2010 Final UUIS SRS and SDD Reports. CoRR abs/1006.3259 (2010) - [i26]Serguei A. Mokhov:
Complete Complimentary Results Report of the MARF's NLP Approach to the DEFT 2010 Competition. CoRR abs/1006.3787 (2010) - [i25]Joey Paquet, Serguei A. Mokhov:
Comparative Studies of Programming Languages; Course Lecture Notes. CoRR abs/1007.2123 (2010) - [i24]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY. CoRR abs/1009.5423 (2010) - [i23]Serguei A. Mokhov:
The use of machine learning with signal- and NLP processing of source code to detect and classify vulnerabilities and weaknesses with MARFCAT. CoRR abs/1010.2511 (2010) - [i22]Yi Ji, Serguei A. Mokhov, Joey Paquet:
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY. CoRR abs/1012.2860 (2010) - [i21]Serguei A. Mokhov:
Contents of COMP6411 Summer 2011 Final Reports on Comparative Studies of Programming Languages. CoRR abs/1012.5494 (2010)
2000 – 2009
- 2009
- [c35]Serguei A. Mokhov, Joey Paquet, Xin Tong:
A type system for hybrid intensional-imperative programming support in GIPSY. C3S2E 2009: 101-107 - [c34]Emil Vassev, Serguei A. Mokhov:
An ASSL-generated architecture for autonomic systems. C3S2E 2009: 121-126 - [c33]Miao Song, Serguei A. Mokhov, Peter Grogono:
Designing an interactive OpenGL slide-based presentation of the softbody simulation system for teaching and learning of computer graphics techniques. C3S2E 2009: 131-136 - [c32]Serguei A. Mokhov, Emil Vassev:
Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E 2009: 175-183 - [c31]Serguei A. Mokhov, Miao Song, Ching Y. Suen:
Writer Identification Using Inexpensive Signal Processing Techniques. SCSS 2009: 437-441 - [c30]Miao Song, Serguei A. Mokhov, Peter Grogono:
Teaching Physical Based Animation via OpenGL Slides. SCSS 2009: 483-488 - [c29]Serguei A. Mokhov, Miao Song:
OpenGL Project Presentation Slides Interface and a Case Study. GRAPP 2009: 409-412 - [c28]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). HSC 2009: 45 - [c27]Serguei A. Mokhov, Emil Vassev:
Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract). HSC 2009: 46 - [c26]Serguei A. Mokhov, Miao Song:
Simulating "Visual" Writer Identification of Hand-Written Documents Using Inexpensive Signal Processing Techniques (abstract). HSC 2009: 47 - [c25]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333 - [c24]Serguei A. Mokhov:
The Role of Self-Forensics Modeling for Vehicle Crash Investigations and Event Reconstruction Simulation. HSC 2009: 334-341 - [c23]Serguei A. Mokhov, Emil Vassev:
Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge. HSC 2009: 342-349 - [c22]Emil Vassev, Serguei A. Mokhov:
Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335 - [c21]Serguei A. Mokhov, Emil Vassev:
Self-Forensics Through Case Studies of Small-to-Medium Software Systems. IMF 2009: 128-141 - [c20]Serguei A. Mokhov, Jian Li, Lingyu Wang:
Simple Dynamic Key Management in SQL Randomization. NTMS 2009: 1-5 - [c19]Miao Song, Serguei A. Mokhov, Alison R. Loader, Maureen J. Simmonds:
A stereoscopic OpenGL-based interactive plug-in framework for Maya and beyond. VRCAI 2009: 363-368 - [i20]Serguei A. Mokhov, Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. CoRR abs/0904.3789 (2009) - [i19]Serguei A. Mokhov, Stephen Sinclair, Ian Clément, Dimitrios Nicolacopoulos:
The Modular Audio Recognition Framework (MARF) and its Applications: Scientific and Software Engineering Notes. CoRR abs/0905.1235 (2009) - [i18]Serguei A. Mokhov:
The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction. CoRR abs/0905.2449 (2009) - [i17]Serguei A. Mokhov:
On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document. CoRR abs/0905.2459 (2009) - [i16]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. CoRR abs/0906.0049 (2009) - [i15]Serguei A. Mokhov, Lee Wei Huynh, Jian Li:
Managing Distributed MARF with SNMP. CoRR abs/0906.0065 (2009) - [i14]Serguei A. Mokhov:
Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics. CoRR abs/0906.1845 (2009) - [i13]Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa, Djamel Benredjem:
Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Software Requirements Specification Document. CoRR abs/0906.2446 (2009) - [i12]Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa, Djamel Benredjem:
Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Specification Design Document. CoRR abs/0906.2447 (2009) - [i11]Marc-André Laverdière, Serguei A. Mokhov, Djamel Benredjem:
On Implementation of a Safer C Library, ISO/IEC TR 24731. CoRR abs/0906.2512 (2009) - [i10]