Roger Villemaire

According to our database1, Roger Villemaire authored at least 43 papers between 1992 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Big Players: Emotion in Twitter Communities Tweeting About Global Warming.
Proceedings of the Advances in Artificial Intelligence, 2020

Robust Web Data Extraction Based on Unsupervised Visual Validation.
Proceedings of the Intelligent Information and Database Systems - 11th Asian Conference, 2019

When Different Is Wrong: Visual Unsupervised Validation for Web Information Extraction.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2018

A Declarative Approach to Network Device Configuration Correctness.
J. Netw. Syst. Manag., 2017

A Position-Based Method for the Extraction of Financial Information in PDF Documents.
Proceedings of the 21st Australasian Document Computing Symposium, 2016

Homogeneity and Fix-Points: Going Forth!
J. Symb. Log., 2015

Logic Modelling.
CoRR, 2015

Recognition of prime graphs from a prime subgraph.
Discret. Math., 2014

Efficient Partial Order CDCL Using Assertion Level Choice Heuristics
CoRR, 2013

Distributed firewall anomaly detection through LTL model checking.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Runtime Enforcement of Web Service Message Contracts with Data.
IEEE Trans. Serv. Comput., 2012

A Logical Approach to Data-Aware Automated Sequence Generation.
Trans. Comput. Sci., 2012

Reasoning about visibility.
J. Appl. Log., 2012

Firewall anomaly detection with a model checker for visibility logic.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

ValidMaker: A tool for managing device configurations using logical constraints.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Constraint-based invocation of stateful web services: The beep store (case study).
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

CDCL with Less Destructive Backtracking through Partial Ordering.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Runtime Verification of Web Service Interface Contracts.
Computer, 2010

Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.
Proceedings of the Runtime Verification - First International Conference, 2010

Scalable formula decomposition for propositional satisfiability.
Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2010

Specifying and Validating Data-Aware Temporal Web Service Properties.
IEEE Trans. Software Eng., 2009

Strong Temporal, Weak Spatial Logic for Rule Based Filters.
Proceedings of the TIME 2009, 2009

Runtime monitoring of web service choreographies using streaming XML.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Flexible and reliable messaging using runtime monitoring.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Satisfying a Fragment of XQuery by Branching-Time Reduction.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

XML Methods for Validation of Temporal Properties on Message Traces with Data.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Runtime Monitoring of Message-Based Workflows with Data.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Extending Model Checking to Data-Aware Temporal Properties of Web Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Model Checking Data-Aware Workflow Properties with CTL-FO+.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

CTL Model Checking for Labelled Tree Queries.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Self-configuration of Network Devices with Configuration Logic.
Proceedings of the Autonomic Networking, First International IFIP TC6 Conference, 2006

Configuration Logic: A Multi-site Modal Logic.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Modelling the Temporal Aspects of Network Configurations.
Proceedings of the Network Control and Engineering for QoS, 2005

Automated Validation of Service Configuration on Network Devices.
Proceedings of the Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, 2004

A Formal Validation Model for the Netconf Protocol.
Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004

An Approximation Semantics for the Propositional Mu-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
Ann. Pure Appl. Log., 1996

Cobham's Ttheorem seen through Büchi's Theorem.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

The Theory of (N, +, Vk, V1) is Undecidable.
Theor. Comput. Sci., 1992

Theories of Modules Closed Under Direct Products.
J. Symb. Log., 1992

Completely decomposable abelian groups -categorical over a subgroup.
Arch. Math. Log., 1992

Joining k- and l-Recognizable Sets of Natural Numbers.
Proceedings of the STACS 92, 1992