| 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 | 351 | 1994 |
| Runtime enforcement of web service message contracts with data S Hallé, R Villemaire IEEE Transactions on Services Computing 5 (2), 192-206, 2011 | 134 | 2011 |
| Runtime monitoring of message-based workflows with data S Hallé, R Villemaire 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 93 | 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 | 81 | 1996 |
| Runtime Verification of Web Service Interface Contracts. S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire Computer 43 (3), 59-66, 2010 | 69 | 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 | 59 | 2009 |
| The theory of< N,+, Vk, Vl> is undecidable R Villemaire Theoretical Computer Science 106 (2), 337-349, 1992 | 50 | 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 | 42 | 2009 |
| Browser-based enforcement of interface contracts in web applications with BeepBeep S Hallé, R Villemaire Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 26 | 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 | 26 | 2008 |
| 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 | 25 | 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 | 21 | 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 | 19 | 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 | 18 | 2004 |
| Joining k- and l-recognizable sets of natural numbers R Villemaire STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science …, 1992 | 16 | 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 | 15 | 2006 |
| Configuration logic: A multi-site modal logic R Villemaire, S Hallé, O Cherkaoui 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 15 | 2005 |
| Cobham's Theorem seen through Büchi's Theorem C Michaux, R Villemaire Automata, Languages and Programming: 20th International Colloquium, ICALP 93 …, 1993 | 15 | 1993 |
| Open questions around Buchi and Presburger arithmetics C Michaux, R Villemaire Logic: from foundations to applications: European logic colloquium, 353-383, 1996 | 14 | 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 | 13 | 2010 |
