24 citations · 112 across the 16 of their papers we have counts for
16 papers
Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS
Serguei A. Mokhov, Miao Song, Jashanjot Singh +3
Visualization requirements in Forensic Lucid have to do with different levels of case knowledge abstraction, representation, aggregation, as well as the operational aspects as the…
Fast Context-Annotated Classification of Different Types of Web Service Descriptions
Serguei A. Mokhov, Joey Paquet, Arash Khodadadi
In the recent rapid growth of web services, IoT, and cloud computing, many web services and APIs appeared on the web. With the failure of global UDDI registries, different service…
An Interactive Graph-Based Automation Assistant: A Case Study to Manage the GIPSY's Distributed Multi-tier Run-Time System
Sleiman Rabah, Serguei A. Mokhov, Joey Paquet
The GIPSY system provides a framework for a distributed multi-tier demand-driven evaluation of heterogeneous programs, in which certain tiers can generate demands, while others can…
MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi +1
We present a second iteration of a machine learning approach to static code analysis and fingerprinting for weaknesses related to security, software engineering, and others using t…
Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing
Joey Paquet, Serguei A. Mokhov
This work is multifold. We review the historical literature on the Lucid programming language, its dialects, intensional logic, intensional programming, the implementing systems, a…
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY
Yi Ji, Serguei A. Mokhov, Joey Paquet
In this paper we report on our re-engineering effort to refactor and unify two somewhat disjoint Java distributed middleware technologies -- Jini and JMS -- used in the implementat…
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify an…
Comparative Studies of Programming Languages; Course Lecture Notes
Joey Paquet, Serguei A. Mokhov
Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering a…
Complete Context Calculus Design and Implementation in GIPSY
Xin Tong, Joey Paquet, Serguei A. Mokhov
This paper presents the integration into the GIPSY of Lucx's context calculus defined in Wan's PhD thesis. We start by defining different types of tag sets, then we explain the con…
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
Aihua Wu, Joey Paquet, Serguei A. Mokhov
This article introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the lat…
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment
Bin Han, Serguei A. Mokhov, Joey Paquet
We present advances in the software engineering design and implementation of the multi-tier run-time system for the General Intensional Programming System (GIPSY) by further unifyi…
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
Serguei A. Mokhov, Joey Paquet
We describe a type system for a platform called the General Intensional Programming System (GIPSY), designed to support intensional programming languages built upon intensional log…
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
Serguei A. Mokhov, Joey Paquet
The General Intensional Programming System (GIPSY) has been built around the Lucid family of intensional programming languages that rely on the higher-order intensional logic (HOIL…
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming la…
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
Serguei A. Mokhov, Joey Paquet, Mourad Debbabi
This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata appro…
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
Serguei A. Mokhov, Joey Paquet
A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecess…