Network Malware Classification Comparison Using DPI and Flow Packet Headers A Boukhtouta, SA Mokhov, NE Lakhdari, M Debbabi, J Paquet Journal of Computer Virology and Hacking Techniques 11 (3), 1-32, 2015 | 79 | 2015 |
Intensional Scientific Programming J Paquet Université Laval, 1999 | 77* | 1999 |
The GIPSY architecture J Paquet, P Kropf Distributed Communities on the Web, Quebec City, 2000, 144-153, 2000 | 62 | 2000 |
Towards an ASSL specification model for NASA swarm-based exploration missions E Vassev, M Hinchey, J Paquet The 23rd Annual ACM Symposium on Applied Computing (SAC 2008), 1652-1657, 2008 | 56 | 2008 |
ASSL-autonomic system specification language E Vassev, J Paquet The 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31 2007), 300-309, 2007 | 46 | 2007 |
The use of NLP techniques in static code analysis to detect weaknesses and vulnerabilities SA Mokhov, J Paquet, M Debbabi The 27th Canadian Conference on Artificial Intelligence (Canadian AI 2014 …, 2014 | 39 | 2014 |
Distributed eductive execution of hybrid intensional programs J Paquet 33rd Annual IEEE International Computer Software and Applications Conference …, 2009 | 34 | 2009 |
GIPSY-A Platform for the Investigation on Intensional Programming Languages. J Paquet, A Wu The 2005 International Conference on Programming Languages and Compilers …, 2005 | 30 | 2005 |
Introduction to intensional programming J Plaice, J Paquet Intensional Programming I, Papers from the Ninth International Symposium on …, 1996 | 30 | 1996 |
Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. SA Mokhov, J Paquet, M Debbabi IT-Incidents Management & IT-Forensics (IMF 2008), 197-216, 2008 | 27 | 2008 |
Design and implementation of context calculus in the GIPSY environment J Paquet, S Mokhov, X Tong The 32nd Annual IEEE International Computer Software and Applications …, 2008 | 27 | 2008 |
A self-scheduling model for NASA swarm-based exploration missions using ASSL E Vassev, M Hinchey, J Paquet Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems, 2008 …, 2008 | 26 | 2008 |
Advances in the design and implementation of a multi-tier architecture in the GIPSY environment with Java B Han, SA Mokhov, J Paquet 2010 Eighth ACIS International Conference on Software Engineering Research …, 2010 | 24 | 2010 |
Constraint verification failure recovery in web service composition T Laleh, J Paquet, S Mokhov, Y Yan Future Generation Computer Systems 89, 387-401, 2018 | 23 | 2018 |
A type system for hybrid intensional-imperative programming support in GIPSY SA Mokhov, J Paquet, X Tong 2nd Canadian Conference on Computer Science and Software Engineering (C3S2E …, 2009 | 20 | 2009 |
Intensional programming for agent communication VS Alagar, J Paquet, K Wan Second International Workshop on Declarative Agent Languages and …, 2004 | 20 | 2004 |
Using the General Intensional Programming System (GIPSY) for evaluation of higher-order intensional logic (HOIL) expressions S Mokhov, J Paquet The 8th IEEE/ACIS International Conference on Software Engineering Research …, 2010 | 19 | 2010 |
An architecture for developing context-aware systems K Wan, V Alagar, J Paquet Second International Workshop on Modeling and Retrieval of Context (MRC 2005 …, 2005 | 19 | 2005 |
A context theory for intensional programming K Wan, V Alagar, J Paquet Workshop on Context Representation and Reasoning (CRR05), 2005 | 19 | 2005 |
MARFCAT: Fast code analysis for defects and vulnerabilities S Mokhov, J Paquet, M Debbabi The 1st IEEE International Workshop on Software Analytics (SWAN 2015), 35-38, 2015 | 18 | 2015 |