| * | 2009 |
|---|
| 32 | EE | Serguei A. Mokhov,
Joey Paquet,
Xin Tong:
A type system for hybrid intensional-imperative programming support in GIPSY.
C3S2E 2009: 101-107 |
| 31 | EE | Serguei A. Mokhov,
Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
CoRR abs/0904.3789: (2009) |
| 30 | EE | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
CoRR abs/0906.0049: (2009) |
| 29 | EE | 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) |
| 28 | EE | 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) |
| 27 | EE | 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) |
| 26 | EE | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Reasoning About an ACME Printer Case Investigation with Forensic Lucid
CoRR abs/0906.5181: (2009) |
| 25 | EE | Aihua Wu,
Joey Paquet,
Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
CoRR abs/0909.0764: (2009) |
| 2008 |
|---|
| 24 | EE | Joey Paquet,
Serguei A. Mokhov,
Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment.
COMPSAC 2008: 1278-1283 |
| 23 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.
IMF 2008: 197-216 |
| 22 | | Amir Hossein Pourteymour,
Emil Vassev,
Joey Paquet:
Design and Implementation of Demand Migration Systems in GIPSY.
PDPTA 2008: 900-907 |
| 21 | EE | Emil Vassev,
Mike Hinchey,
Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions.
SAC 2008: 1652-1657 |
| 2007 |
|---|
| 20 | EE | Hadi Otrok,
Joey Paquet,
Mourad Debbabi,
Prabir Bhattacharya:
Testing Intrusion Detection Systems in MANET: A Comprehensive Study.
CNSR 2007: 364-371 |
| 19 | | Emil Vassev,
Olga Ormandjieva,
Joey Paquet:
Assl Specification of Reliability Self-Assessment in the As-Trm.
ICSOFT (SE) 2007: 198-206 |
| 18 | | Amir Hossein Pourteymour,
Emil Vassev,
Joey Paquet:
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY.
PDPTA 2007: 91-97 |
| 17 | EE | Emil Vassev,
Joey Paquet:
ASSL - Autonomic System Specification Language.
SEW 2007: 300-309 |
| 2006 |
|---|
| 16 | | Emil Vassev,
Heng Kuang,
Olga Ormandjieva,
Joey Paquet:
Reactive, distributed and autonomic computing aspects of AS-TRM.
ICSOFT (1) 2006: 196-202 |
| 15 | | Emil Vassev,
Joey Paquet:
Evaluation Issues in Generic Programming with Inheritance and Templates in C++.
Software Engineering Research and Practice 2006: 940-944 |
| 14 | | Emil Vassev,
Joey Paquet:
Aspects of Memory Management in Java and C++.
Software Engineering Research and Practice 2006: 952-958 |
| 2005 |
|---|
| 13 | EE | 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 |
| 12 | EE | Kaiyu Wan,
Vasu S. Alagar,
Joey Paquet:
An Architecture for Developing Context-Aware Systems.
MRC 2005: 48-61 |
| 11 | | Peter Grogono,
Serguei A. Mokhov,
Joey Paquet:
Toward JLucid, Lucid with Embedded Java Functions in the GIPSY.
PLC 2005: 15-21 |
| 10 | | Serguei A. Mokhov,
Joey Paquet:
Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY.
PLC 2005: 22-28 |
| 9 | | Emil Vassev,
Joey Paquet:
A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine.
PLC 2005: 29-35 |
| 8 | | Serguei A. Mokhov,
Joey Paquet:
General Imperative Compiler Framework within the GIPSY.
PLC 2005: 36-42 |
| 7 | | Aihua Wu,
Joey Paquet:
Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations.
PLC 2005: 43-47 |
| 6 | | Kaiyu Wan,
Vasu S. Alagar,
Joey Paquet:
Lucx: Lucid Enriched with Context.
PLC 2005: 48-56 |
| 5 | | Joey Paquet,
Aihua Wu:
GIPSY - A Platform for the Investigation on Intensional Programming Languages.
PLC 2005: 8-14 |
| 2004 |
|---|
| 4 | EE | Vasu S. Alagar,
Joey Paquet,
Kaiyu Wan:
Intensional Programming for Agent Communication.
DALT 2004: 239-255 |
| 3 | EE | Kaiyu Wan,
Vasu S. Alagar,
Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts.
ICTAC 2004: 387-402 |
| 2 | EE | Joey Paquet,
Aihua Wu,
Peter Grogono:
Towards a framework for the general intensional programming compiler in the GIPSY.
OOPSLA Companion 2004: 164-165 |
| 2000 |
|---|
| 1 | EE | Joey Paquet,
Peter G. Kropf:
The GIPSY Architecture.
DCW 2000: 144-153 |
