Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Joey Paquet
2010 – today
- 2012
[c39]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
- [c38]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ICDF2C 2011: 282-296
- [c37]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]
- 2010
- [c36]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
- [c35]Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi: Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113
- [c34]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
- [c33]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
- [c32]Aihua Wu, Joey Paquet, Serguei A. Mokhov: Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. SERA 2010: 158-167
- [c31]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
- [c30]Serguei A. Mokhov, Joey Paquet, Xin Tong: A type system for hybrid intensional-imperative programming support in GIPSY. C3S2E 2009: 101-107
- [c29]Joey Paquet: Distributed Eductive Execution of Hybrid Intensional Programs. COMPSAC (2) 2009: 218-224
- [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, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333
- [c26]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
- [c25]Joey Paquet, Serguei A. Mokhov, Xin Tong: Design and Implementation of Context Calculus in the GIPSY Environment. COMPSAC 2008: 1278-1283
- [c24]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216
- [c23]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet: Design and Implementation of Demand Migration Systems in GIPSY. PDPTA 2008: 900-907
- [c22]Emil Vassev, Mike Hinchey, Joey Paquet: Towards an ASSL specification model for NASA swarm-based exploration missions. SAC 2008: 1652-1657
- 2007
- [c21]Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bhattacharya: Testing Intrusion Detection Systems in MANET: A Comprehensive Study. CNSR 2007: 364-371
- [c20]
- [c19]Emil Vassev, Olga Ormandjieva, Joey Paquet: Assl Specification of Reliability Self-Assessment in the As-Trm. ICSOFT (SE) 2007: 198-206
- [c18]Amir Hossein Pourteymour, Emil Vassev, Joey Paquet: Towards a new Demand-Driven Message-Oriented Middleware in GIPSY. PDPTA 2007: 91-97
- [c17]
- 2006
- [c16]Emil Vassev, Heng Kuang, Olga Ormandjieva, Joey Paquet: Reactive, distributed and autonomic computing aspects of AS-TRM. ICSOFT (1) 2006: 196-202
- [c15]Emil Vassev, Joey Paquet: Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice 2006: 940-944
- [c14]Emil Vassev, Joey Paquet: Aspects of Memory Management in Java and C++. Software Engineering Research and Practice 2006: 952-958
- 2005
- [c13]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
- [c12]Kaiyu Wan, Vasu S. Alagar, Joey Paquet: An Architecture for Developing Context-Aware Systems. MRC 2005: 48-61
- [c11]
- [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]
- [c5]
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-03 22:09 CET by the dblp team