Roger Villemaire
Roger Villemaire
Professor of Computer Science, UQAM
Verified email at uqam.ca
Title
Cited by
Cited by
Year
Logic and p-recognizable sets of integers.
V Bruyere, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994
2751994
Runtime enforcement of web service message contracts with data
S Hallé, R Villemaire
IEEE Transactions on Services Computing 5 (2), 192-206, 2011
962011
Runtime monitoring of message-based workflows with data
S Halle, R Villemaire
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008
782008
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
741996
Runtime verification of web service interface contracts
S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire
Computer 43 (3), 59-66, 2010
582010
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
512009
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
382009
The theory of< N,+, Vk, Vl> is undecidable
R Villemaire
Theoretical Computer Science 106 (2), 337-349, 1992
371992
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
232008
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
232007
Browser-based enforcement of interface contracts in web applications with BeepBeep
S Hallé, R Villemaire
International Conference on Computer Aided Verification, 648-653, 2009
212009
Automated validation of service configuration on network devices
S Hallé, R Deca, O Cherkaoui, R Villemaire
IFIP/IEEE International Conference on Management of Multimedia Networks and …, 2004
192004
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
172012
Cobham's Theorem seen through Büchi's Theorem
C Michaux, R Villemaire
International Colloquium on Automata, Languages, and Programming, 325-334, 1993
161993
Joining k- and l-recognizable sets of natural numbers
R Villemaire
Annual Symposium on Theoretical Aspects of Computer Science, 83-94, 1992
161992
A formal validation model for the netconf protocol
S Hallé, R Deca, O Cherkaoui, R Villemaire, D Puche
International Workshop on Distributed Systems: Operations and Management …, 2004
152004
Configuration logic: A multi-site modal logic
R Villemaire, S Hallé, O Cherkaoui
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
142005
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
132006
Runtime Verification for the Web
S Hallé, R Villemaire
International Conference on Runtime Verification, 106-121, 2010
112010
Open questions around Buchi and Presburger arithmetics
C Michaux, R Villemaire
Logic: from foundations to applications: European logic colloquium, 353-383, 1996
111996
The system can't perform the operation now. Try again later.
Articles 1–20