| 2025 | AI | The QBF Cover encoding for Harary Tic-Tac-Toe's. | Steve Boucher, Roger Villemaire |
| 2025 | SAC | Sanity Checks in Smart Home Sensor Streams. | Rania Taleb, Sylvain Hall, Roger Villemaire, Sbastien Gaboury, Hubert Kenfack Ngankam |
| 2024 | AAAI | Delegation-Relegation for Boolean Matrix Factorization. | Florent Avellaneda, Roger Villemaire |
| 2022 | AAAI | Undercover Boolean Matrix Factorization with MaxSAT. | Florent Avellaneda, Roger Villemaire |
| 2021 | KI | Quantified Boolean Solving for Achievement Games. | Steve Boucher, Roger Villemaire |
| 2020 | AI | Big Players: Emotion in Twitter Communities Tweeting About Global Warming. | Dennis J. Drown, Roger Villemaire, Serge Robert |
| 2019 | ACIIDS | Robust Web Data Extraction Based on Unsupervised Visual Validation. | Benoit Potvin, Roger Villemaire |
| 2016 | ADCS | A Position-Based Method for the Extraction of Financial Information in PDF Documents. | Benoit Potvin, Roger Villemaire, Ngoc-Tan Le |
| 2013 | IM | Distributed firewall anomaly detection through LTL model checking. | Sylvain Hall, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui |
| 2012 | CADE | CDCL with Less Destructive Backtracking through Partial Ordering. | Anthony Monnet, Roger Villemaire |
| 2012 | ICSE | Constraint-based invocation of stateful web services: The beep store (case study). | Sylvain Hall, Roger Villemaire |
| 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 |
| 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 | Flexible and reliable messaging using runtime monitoring. | Sylvain Hall, Roger Villemaire |
| 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 | 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 |
| 2002 | MFCS | An Approximation Semantics for the Propositional Mu-Calculus. | Roger Villemaire |
| 1993 | ICALP | Cobham's Ttheorem seen through Bchi's Theorem. | Christian Michaux, Roger Villemaire |
| 1992 | STACS | Joining k- and l-Recognizable Sets of Natural Numbers. | Roger Villemaire |