 | 2011 |
|---|
| 49 |       | 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 |
| 48 | | Joey Paquet,
Serguei A. Mokhov:
Furthering Baseline Core Lucid
CoRR abs/1107.0940: (2011) |
| 2010 |
|---|
| 47 | | 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 |
| 46 | | Serguei A. Mokhov,
Emil Vassev,
Joey Paquet,
Mourad Debbabi:
Towards a self-forensics property in the ASSL toolset.
C3S2E 2010: 108-113 |
| 45 | | 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 |
| 44 | | 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 |
| 43 | | Aihua Wu,
Joey Paquet,
Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Java/Lucid Classes.
SERA 2010: 158-167 |
| 42 | | 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 |
| 41 | | Xin Tong,
Joey Paquet,
Serguei A. Mokhov:
Complete Context Calculus Design and Implementation in GIPSY
CoRR abs/1002.4392: (2010) |
| 40 | | Joey Paquet,
Serguei A. Mokhov:
Comparative Studies of Programming Languages; Course Lecture Notes
CoRR abs/1007.2123: (2010) |
| 39 | | 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) |
| 38 | | Yi Ji,
Serguei A. Mokhov,
Joey Paquet:
Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY
CoRR abs/1012.2860: (2010) |
| 2009 |
|---|
| 37 | | Serguei A. Mokhov,
Joey Paquet,
Xin Tong:
A type system for hybrid intensional-imperative programming support in GIPSY.
C3S2E 2009: 101-107 |
| 36 | | Joey Paquet:
Distributed Eductive Execution of Hybrid Intensional Programs.
COMPSAC (2) 2009: 218-224 |
| 35 |  | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid.
HSC 2009: 326-333 |
| 34 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract).
HSC 2009: 45 |
| 33 | | Roxana-Elena Tudoroiu,
Vladimir Cretu,
Joey Paquet:
Investigations using the rational unified process (RUP) diagrams for software process modeling.
IMCSIT 2009: 523-530 |
| 32 | | Serguei A. Mokhov,
Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
CoRR abs/0904.3789: (2009) |
| 31 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
CoRR abs/0906.0049: (2009) |
| 30 | | 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) |
| 29 | | 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) |
| 28 | | 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) |
| 27 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Reasoning About an ACME Printer Case Investigation with Forensic Lucid
CoRR abs/0906.5181: (2009) |
| 26 | | Aihua Wu,
Joey Paquet,
Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
CoRR abs/0909.0764: (2009) |
| 2008 |
|---|
| 25 | | Joey Paquet,
Serguei A. Mokhov,
Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment.
COMPSAC 2008: 1278-1283 |
| 24 | | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.
IMF 2008: 197-216 |
| 23 | | Amir Hossein Pourteymour,
Emil Vassev,
Joey Paquet:
Design and Implementation of Demand Migration Systems in GIPSY.
PDPTA 2008: 900-907 |
| 22 | | Emil Vassev,
Mike Hinchey,
Joey Paquet:
Towards an ASSL specification model for NASA swarm-based exploration missions.
SAC 2008: 1652-1657 |
| 2007 |
|---|
| 21 | | Hadi Otrok,
Joey Paquet,
Mourad Debbabi,
Prabir Bhattacharya:
Testing Intrusion Detection Systems in MANET: A Comprehensive Study.
CNSR 2007: 364-371 |
| 20 | | Emil Vassev,
Olga Ormandjieva,
Joey Paquet:
Assl Specification of Reliability Self-Assessment in the As-Trm.
ICSOFT (SE) 2007: 198-206 |
| 19 | | Amir Hossein Pourteymour,
Emil Vassev,
Joey Paquet:
Towards a new Demand-Driven Message-Oriented Middleware in GIPSY.
PDPTA 2007: 91-97 |
| 18 | | Emil Vassev,
Joey Paquet:
Towards an Autonomic Element Architecture for ASSL.
SEAMS 2007: 4 |
| 17 | | 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 | | 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 | | 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 | | Vasu S. Alagar,
Joey Paquet,
Kaiyu Wan:
Intensional Programming for Agent Communication.
DALT 2004: 239-255 |
| 3 | | Kaiyu Wan,
Vasu S. Alagar,
Joey Paquet:
Real Time Reactive Programming in Lucid Enriched with Contexts.
ICTAC 2004: 387-402 |
| 2 | | 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 | | Joey Paquet,
Peter G. Kropf:
The GIPSY Architecture.
DCW 2000: 144-153 |
Data released under the ODC-BY 1.0 license — See also our legal information page