| Runtime enforcement of web service message contracts with data S Hallé, R Villemaire IEEE Transactions on Services Computing 5 (2), 192-206, 2011 | 107 | 2011 |
| Runtime monitoring of message-based workflows with data S Hallé, R Villemaire 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 84 | 2008 |
| Runtime verification of web service interface contracts S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire Computer 43 (3), 59-66, 2010 | 67 | 2010 |
| Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines S Hallé, T Ettema, C Bunch, T Bultan Proceedings of the IEEE/ACM international conference on Automated Software …, 2010 | 63 | 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 | 56 | 2009 |
| MapReduce for parallel trace validation of LTL properties B Barre, M Klein, M Soucy-Boivin, PA Ollivier, S Hallé International Conference on Runtime Verification, 184-198, 2012 | 46 | 2012 |
| 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 | 41 | 2009 |
| When rv meets cep S Hallé International Conference on Runtime Verification, 68-91, 2016 | 40 | 2016 |
| Automated bug finding in video games: A case study for runtime monitoring S Varvaressos, K Lavoie, S Gaboury, S Hallé Computers in Entertainment (CIE) 15 (1), 1-28, 2017 | 37 | 2017 |
| Third international competition on runtime verification G Reger, S Hallé, Y Falcone International Conference on Runtime Verification, 21-37, 2016 | 37 | 2016 |
| Realizability analysis for message-based interactions using shared-state projections S Hallé, T Bultan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 31 | 2010 |
| 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 |
| Generating interface grammars from WSDL for automated verification of web services S Hallé, G Hughes, T Bultan, M Alkhalaf Service-Oriented Computing, 516-530, 2009 | 25 | 2009 |
| Browser-based enforcement of interface contracts in web applications with BeepBeep S Hallé, R Villemaire International Conference on Computer Aided Verification, 648-653, 2009 | 23 | 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 | 23 | 2007 |
| Declarative layout constraints for testing web applications S Hallé, N Bergeron, F Guérin, G Le Breton, O Beroual Journal of Logical and Algebraic Methods in Programming 85 (5), 737-758, 2016 | 20 | 2016 |
| 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 | 20 | 2004 |
| 10 years of IoT malware: A feature-based taxonomy B Vignau, R Khoury, S Hallé 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 19 | 2019 |
| A formalization of complex event stream processing S Hallé, S Varvaressos 2014 IEEE 18th International Enterprise Distributed Object Computing …, 2014 | 19 | 2014 |
| Testing web applications through layout constraints S Hallé, N Bergeron, F Guerin, G Le Breton 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 18 | 2015 |
Roger VillemaireProfessor of Computer Science, UQAMVerified email at uqam.ca
