Publications Conférences avec comité de lecture  1. Hallé S, Gaboury S, Khoury R, A Glue Language for Event Stream  Processing, IEEE, Workshop on Real-time & Stream Analytics in Big  Data (BigData2016), December 5-8 (2016), Washington D. C., USA, 1-6.  2. Khoury R, Gaboury S, Hallé S, Three Views of Log Trace Triaging,  Springer, 9th International Symposium on Foundations & Practice of  Security (FPS2016), October 24-26 (2016), Québec, Canada, 1-16.  3. Boukhechba M, Bouzouane A, Bouchard B, Gaboury S, Gouin-Vallerand  C, Giroux S, Battery-Aware Mobile Solution for Online Activity  Recognition from Users’ Movements, 5th IEEE International Conference  on Mobile Services (MS 2016), June 27- July 2 (2016) , San Francisco,  CA, USA, 1-8.  4. Bergeron F, Bouchard K, Giroux S, Bouchard B, Gaboury S, Real-Time  Constraints for Activities of Daily Living Recognition, 9th ACM  International Conference on Pervasive Technologies Related to Assistive  Environments (PETRA'16), June 29-July 1 (2016), Corfu, Greece, 1-2.  5. Hao J, Gaboury S, Bouchard B, Real-time Activity Prediction and  Recognition in Smart Homes by Formal Concept Analysis, 12th IEEE  International Conference on Intelligent Environments (IE’16), September  12-16 (2016), London, UK, 1-8.  6. Francillette Y, Gaboury S, Bouzouane A, Bouchard B, Towards an  adaptation model for smart homes, 14th International Conference On  Smart homes and health Telematics (ICOST’16), May 25-27 (2016),  Wuhan, China, 1-12.  7. Hao J, Gaboury S, Bouchard B, Cognitive Error Detection: Mining  Behavioral Data Stream of People with Cognitive Impairment, 9th ACM  International Conference on Pervasive Technologies Related to Assistive  Environments (PETRA'16), June 29-July 1 (2016), Corfu, Greece, 1-8.  8. Bergeron F, Bouchard K, Giroux S, Bouchard B, Gaboury S, Qualitative  Tracking of Objects in a Smart Home: A Passive RFID Approach Based  on Decision Trees, 9th ACM International Conference on Pervasive  Technologies Related to Assistive Environments (PETRA'16), June 29-  July 1 (2016), Corfu, Greece, 1-8.  9. Boukhechba M, Bouzouane A, Bouchard B, Gaboury S, Gouin-Vallerand  C, Giroux S, Hybrid battery-friendly mobile solution for extracting users’  visited places, 13th International Conference on Mobile Systems and  Pervasive Computing (MobiSPC2016), August 15-18 (2016), Montréal,  Canada, 1-8  10. Hallé S, Gaboury S, Bouchard B, Towards User Activity Recognition  Through Energy UsageAnalysis And Complex Event Processing, 9th  ACM International Conference on Pervasive Technologies Related to  Assistive Environments (PETRA'16), June 29-July 1 (2016), Corfu,  Greece, 1-8.  11. Sainjeon F, Gaboury S, Bouchard B, Real-Time Indoor Localization in  Smart Homes Using Ultrasound Technology, 9th ACM International  Conference on Pervasive Technologies Related to Assistive Environments  (PETRA'16), June 29-July 1 (2016), Corfu, Greece, 1-4.  12. Boudreault A, Bouchard J, Gaboury S, Bouchard B, Blind Sight  Navigator: A New Orthosis for People with Visual Impairments, 9th ACM  International Conference on Pervasive Technologies Related to Assistive  Environments (PETRA'16), June 29-July 1 (2016), Corfu, Greece, 1-4.  13. Maitre J, Gaboury S, Bouchard B, Bouzouane A, A New Computational  Approach for Inter-Turn Short Circuit Recognition in Induction Machines  Using currents analysis and the Multi-Class Support Vector Machine, 8th  IET international conference on Power Electronics, Machines and Drives  (PEMD 2016), April 19-21 (2016), Glasgow, Scotland, UK, 1-6.  14. Bergeron F, Bouchard K, Giroux S, Bouchard B, Gaboury S, Indoor  Positioning System for Smart Homes based on Decision Trees and Passive  RFID, Lecture Notes in Artificial Intelligence, Proceedings of 20th Pacific  Asia Knowledge Discovery and Data Mining Conference (PAKDD 2016),  April 19-22 (2016), Auckland, New Zealand, 1-12.   15. Bergeron F, Bouchard K, Giroux S, Bouchard B, Gaboury S, Qualitative   RFID Tracking for ADL Recognition, Proc. of the AAAI 3rd Workshop on  Artificial Intelligence Applied to Assistive Technologies and Smart  environments (ATSE'16), February 12th (2016), Phoenix, Arizona, USA,  1-2. 16. Hallé S, Gaboury S, Bouchard B, Activity Recognition Through Complex  Event Processing: First Findings, Proc. of the AAAI 3rd Workshop on  Artificial Intelligence Applied to Assistive Technologies and Smart  environments (ATSE'16), February 12th (2016), Phoenix, Arizona, USA,  1-6.   17. Maitre J, Gaboury S, Bouchard B, Bouzouane A, 9 Parameters Estimation  of an Extended Induction Machine Model Using Genetic Algorithms,  IEEE 9th International Conference on Electrical and Electronics  Engineering (ELECO 2015), November 26-28 (2015), Bursa, Turquie, 1-  5. 18. Bergeron F, Bouchard K, Giroux S, Bouchard B, Gaboury S, Simple  Objects Tracking System for Smart Homes, IEEE International  Conference on Bioinformatics and Biomedicine (BIBM-HI-DS 2015),  November 9-12 (2015), Washington D. C., USA, 1-4.  19. Bouchard K., Fortin-Simard D., Lapalu J., Gaboury S., Bouchard B.,  Bouzouane A. Unsupervised Spatial Data Mining for Smart Homes. IEEE  Workshop on Spatial and Spatio-Temporal Data Mining, International  Conference on Data Mining, (ICDM-SSTDM 2015), November 14th  (2015), Atlantic City, NJ, USA, 1-10.   20. Bilodeau J-S, Fortin-Simard D, Gaboury S, Bouchard B, Bouzouane A, A  practical comparison between filtering algorithms for enhanced RFID  localization in smart environments, 6th IEEE International Conference on  Information, Intelligence, Systems and Applications (IISA 2015), July 6-8  (2015), Corfu, Greece, 1-6.  21. Maitre J, Gaboury S, Bouchard B, Bouzouane A, An effective and realistic  identification of the induction machine parameters using classic genetic  algorithm, NSGA II and theta-NSGA III. 6th IEEE International  Conference on Information, Intelligence, Systems and Applications (IISA  2015), July 6-8 (2015), Corfu, Greece, 1-6.  22. Fortin-Simard D, Gaboury S, Bouchard B, Bouzouane A, Frequent Pattern  clustering for ADLs Recognition in Smart Environments, Proceedings of  the 8th ACM International Conference on Pervasive Technologies Related  to Assistive Environments (PETRA'15), July 1-3 (2015), Corfu, Greece,  1-4. 23. Varvaressos S, Lavoie K, Gaboury S, Hallé S, A Generalized Monitor  Verdict for Log Trace Triaging, 6th IEEE International Workshop on  Program Comprehension through Dynamic Analysis, March 2nd  (2015),  Montréal, Canada, 1-8.  24. Hallé S, La Chance E, Gaboury S, Graph Methods for Generating Test  Cases with Universal and Existential Constraints, 27th International  Conference on Testing Software and Systems (ICTSS2015), November  23-25 (2015), Dubai, UAE, 1-16.  25. Maitre J, Gaboury S, Bouchard B, Bouzouane A, A New Computational  Method for Stator Faults Recognition in Induction Machines Based on  Hyper-Volumes, IEEE International Conference on Electro/Information  Technology (EIT 2015), May 21-23 (2015), DeKalb, IL, USA.  26. Maître J, Glon G, Gaboury S, Bouchard B, Bouzouane A, Efficient  appliances recognition in smart homes based on active and reactive  power, fast Fourier transform and decision trees. Proc. of the AAAI 2nd  Workshop on Artificial Intelligence Applied to Assistive Technologies and  Smart environments (ATSE'15), January 25th (2015), Austin, Texas, USA,  1-6. 27. Tremblay S, Fortin-Simard D, Blackburn-Verreault E, Gaboury S,  Bouchard B, Bouzouane A. Exploiting Environmental Sounds for Activity  Recognition in Smart Homes. Proc. of the AAAI 2nd Workshop on  Artificial Intelligence Applied to Assistive Technologies and Smart  environments (ATSE'15), January 25th (2015), Austin, Texas, USA, 1-6.  28. Fortin-Simard D, Bilodeau J S, Gaboury S, Bouchard B, Bouzouane A,  Human Activity Recognition in Smart Homes: Combining Passive RFID  and Load Signatures of Electrical Devices, IEEE Symposium on  Intelligent Agents (IA 2014), December 9-12 (2014), Orlando, Florida,  USA, 1-8.  29. Bilodeau J S, Fortin-Simard D, Gaboury S, Bouchard B, Bouzouane A,  Assistance in Smart Homes : Combining Passive RFID Localization and  Load Signature of Electrical Devices, IEEE International Conference  Bioinformatics and Biomedecine (BIBM2014), November 2-5 (2014),  Belfast, UK, 1-8.  30. Belley C, Gaboury S, Bouchard B, Bouzouane A, A new system for  assistance and guidance in smart homes based on electrical devices  identification, Proceedings of the 7th ACM International Conference on  Pervasive Technologies Related to Assistive Environments (PETRA'14),  May 27-30 (2014), Rhodes Island, Greece, 1-8.  31. Bouchard K, Bilodeau J-S, Fortin-Simard D, Gaboury S, Bouchard B,  Bouzouane A, Human Activity Recognition in Smart Homes Based on  Passive RFID Localization, Proceedings of the 7th ACM International  Conference on Pervasive Technologies Related to Assistive Environments  (PETRA'14), May 27-30 (2014), Rhodes Island, Greece, 1-8.  32. Bouchard K, Gaboury S, Moutacalli M, Bouchard B, Bouzouane A,  Analysis and Knowledge Discovery of Moving Objects Equipped with  RFID Tags. Proc. of the AAAI Workshop on Artificial Intelligence  Applied to Assistive Technologies and Smart Environments (ATSE'14),  Association for the Advancement of Artificial Intelligence (AAAI), July  27-31 (2014), Québec City, Quebec, Canada, 1-6.  33. Lavoie K, Leplongeon C, Varvaressos S, Gaboury S, Hallé S, Portable  Runtime Verification with Smartphones and Optical Codes, ACM  International Conference on Runtime Verification (RV2014), September  22-25 (2014), Toronto, Ontario, Canada, 1-6.  34. Varvaressos S, Lavoie K, Gaboury S, Hallé S, A Generalized Monitor  Verdict for the Classification of Execution Traces, ACM International  Conference on Runtime Verification Verification   (RV2014), September  22-25 (2014), Toronto, Ontario, Canada, 1-5.  35. Hallé S, Le Breton G, Maronnaud F, Blondin-Massé A, Gaboury S,  Exhaustive exploration of stateful web applications without backtracking,  7th IEEE International Conference on Software Testing, Verification and  Validation (ICST2014),  March 31-April 4 (2014), Ohio, Cleveland, Ohio,  U.S.A., 1-6.  36. Varvaressos S, Vaillancourt D, Lottmann A, Gaboury S, Hallé S,  Automated bug finding in video games with runtime monitoring, 7th  IEEE International Conference on Software Testing, Verification and  Validation (ICST2014),  March 31-April 4 (2014), Ohio, Cleveland, Ohio,  U.S.A., 1-8.  37. Blondin-Massé A, Gaboury S, Hallé S, Larouche M, Solving Equations on  Words with Morphisms and Antimorphisms. Proceeding of the  International Conference on Language and Automata Theory and  Applications (LATA 2014), March 10-14 (2014), Madrid, Spain.  38. Varvaressos S, Vaillancourt D, Blondin-Massé A, Gaboury S, Hallé S,  Runtime monitoring of   temporal logic properties in infinite Mario  bros, ACM International Conference on Runtime Verification Verification   (RV2013), September 24-27 (2013), Rennes, France, LNCS 8174, 346-  351.  39. Belley C, Gaboury S, Bouchard B, Bouzouane A, Activity Recognition in  Smart Homes Based on Electrical Devices Identification, Proceedings of  the 6th ACM International Conference on Pervasive Technologies Related  to Assistive Environments (PETRA'13), May 29-31 (2013), Rhodes  Island, Greece, 1-8.  40. Blondin-Massé A, Gaboury S, Hallé S, Larouche M, Solving of Equations  on Words through Boolean Satisfiability, Proceedings of the 28th Annual  ACM Symposium on Applied Computing (SAC2013),  March 18-22  (2013), Coimbra, Portugal, 104-106.    41. Fortin-Simard D, Bouchard K, Gaboury S, Bouchard B, Bouzouane A,  Accurate Passive RFID Localization System for Smart Homes, 3rd IEEE  International Conference on Networked Embedded   Systems for Every  Application (NESEA 2012), December 13-14 (2012), Liverpool, UK, 1-8.  42. Blondin-Massé A, Gaboury S, Hallé S, Pseudoperiodic Words, 16th  International Conference on Developments in Language Theory  (DLT2012), August 14-17 (2012), Taipei, Taïwan, LNCS 7410, 308-319.  Conférences avec comité de lecture (soumis)  43. Khoury R, Gaboury S, Hallé S, Event Stream Processing with Multiple  Threads, preprint (2017), 1-15.  44. Yaddaden Y, Adda M, Bouzouane A, Gaboury S, Bouchard B, Facial  Expression Recognition from Video using Geometric Features, (2017), 1-  15. 45. Francillette Y, Boucher E, Bouzouane A, Gaboury S, A 3D Simulator for  Intelligent Environment Experiments, (2017),  1-8.  46. Chapron K, Bouchard K, Duchesne E, Gaboury S, Transportable and  Scalable System for Activities and Exercises Recognition in Real-Time,  (2017),  1-7.  47. Bergeron F, Bouchard K, Giroux S, Gaboury S, RFID based activities of  daily living recognition,  (2017),  1-7.  48. Yaddaden Y, Adda M, Bouzouane A, Gaboury S, Bouchard B, Facial  Expressions based Error Detection for Smart Environments Using Deep  Learning, (2017),  1-8.  Chapitre de livre avec comité de lecture  49. Bouchard K, Gaboury S, Bouchard B, Bouzouane A, Exploiting Passive  RFID Technology for Indoor Localization in Smart Environments,  Opportunistic networking, smart home, smart city, smart systems CRC  press, Taylor & Francis, à paraître le 15 avril 2016, pp. 1-20.  50. Bouchard K, Bouchard B, Bouzouane A, Gaboury S, Giroux S, Smart  Homes in the Era of Big Data, Trends in Ambient Intelligent Systems :  Role of Computational Intelligence, Springer, Studies in Computational  Intelligence 633 (2016), 117-137.  Thèse et mémoire  51. S. Gaboury (2012). The Use of a Representation Based on the  Pochhammer's Contour of Integration for the Fractional Derivatives to  Obtain New Generalized Leibniz Rules. Doctoral thesis. Royal Military  College of Canada. pp. 1-185.  52. S. Gaboury (2007). Sur les Convolutions de Fonctions Arithmétiques  Régulières. Master thesis. Université Laval. pp. 1-57.