Roger Villemaire

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 11

Top Topics

Matrix Factorization

Factorization Method

Data Extraction

Top Venues

Canadian Conference on AI

Publications

Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda
DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells. IEEE Trans. Software Eng. 50 (4) (2024)
Florent Avellaneda, Roger Villemaire
Delegation-Relegation for Boolean Matrix Factorization. AAAI (2024)
Dimitri Prestat, Naouel Moha, Roger Villemaire
An empirical study of Android behavioural code smells detection. Empir. Softw. Eng. 27 (7) (2022)
Florent Avellaneda, Roger Villemaire
Undercover Boolean Matrix Factorization with MaxSAT. AAAI (2022)
Florent Avellaneda, Roger Villemaire
Boolean Matrix Factorization with SAT and MaxSAT. CoRR (2021)
Steve Boucher, Roger Villemaire
Quantified Boolean Solving for Achievement Games. KI (2021)
Dennis J. Drown, Roger Villemaire, Serge Robert
Big Players: Emotion in Twitter Communities Tweeting About Global Warming. Canadian Conference on AI (2020)
Benoit Potvin, Roger Villemaire
Robust Web Data Extraction Based on Unsupervised Visual Validation. ACIIDS (1) (2019)
Benoit Potvin, Roger Villemaire
When Different Is Wrong: Visual Unsupervised Validation for Web Information Extraction. MLDM (2) (2018)
Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé
A Declarative Approach to Network Device Configuration Correctness. J. Netw. Syst. Manag. 25 (1) (2017)
Benoit Potvin, Roger Villemaire, Ngoc-Tan Le
A Position-Based Method for the Extraction of Financial Information in PDF Documents. ADCS (2016)
Roger Villemaire
Homogeneity and Fix-Points: Going Forth! J. Symb. Log. 80 (2) (2015)
Roger Villemaire
Logic Modelling. CoRR (2015)
Pierre Ille, Roger Villemaire
Recognition of prime graphs from a prime subgraph. Discret. Math. 327 (2014)
Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui
Distributed firewall anomaly detection through LTL model checking. IM (2013)
Anthony Monnet, Roger Villemaire
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics CoRR (2013)
Anthony Monnet, Roger Villemaire
CDCL with Less Destructive Backtracking through Partial Ordering. PAAR@IJCAR (2012)
Bassam Khorchani, Sylvain Hallé, Roger Villemaire
Firewall anomaly detection with a model checker for visibility logic. NOMS (2012)
Sylvain Hallé, Roger Villemaire
Runtime Enforcement of Web Service Message Contracts with Data. IEEE Trans. Serv. Comput. 5 (2) (2012)
Roger Villemaire, Sylvain Hallé
Reasoning about visibility. J. Appl. Log. 10 (2) (2012)
Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire
ValidMaker: A tool for managing device configurations using logical constraints. NOMS (2012)
Sylvain Hallé, Roger Villemaire
Constraint-based invocation of stateful web services: The beep store (case study). PESOS@ICSE (2012)
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca
A Logical Approach to Data-Aware Automated Sequence Generation. Trans. Comput. Sci. 15 (2012)
Anthony Monnet, Roger Villemaire
Scalable formula decomposition for propositional satisfiability. C3S2E (2010)
Sylvain Hallé, Roger Villemaire
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV (2010)
Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
Runtime Verification of Web Service Interface Contracts. Computer 43 (3) (2010)
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35 (5) (2009)
Sylvain Hallé, Roger Villemaire
Runtime monitoring of web service choreographies using streaming XML. SAC (2009)
Roger Villemaire, Sylvain Hallé
Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME (2009)
Sylvain Hallé, Roger Villemaire
Flexible and reliable messaging using runtime monitoring. EDOCW (2009)
Sylvain Hallé, Roger Villemaire
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV (2009)
Sylvain Hallé, Roger Villemaire
Runtime Monitoring of Message-Based Workflows with Data. EDOC (2008)
Sylvain Hallé, Roger Villemaire
Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME (2008)
Sylvain Hallé, Roger Villemaire
XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) (2008)
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour
Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC (2007)
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour
Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM (2007)
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
CTL Model Checking for Labelled Tree Queries. TIME (2006)
Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui
Self-configuration of Network Devices with Configuration Logic. Autonomic Networking (2006)
Roger Villemaire, Sylvain Hallé, Omar Cherkaoui
Configuration Logic: A Multi-site Modal Logic. TIME (2005)
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
Modelling the Temporal Aspects of Network Configurations. Net-Con (2005)
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
A Formal Validation Model for the Netconf Protocol. DSOM (2004)
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire
Automated Validation of Service Configuration on Network Devices. MMNS (2004)
Roger Villemaire
An Approximation Semantics for the Propositional Mu-Calculus. MFCS (2002)
Christian Michaux, Roger Villemaire
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Ann. Pure Appl. Log. 77 (3) (1996)
Christian Michaux, Roger Villemaire
Cobham's Ttheorem seen through Büchi's Theorem. ICALP (1993)
Roger Villemaire
Completely decomposable abelian groups -categorical over a subgroup. Arch. Math. Log. 31 (4) (1992)
Roger Villemaire
The Theory of (N, +, Vk, V1) is Undecidable. Theor. Comput. Sci. 106 (2) (1992)
Roger Villemaire
Theories of Modules Closed Under Direct Products. J. Symb. Log. 57 (2) (1992)
Roger Villemaire
Joining k- and l-Recognizable Sets of Natural Numbers. STACS (1992)