Roger Villemaire

53 papers A* 4A 1B 8C 4Misc 4Journal 18Unranked 14

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