The GIPSY Architecture. - Joey Paquet; Peter G. Kropf (DCW, 2000)

Intensional Programming for Agent Communication. - Vasu S. Alagar; Joey Paquet; Kaiyu Wan (DALT, 2004)

Real Time Reactive Programming in Lucid Enriched with Contexts. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (ICTAC, 2004)

Towards a framework for the general intensional programming compiler in the GIPSY. - Joey Paquet; Aihua Wu 001; Peter Grogono (OOPSLA Companion, 2004)

A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. - Emil Vassev; Joey Paquet (CNSR, 2005)

An Architecture for Developing Context-aware Systems. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (MRC@IJCAI, 2005)

Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. - Peter Grogono; Serguei A. Mokhov; Joey Paquet (PLC, 2005)

Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. - Serguei A. Mokhov; Joey Paquet (PLC, 2005)

General Imperative Compiler Framework within the GIPSY. - Serguei A. Mokhov; Joey Paquet (PLC, 2005)

GIPSY - A Platform for the Investigation on Intensional Programming Languages. - Joey Paquet; Aihua Wu 001 (PLC, 2005)

A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. - Emil Vassev; Joey Paquet (PLC, 2005)

Lucx: Lucid Enriched with Context. - Kaiyu Wan; Vasu S. Alagar; Joey Paquet (PLC, 2005)

Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations. - Aihua Wu 001; Joey Paquet (PLC, 2005)

Reactive, distributed and autonomic computing aspects of AS-TRM. - Emil Vassev; Heng Kuang; Olga Ormandjieva; Joey Paquet (ICSOFT (1), 2006)

Evaluation Issues in Generic Programming with Inheritance and Templates in C++. - Emil Vassev; Joey Paquet (Software Engineering Research and Practice, 2006)

Aspects of Memory Management in Java and C++. - Emil Vassev; Joey Paquet (Software Engineering Research and Practice, 2006)

Testing Intrusion Detection Systems in MANET: A Comprehensive Study. - Hadi Otrok; Joey Paquet; Mourad Debbabi; Prabir Bhattacharya (CNSR, 2007)

Towards an Autonomic Element Architecture for ASSL. - Emil Vassev; Joey Paquet (SEAMS, 2007)

Assl Specification of Reliability Self-Assessment in the As-Trm. - Emil Vassev; Olga Ormandjieva; Joey Paquet (ICSOFT (SE), 2007)

Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. - Amir Hossein Pourteymour; Emil Vassev; Joey Paquet (PDPTA, 2007)

ASSL - Autonomic System Specification Language. - Emil Vassev; Joey Paquet (SEW, 2007)

Design and Implementation of Context Calculus in the GIPSY Environment. - Joey Paquet; Serguei A. Mokhov; Xin Tong 002 (COMPSAC, 2008)

Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (IMF, 2008)

Design and Implementation of Demand Migration Systems in GIPSY. - Amir Hossein Pourteymour; Emil Vassev; Joey Paquet (PDPTA, 2008)

Towards an ASSL specification model for NASA swarm-based exploration missions. - Emil Vassev; Mike Hinchey; Joey Paquet (SAC, 2008)

A type system for hybrid intensional-imperative programming support in GIPSY. - Serguei A. Mokhov; Joey Paquet; Xin Tong 002 (C3S2E, 2009)

Distributed Eductive Execution of Hybrid Intensional Programs. - Joey Paquet (COMPSAC (2), 2009)

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (HSC, 2009)

Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (HSC, 2009)

Investigations using the rational unified process (RUP) diagrams for software process modeling. - Roxana-Elena Tudoroiu; Vladimir Cretu; Joey Paquet (IMCSIT, 2009)

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle - Serguei A. Mokhov; Joey Paquet (CoRR, 2009)

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 (CoRR, 2009)

Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment - Bin Han 002; Serguei A. Mokhov; Joey Paquet (CoRR, 2009)

Reasoning About an ACME Printer Case Investigation with Forensic Lucid - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (CoRR, 2009)

Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid - Aihua Wu 001; Joey Paquet; Serguei A. Mokhov (CoRR, 2009)

A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY. - Serguei A. Mokhov; Joey Paquet (ACIS-ICIS, 2010)

Towards a self-forensics property in the ASSL toolset. - Serguei A. Mokhov; Emil Vassev; Joey Paquet; Mourad Debbabi (C3S2E, 2010)

Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (RAID, 2010)

Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. - Bin Han 002; Serguei A. Mokhov; Joey Paquet (SERA, 2010)

Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions. - Serguei A. Mokhov; Joey Paquet (SERA, 2010)

Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. - Aihua Wu 001; Joey Paquet; Serguei A. Mokhov (SERA, 2010)

Complete Context Calculus Design and Implementation in GIPSY - Xin Tong 002; Joey Paquet; Serguei A. Mokhov (CoRR, 2010)

Comparative Studies of Programming Languages; Course Lecture Notes - Joey Paquet; Serguei A. Mokhov (CoRR, 2010)

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 (CoRR, 2010)

Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY - Yi Ji 002; Serguei A. Mokhov; Joey Paquet (CoRR, 2010)

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (ICDF2C, 2011)

On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (PST, 2011)

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 (CoRR, 2011)

Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY. - Yi Ji 002; Serguei A. Mokhov; Joey Paquet (C3S2E, 2012)

MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi; Yankui Sun (CoRR, 2012)

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 (RACS, 2013)

A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. - May El Barachi; Sleiman Rabah; Nadjia Kara; Rachida Dssouli; Joey Paquet (WCNC, 2013)

The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (Canadian AI, 2014)

Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service Composition. - Touraj Laleh; Arash Khodadadi; Serguei A. Mokhov; Joey Paquet; Yuhong Yan (C3S2E, 2014)

Toward Automated MAC Spoofer Investigations. - Serguei A. Mokhov; Michael J. Assels; Joey Paquet; Mourad Debbabi (C3S2E, 2014)

Automating MAC Spoofer Evidence Gathering and Encoding for Investigations. - Serguei A. Mokhov; Michael J. Assels; Joey Paquet; Mourad Debbabi (FPS, 2014)

Context-Aware Cloud Service Brokerage: A Solution to the Problem of Data Integration Among SaaS Providers. - Touraj Laleh; Serguei A. Mokhov; Joey Paquet; Yuhong Yan (C3S2E, 2015)

MARFCAT: Fast code analysis for defects and vulnerabilities. - Serguei A. Mokhov; Joey Paquet; Mourad Debbabi (SWAN@SANER, 2015)

A service oriented broker-based approach for dynamic resource discovery in virtual networks. - Sleiman Rabah; May El Barachi; Nadjia Kara; Rachida Dssouli; Joey Paquet (J. Cloud Comput., 2015)

Demand-Driven SOA Simulation Platform Based on GIPSY for Context-Based Brokerage. - Touraj Laleh; Esteban Garro; Jashanjot Singh; Gurpreet Raju; Muhammad Usman; Serguei A. Mokhov; Joey Paquet (ICSOC Workshops, 2016)

Efficient Constraint Verification in Service Composition Design and Execution (Short Paper). - Touraj Laleh; Joey Paquet; Serguei A. Mokhov; Yuhong Yan (OTM Conferences, 2016)

Network malware classification comparison using DPI and flow packet headers. - Amine Boukhtouta; Serguei A. Mokhov; Nour-Eddine Lakhdari; Mourad Debbabi; Joey Paquet (J. Comput. Virol. Hacking Tech., 2016)

Constraint Adaptation in Web Service Composition. - Touraj Laleh; Joey Paquet; Serguei A. Mokhov; Yuhong Yan (SCC, 2017)

Predictive Failure Recovery in Constraint-aware Web Service Composition. - Touraj Laleh; Joey Paquet; Serguei A. Mokhov; Yuhong Yan (CLOSER, 2017)

Fast Context-Annotated Classification of Different Types of Web Service Descriptions. - Serguei A. Mokhov; Joey Paquet; Arash Khodadadi (CoRR, 2018)

Toward Multimodal Interaction in Scalable Visual Digital Evidence Visualization Using Computer Vision Techniques and ISS. - Serguei A. Mokhov; Miao Song 001; Jashanjot Singh; Joey Paquet; Mourad Debbabi; Sudhir P. Mudur (CoRR, 2018)

Constraint verification failure recovery in web service composition. - Touraj Laleh; Joey Paquet; Serguei A. Mokhov; Yuhong Yan (Future Gener. Comput. Syst., 2018)

Composite Web Services as Dataflow Graphs for Constraint Verification. - Jyotsana Gupta; Joey Paquet; Serguei A. Mokhov (CLOSER, 2020)

OpenISS IoT Camera Simulation Environment for Real-time IoT Forensics and Incident Response. - Rostislav Axamitnyy; Alexander Aric; Serguei A. Mokhov; Joey Paquet; Sudhir P. Mudur (ISNCC, 2020)

Toward Scalable Demand-Driven JSON-to-Forensic Lucid Encoder in GIPSY. - Peyman Derafshkavian; Simon Huneault-LeBlanc; Sacha Renault-Crispo; Akansha Marwaha; Serguei A. Mokhov; Joey Paquet (ISNCC, 2020)

OpenISS as a Near-Realtime Composable Broadcast Service for Performing Arts and Beyond. - Serguei A. Mokhov; Jashanjot Singh; Haotao Lai; Konstantinos Psimoulis; Joey Paquet (ISNCC, 2020)

Enabling Real-time Gesture Recognition Data Delivery over ROS and OpenISS. - Jashanjot Singh; Serguei A. Mokhov; Joey Paquet (ISNCC, 2020)

ASSL as an Intent Expression Language for Autonomic Intent-Driven Networking. - Solmaz Jaberi; J. William Atwood; Joey Paquet (CNSM, 2023)

A Kubernetes Underlay for OpenTDIP Forensic Computing Backend. - Pouria Zahraei; Serguei A. Mokhov; Joey Paquet; Peyman Derafshkavian (eCrime, 2023)