R
Roger Villemaire
Researcher at Université du Québec à Montréal
Publications - 54
Citations - 883
Roger Villemaire is an academic researcher from Université du Québec à Montréal. The author has contributed to research in topics: Linear temporal logic & Web service. The author has an hindex of 12, co-authored 52 publications receiving 846 citations.
Papers
More filters
Journal ArticleDOI
LOGIC AND p-RECOGNIZABLE SETS OF INTEGERS
TL;DR: Cobham’s theorem is focused on which characterizes the sets recognizable in dierent bases p and on its generalization to N m due to Semenov.
Journal ArticleDOI
Runtime Enforcement of Web Service Message Contracts with Data
Sylvain Hallé,Roger Villemaire +1 more
TL;DR: This work presents an algorithm for the runtime monitoring of such message contracts with data parameterization in LTL-FO+, an extension of Linear Temporal Logic that allows first-order quantification over the data inside a trace of XML messages.
Proceedings ArticleDOI
Runtime Monitoring of Message-Based Workflows with Data
Sylvain Hallé,Roger Villemaire +1 more
TL;DR: Initial results indicate that LTL-FO+ is an appropriate language for expressing data dependencies on message traces and that its processing overhead on sample traces is acceptable.
Journal ArticleDOI
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
TL;DR: Let N be the set of nonnegative integers and L ⊆ N n is definable in 〈 N , +〉 if and only if every subset of N which is definability in 𝕂 N, +, L〉 is defined.
Journal ArticleDOI
Runtime Verification of Web Service Interface Contracts
TL;DR: Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the runtime testing and monitoring of Web applications.