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 | 275 | 1994 |

Runtime enforcement of web service message contracts with data S Hallé, R Villemaire IEEE Transactions on Services Computing 5 (2), 192-206, 2011 | 96 | 2011 |

Runtime monitoring of message-based workflows with data S Halle, R Villemaire 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 78 | 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 | 74 | 1996 |

Runtime verification of web service interface contracts S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire Computer 43 (3), 59-66, 2010 | 58 | 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 | 51 | 2009 |

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 | 38 | 2009 |

The theory of< N,+, Vk, Vl> is undecidable R Villemaire Theoretical Computer Science 106 (2), 337-349, 1992 | 37 | 1992 |

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 | 23 | 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 | 23 | 2007 |

Browser-based enforcement of interface contracts in web applications with BeepBeep S Hallé, R Villemaire International Conference on Computer Aided Verification, 648-653, 2009 | 21 | 2009 |

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 | 19 | 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 | 17 | 2012 |

Cobham's Theorem seen through Büchi's Theorem C Michaux, R Villemaire International Colloquium on Automata, Languages, and Programming, 325-334, 1993 | 16 | 1993 |

Joining *k*- and *l*-recognizable sets of natural numbersR Villemaire Annual Symposium on Theoretical Aspects of Computer Science, 83-94, 1992 | 16 | 1992 |

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 | 15 | 2004 |

Configuration logic: A multi-site modal logic R Villemaire, S Hallé, O Cherkaoui 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 14 | 2005 |

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 | 13 | 2006 |

Runtime Verification for the Web S Hallé, R Villemaire International Conference on Runtime Verification, 106-121, 2010 | 11 | 2010 |

Open questions around Buchi and Presburger arithmetics C Michaux, R Villemaire Logic: from foundations to applications: European logic colloquium, 353-383, 1996 | 11 | 1996 |