Roger Villemaire
Université du Québec à Montréal(CA)
Publications by Year
Research Areas
Formal Methods in Verification, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis, Logic, programming, and type systems, Computability, Logic, AI Algorithms
Most-Cited Works
- → Logic and {$p$}-recognizable sets of integers(1994)248 cited
- → Runtime Enforcement of Web Service Message Contracts with Data(2011)107 cited
- → Runtime Monitoring of Message-Based Workflows with Data(2008)66 cited
- → Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems(1996)60 cited
- → Runtime Verification of Web Service Interface Contracts(2010)49 cited
- → Specifying and Validating Data-Aware Temporal Web Service Properties(2009)43 cited
- → The theory of 〈N, +, Vk, Vl〉 is undecidable(1992)31 cited
- → Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep(2009)21 cited
- → Runtime monitoring of web service choreographies using streaming XML(2009)19 cited
- → XML Methods for Validation of Temporal Properties on Message Traces with Data(2008)17 cited