Runtime enforcement of web service message contracts with data S Hallé, R Villemaire IEEE Transactions on Services Computing 5 (2), 192-206, 2011 | 131 | 2011 |
Runtime monitoring of message-based workflows with data S Hallé, R Villemaire 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 91 | 2008 |
A survey of malware detection in Android apps: Recommendations and perspectives for future research A Razgallah, R Khoury, S Hallé, K Khanmohammadi Computer Science Review 39, 100358, 2021 | 79 | 2021 |
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 | 73 | 2019 |
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 | 67 | 2017 |
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 25th IEEE/ACM International Conference on Automated …, 2010 | 67 | 2010 |
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 |
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 |
When rv meets cep S Hallé Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 55 | 2016 |
MapReduce for parallel trace validation of LTL properties B Barre, M Klein, M Soucy-Boivin, PA Ollivier, S Hallé Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013 | 55 | 2013 |
Improving hyperconnected logistics with blockchains and smart contracts Q Betti, R Khoury, S Hallé, B Montreuil IT Professional 21 (4), 25-32, 2019 | 47 | 2019 |
Third international competition on runtime verification: CRV 2016 G Reger, S Hallé, Y Falcone Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 44 | 2016 |
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 |
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives B Vignau, R Khoury, S Hallé, A Hamou-Lhadj Journal of Systems Architecture 116, 102143, 2021 | 34 | 2021 |
Realizability analysis for message-based interactions using shared-state projections S Hallé, T Bultan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 34 | 2010 |
Streamlining the inclusion of computer experiments in a research paper S Halle, R Khoury, M Awesso Computer 51 (11), 78-89, 2018 | 32 | 2018 |
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 | 29 | 2016 |
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 | 27 | 2015 |
Generating interface grammars from WSDL for automated verification of web services S Hallé, G Hughes, T Bultan, M Alkhalaf European Conference on a Service-Based Internet, 516-530, 2009 | 27 | 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 |