Roger Villemaire
Roger Villemaire
Professor of Computer Science, UQAM
Verified email at
Cited by
Cited by
Logic and p-recognizable sets of integers.
V Bruyère, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994
Runtime enforcement of web service message contracts with data
S Hallé, R Villemaire
IEEE Transactions on Services Computing 5 (2), 192-206, 2011
Runtime monitoring of message-based workflows with data
S Hallé, R Villemaire
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008
Presburger arithmetic and recognizability of sets of natural numbers by automata: new proofs of Cobham's and Semenov's theorems
C Michaux, R Villemaire
Annals of Pure and Applied Logic 77 (3), 251-277, 1996
Runtime Verification of Web Service Interface Contracts.
S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire
Computer 43 (3), 59-66, 2010
Specifying and validating data-aware temporal web service properties
S Halle, R Villemaire, O Cherkaoui
IEEE Transactions on Software Engineering 35 (5), 669-683, 2009
The theory of< N,+, Vk, Vl> is undecidable
R Villemaire
Theoretical Computer Science 106 (2), 337-349, 1992
Runtime monitoring of web service choreographies using streaming XML
S Hallé, R Villemaire
Proceedings of the 2009 ACM symposium on Applied Computing, 2118-2125, 2009
XML methods for validation of temporal properties on message traces with data
S Hallé, R Villemaire
OTM Confederated International Conferences" On the Move to Meaningful …, 2008
Browser-based enforcement of interface contracts in web applications with BeepBeep
S Hallé, R Villemaire
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
Model checking data-aware workflow properties with CTL-FO+
S Hallé, R Villemaire, O Cherkaoui, B Ghandour
11th IEEE International Enterprise Distributed Object Computing Conference …, 2007
Automated validation of service configuration on network devices
S Hallé, R Deca, O Cherkaoui, R Villemaire
Management of Multimedia Networks and Services: 7th IFIP/IEEE International …, 2004
Firewall anomaly detection with a model checker for visibility logic
B Khorchani, S Hallé, R Villemaire
2012 IEEE Network Operations and Management Symposium, 466-469, 2012
A formal validation model for the netconf protocol
S Hallé, R Deca, O Cherkaoui, R Villemaire, D Puche
Utility Computing: 15th IFIP/IEEE International Workshop on Distributed …, 2004
Joining k- and l-recognizable sets of natural numbers
R Villemaire
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science …, 1992
Self-configuration of network devices with configuration logic
S Hallé, É Wenaas, R Villemaire, O Cherkaoui
IFIP TC6 International Conference on Autonomic Networking, 36-49, 2006
Configuration logic: A multi-site modal logic
R Villemaire, S Hallé, O Cherkaoui
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
Cobham's Theorem seen through Büchi's Theorem
C Michaux, R Villemaire
Automata, Languages and Programming: 20th International Colloquium, ICALP 93 …, 1993
Open questions around Buchi and Presburger arithmetics
C Michaux, R Villemaire
Logic: from foundations to applications: European logic colloquium, 353-383, 1996
Runtime verification for the web: a tutorial introduction to interface contracts in web applications
S Hallé, R Villemaire
International Conference on Runtime Verification, 106-121, 2010
The system can't perform the operation now. Try again later.
Articles 1–20