Roger Villemaire

Logic and {$p$}-recognizable sets of integers

Véronique Bruyàre, G. Hansel, Christian Michaux et al. · Bulletin of the Belgian Mathematical Society - Simon Stevin · 1994 · 248 citations

Computational Logic, Combinatorics On Word, Computational Number Theory +11

Runtime Enforcement of Web Service Message Contracts with Data

Sylvain Hallé, Roger Villemaire · IEEE Transactions on Services Computing · 2011 · 107 citations

Runtime Monitoring of Message-Based Workflows with Data

Sylvain Hallé, Roger Villemaire · 2008 · 66 citations

Engineering, Data Dependencies, Verification +25

Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems

Christian Michaux, Roger Villemaire · Annals of Pure and Applied Logic · 1996 · 60 citations

Combinatorics On Word, New Proofs, Computational Number Theory +5

Runtime Verification of Web Service Interface Contracts

Sylvain Hallé, Tevfik Bultan, Graham Hughes et al. · Computer · 2010 · 49 citations

Engineering, Business Intelligence, Verification +24