| 2025 | SAC | Sanity Checks in Smart Home Sensor Streams. | Rania Taleb, Sylvain Hall, Roger Villemaire, Sbastien Gaboury, Hubert Kenfack Ngankam |
| 2024 | CRiSIS | Distributed and Verifiable Digital Badges. | Raphal Khoury, Sylvain Hall, Muni Venkateswarlu Kumaramangalam |
| 2024 | EDOC | A Tree-Based Definition of Business Process Conformance. | Sylvain Hall |
| 2023 | EDOC | Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. | Chukri Soueidi, Ylis Falcone, Sylvain Hall |
| 2023 | FM | Leveraging Runtime Verification for the Monitoring of Digital Twins. | Sylvain Hall, Chukri Soueidi, Ylis Falcone |
| 2023 | ISSRE | Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. | Chukri Soueidi, Ylis Falcone, Sylvain Hall |
| 2022 | ICSE | Synthia: a Generic and Flexible Data Structure Generator. | Marc-Antoine Plourde, Sylvain Hall |
| 2021 | CAV | Foundations of Fine-Grained Explainability. | Sylvain Hall, Hugo Tremblay |
| 2021 | ICSE | Runtime Verification Under Access Restrictions. | Rania Taleb, Raphal Khoury, Sylvain Hall |
| 2021 | ICST | Test Sequence Generation with Cayley Graphs. | Sylvain Hall, Raphal Khoury |
| 2021 | ICWE | Automated Repair of Layout Bugs in Web Pages with Linear Programming. | Stphane Jacquet, Xavier Chamberland-Thibeault, Sylvain Hall |
| 2021 | SAC | Offline monitoring of LTL with bit vectors. | Kun Xie, Sylvain Hall |
| 2021 | TIME | Model Checking of Stream Processing Pipelines. | Alexis Bdard, Sylvain Hall |
| 2020 | EDOC | Explainable Queries over Event Logs. | Sylvain Hall |
| 2020 | EDOC | Open Source Software Development Process: A Systematic Review. | Bianca Minetto Napoleo, Fbio Petrillo, Sylvain Hall |
| 2020 | ICWE | Detecting Responsive Web Design Bugs with Declarative Specifications. | Oussama Beroual, Francis Gurin, Sylvain Hall |
| 2020 | ICWE | Structural Profiling of Web Sites in the Wild. | Xavier Chamberland-Thibeault, Sylvain Hall |
| 2020 | IFM | Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. | Stphane Jacquet, Sylvain Hall |
| 2019 | EDOC | Predictive Analytics for Event Stream Processing. | Massiva Roudjane, Djamal Rebaine, Raphal Khoury, Sylvain Hall |
| 2019 | ISSRE | TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. | Raphal Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hall, Fbio Petrillo |
| 2019 | QRS | Efficient Generation of Test Data with Extended Cardinality Constraints. | Michal Larouche, Sylvain Hall |
| 2019 | QRS | 10 Years of IoT Malware: A Feature-Based Taxonomy. | Benjamin Vignau, Raphal Khoury, Sylvain Hall |
| 2018 | EDOC | Real-Time Data Mining for Event Streams. | Massiva Roudjane, Djamal Rebaine, Raphal Khoury, Sylvain Hall |
| 2018 | IRI | Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. | Raphal Khoury, Sylvain Hall |
| 2018 | UIC | A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition. | Florentin Thullier, Valre Plantevin, Abdenour Bouzouane, Sylvain Hall, Sbastien Gaboury |
| 2018 | RV | Writing Domain-Specific Languages for BeepBeep. | Sylvain Hall, Raphal Khoury |
| 2017 | ICSE | Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. | Oussama Beroual, Francis Guerin, Sylvain Hall |
| 2017 | ISSTA | LabPal: repeatable computer experiments made easy. | Sylvain Hall |
| 2017 | ISSTA | SealTest: a simple library for test sequence generation. | Sylvain Hall, Raphal Khoury |
| 2017 | UIC | A position-independent method for soil types recognition using inertial data from a wearable device. | Florentin Thullier, Valre Plantevin, Abdenour Bouzouane, Sylvain Hall, Sbastien Gaboury |
| 2017 | RV | Event Stream Processing with BeepBeep 3. | Sylvain Hall, Raphal Khoury |
| 2017 | RV | Event Stream Processing with Multiple Threads. | Sylvain Hall, Raphal Khoury, Sbastien Gaboury |
| 2017 | RV | A Few Things We Heard About RV Tools (Position Paper). | Sylvain Hall, Raphal Khoury, Sbastien Gaboury |
| 2017 | RV | Runtime Verification of User Interface Guidelines in Mobile Devices. | Chafik Meniar, Florence Opalvens, Sylvain Hall |
| 2016 | AAAI | Activity Recognition Through Complex Event Processing: First Findings. | Sylvain Hall, Sbastien Gaboury, Bruno Bouchard |
| 2016 | EDOC | Decentralized Enforcement of Artifact Lifecycles. | Sylvain Hall, Raphal Khoury, Antoine El-Hokayem, Ylis Falcone |
| 2016 | ISoLA | Execution Trace Analysis Using LTL-FO ^+. | Raphal Khoury, Sylvain Hall, Omar Waldmann |
| 2016 | RV | When RV Meets CEP. | Sylvain Hall |
| 2016 | RV | Third International Competition on Runtime Verification - CRV 2016. | Giles Reger, Sylvain Hall, Ylis Falcone |
| 2015 | EDOC | A Declarative Language Interpreter for CEP. | Sylvain Hall |
| 2015 | IM | A data model for management of network device configuration heterogeneity. | Eric Lunaud Ngoupe, Sylvain Stoesel, Clment Parisot, Sylvain Hall, Petko Valtchev, Omar Cherkaoui, Pierre Boucher |
| 2015 | ICST | Testing Web Applications Through Layout Constraints. | Sylvain Hall, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton |
| 2014 | EDOC | A Formalization of Complex Event Stream Processing. | Sylvain Hall, Simon Varvaressos |
| 2014 | ICECCS | A Reference Framework for the Automated Exploration of Web Applications. | Gabriel Le Breton, Nicolas Bergeron, Sylvain Hall |
| 2014 | ICECCS | A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. | Eric Lunaud Ngoupe, Sylvain Stoesel, Clment Parisot, Sylvain Hall, Petko Valtchev, Omar Cherkaoui, Pierre Boucher |
| 2014 | ICST | Exhaustive Exploration of Ajax Web Applications with Selective Jumping. | Sylvain Hall, Gabriel Le Breton, Fabien Maronnaud, Alexandre Blondin Mass, Sbastien Gaboury |
| 2014 | ICST | Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. | Simon Varvaressos, Kim Lavoie, Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall |
| 2014 | LATA | Solving Equations on Words with Morphisms and Antimorphisms. | Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall, Michal Larouche |
| 2014 | RV | Portable Runtime Verification with Smartphones and Optical Codes. | Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sbastien Gaboury, Sylvain Hall |
| 2014 | RV | Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. | Simon Varvaressos, Kim Lavoie, Sbastien Gaboury, Sylvain Hall |
| 2013 | EDOC | The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. | Jason Vallet, Aouatef Mrad, Sylvain Hall, ric Beaudet |
| 2013 | IM | Distributed firewall anomaly detection through LTL model checking. | Sylvain Hall, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui |
| 2013 | WWW | Automated exploration and analysis of ajax web applications with WebMole. | Gabriel Le Breton, Fabien Maronnaud, Sylvain Hall |
| 2013 | SAC | Solving equations on words through boolean satisfiability. | Michal Larouche, Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall |
| 2013 | RV | Runtime Monitoring of Temporal Logic Properties in a Platform Game. | Simon Varvaressos, Dominic Vaillancourt, Sbastien Gaboury, Alexandre Blondin Mass, Sylvain Hall |
| 2012 | DLT | Pseudoperiodic Words. | Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall |
| 2012 | ICSE | Constraint-based invocation of stateful web services: The beep store (case study). | Sylvain Hall, Roger Villemaire |
| 2012 | ICST | A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. | Jrme Calvar, Raphal Tremblay-Lessard, Sylvain Hall |
| 2012 | ISoLA | A Case for "Piggyback" Runtime Monitoring. | Sylvain Hall, Raphal Tremblay-Lessard |
| 2012 | NOMS | Towards a semantic virtualization of configurations. | Sylvain Hall, Omar Cherkaoui, Petko Valtchev |
| 2012 | NOMS | ValidMaker: A tool for managing device configurations using logical constraints. | Sylvain Hall, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire |
| 2012 | NOMS | Firewall anomaly detection with a model checker for visibility logic. | Bassam Khorchani, Sylvain Hall, Roger Villemaire |
| 2012 | RV | MapReduce for Parallel Trace Validation of LTL Properties. | Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hall |
| 2012 | RV | BabelTrace: A Collection of Transducers for Trace Validation. | Aouatef Mrad, Samatar Ahmed, Sylvain Hall, ric Beaudet |
| 2011 | EDOC | Message from the EVL-BP 2011 Workshop Chairs. | Dragan Gasevic, Georg Grossmann, Sylvain Hall, Florian Rosenberg |
| 2011 | EDOC | Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". | Sylvain Hall |
| 2011 | ICECCS | Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. | Sylvain Hall |
| 2010 | EDOC | Cooperative Runtime Monitoring of LTL Interface Contracts. | Sylvain Hall |
| 2010 | RV | Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. | Sylvain Hall, Roger Villemaire |
| 2009 | CAV | Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. | Sylvain Hall, Roger Villemaire |
| 2009 | EDOC | Dynamic and declarative business processes. | Dragan Gasevic, Georg Grossmann, Sylvain Hall |
| 2009 | EDOC | Flexible and reliable messaging using runtime monitoring. | Sylvain Hall, Roger Villemaire |
| 2009 | ICSOC | Generating Interface Grammars from WSDL for Automated Verification of Web Services. | Sylvain Hall, Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
| 2009 | SAC | Runtime monitoring of web service choreographies using streaming XML. | Sylvain Hall, Roger Villemaire |
| 2009 | TIME | Strong Temporal, Weak Spatial Logic for Rule Based Filters. | Roger Villemaire, Sylvain Hall |
| 2008 | EDOC | Runtime Monitoring of Message-Based Workflows with Data. | Sylvain Hall, Roger Villemaire |
| 2008 | TIME | Satisfying a Fragment of XQuery by Branching-Time Reduction. | Sylvain Hall, Roger Villemaire |
| 2007 | EDOC | Model Checking Data-Aware Workflow Properties with CTL-FO+. | Sylvain Hall, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour |
| 2006 | ICMLA | An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. | Sylvain Hall |
| 2006 | TIME | CTL Model Checking for Labelled Tree Queries. | Sylvain Hall, Roger Villemaire, Omar Cherkaoui |
| 2005 | TIME | Configuration Logic: A Multi-site Modal Logic. | Roger Villemaire, Sylvain Hall, Omar Cherkaoui |