default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoey Paquet
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c59]Solmaz Jaberi
, J. William Atwood, Joey Paquet:
ASSL as an Intent Expression Language for Autonomic Intent-Driven Networking. CNSM 2023: 1-5- [c58]Pouria Zahraei, Serguei A. Mokhov, Joey Paquet, Peyman Derafshkavian:
A Kubernetes Underlay for OpenTDIP Forensic Computing Backend. eCrime 2023: 1-10 - 2020
- [c57]Jyotsana Gupta, Joey Paquet, Serguei A. Mokhov:
Composite Web Services as Dataflow Graphs for Constraint Verification. CLOSER 2020: 282-291 - [c56]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 - [c55]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 - [c54]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 - [c53]Jashanjot Singh, Serguei A. Mokhov, Joey Paquet:
Enabling Real-time Gesture Recognition Data Delivery over ROS and OpenISS. ISNCC 2020: 1-6
2010 – 2019
- 2018
- [j3]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) - [i16]Serguei A. Mokhov, Joey Paquet, Arash Khodadadi:
Fast Context-Annotated Classification of Different Types of Web Service Descriptions. CoRR abs/1806.02374 (2018) - [i15]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
- [c52]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Constraint Adaptation in Web Service Composition. SCC 2017: 156-163 - [c51]Touraj Laleh, Joey Paquet, Serguei A. Mokhov, Yuhong Yan:
Predictive Failure Recovery in Constraint-aware Web Service Composition. CLOSER 2017: 213-224 - 2016
- [j2]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) - [c50]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 - [c49]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 - 2015
- [j1]Sleiman Rabah, May El Barachi, Nadjia Kara, Rachida Dssouli, Joey Paquet:
A service oriented broker-based approach for dynamic resource discovery in virtual networks. J. Cloud Comput. 4: 3 (2015) - [c48]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 - [c47]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
MARFCAT: Fast code analysis for defects and vulnerabilities. SWAN@SANER 2015: 35-38 - 2014
- [c46]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 - [c45]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 - [c44]Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi:
Toward Automated MAC Spoofer Investigations. C3S2E 2014: 27:1-27:6 - [c43]Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi:
Automating MAC Spoofer Evidence Gathering and Encoding for Investigations. FPS 2014: 168-183 - 2013
- [c42]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 - [c41]May El Barachi, Sleiman Rabah, Nadjia Kara, Rachida Dssouli, Joey Paquet:
A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. WCNC 2013: 4777-4782 - 2012
- [c40]Yi Ji, Serguei A. Mokhov, Joey Paquet:
Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY. C3S2E 2012: 36-44 - [i14]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) - [i13]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
- [c39]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ICDF2C 2011: 282-296 - [c38]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 - [i12]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) - 2010
- [c37]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 - [c36]Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi:
Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113 - [c35]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 - [c34]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 - [c33]Aihua Wu, Joey Paquet, Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. SERA 2010: 158-167 - [c32]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 - [i11]Xin Tong, Joey Paquet, Serguei A. Mokhov:
Complete Context Calculus Design and Implementation in GIPSY. CoRR abs/1002.4392 (2010) - [i10]Joey Paquet, Serguei A. Mokhov:
Comparative Studies of Programming Languages; Course Lecture Notes. CoRR abs/1007.2123 (2010) - [i9]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) - [i8]Yi Ji, Serguei A. Mokhov, Joey Paquet:
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY. CoRR abs/1012.2860 (2010)
2000 – 2009
- 2009
- [c31]Serguei A. Mokhov, Joey Paquet, Xin Tong:
A type system for hybrid intensional-imperative programming support in GIPSY. C3S2E 2009: 101-107 - [c30]Joey Paquet:
Distributed Eductive Execution of Hybrid Intensional Programs. COMPSAC (2) 2009: 218-224 - [c29]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). HSC 2009: 45 - [c28]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333 - [c27]Roxana-Elena Tudoroiu, Vladimir Cretu, Joey Paquet:
Investigations using the rational unified process (RUP) diagrams for software process modeling. IMCSIT 2009: 523-530 - [i7]Serguei A. Mokhov, Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. CoRR abs/0904.3789 (2009) - [i6]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. CoRR abs/0906.0049 (2009) - [i5]Serguei A. Mokhov, Joey Paquet:
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions. CoRR abs/0906.3911 (2009) - [i4]Serguei A. Mokhov, Joey Paquet:
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY. CoRR abs/0906.3919 (2009) - [i3]Bin Han, Serguei A. Mokhov, Joey Paquet:
Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment. CoRR abs/0906.4837 (2009) - [i2]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Reasoning About an ACME Printer Case Investigation with Forensic Lucid. CoRR abs/0906.5181 (2009) - [i1]Aihua Wu, Joey Paquet, Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid. CoRR abs/0909.0764 (2009) - 2008
- [c26]Joey Paquet, Serguei A. Mokhov, Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment. COMPSAC 2008: 1278-1283 - [c25]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi:
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216 - [c24]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet:
Design and Implementation of Demand Migration Systems in GIPSY. PDPTA 2008: 900-907 - [c23]Emil Vassev, Mike Hinchey, Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657 - 2007
- [c22]Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bhattacharya:
Testing Intrusion Detection Systems in MANET: A Comprehensive Study. CNSR 2007: 364-371 - [c21]Emil Vassev, Joey Paquet:
Towards an Autonomic Element Architecture for ASSL. SEAMS 2007: 4 - [c20]Emil Vassev, Olga Ormandjieva, Joey Paquet:
Assl Specification of Reliability Self-Assessment in the As-Trm. ICSOFT (SE) 2007: 198-206 - [c19]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet:
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. PDPTA 2007: 91-97 - [c18]Emil Vassev, Joey Paquet:
ASSL - Autonomic System Specification Language. SEW 2007: 300-309 - 2006
- [c17]Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet:
Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) 2006: 196-202 - [c16]Emil Vassev, Joey Paquet:
Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice 2006: 940-944 - [c15]Emil Vassev, Joey Paquet:
Aspects of Memory Management in Java and C++. Software Engineering Research and Practice 2006: 952-958 - 2005
- [c14]Emil Vassev, Joey Paquet:
A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment. CNSR 2005: 176-182 - [c13]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-aware Systems. MRC@IJCAI 2005 - [c12]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61 - [c11]Joey Paquet, Aihua Wu:
GIPSY - A Platform for the Investigation on Intensional Programming Languages. PLC 2005: 8-14 - [c10]Peter Grogono, Serguei A. Mokhov, Joey Paquet:
Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. PLC 2005: 15-21 - [c9]Serguei A. Mokhov, Joey Paquet:
Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. PLC 2005: 22-28 - [c8]Emil Vassev, Joey Paquet:
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine. PLC 2005: 29-35 - [c7]Serguei A. Mokhov, Joey Paquet:
General Imperative Compiler Framework within the GIPSY. PLC 2005: 36-42 - [c6]Aihua Wu, Joey Paquet:
Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations. PLC 2005: 43-47 - [c5]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Lucx: Lucid Enriched with Context. PLC 2005: 48-56 - 2004
- [c4]Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. DALT 2004: 239-255 - [c3]Kaiyu Wan, Vasu S. Alagar, Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts. ICTAC 2004: 387-402 - [c2]Joey Paquet, Aihua Wu, Peter Grogono:
Towards a framework for the general intensional programming compiler in the GIPSY. OOPSLA Companion 2004: 164-165 - 2000
- [c1]Joey Paquet, Peter G. Kropf:
The GIPSY Architecture. DCW 2000: 144-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
