متابعة
Sylvain Hallé
Sylvain Hallé
Professor of Computer Science, Université du Québec à Chicoutimi
بريد إلكتروني تم التحقق منه على acm.org - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Runtime enforcement of web service message contracts with data‏
S Hallé, R Villemaire‏
IEEE Transactions on Services Computing 5 (2), 192-206, 2011‏
1382011
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‏
932021
Runtime monitoring of message-based workflows with data‏
S Hallé, R Villemaire‏
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008‏
932008
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‏
822019
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‏
782017
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‏
682010
Runtime Verification of Web Service Interface Contracts.‏
S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire‏
Computer 43 (3), 59-66, 2010‏
682010
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‏
612009
Improving hyperconnected logistics with blockchains and smart contracts‏
Q Betti, R Khoury, S Hallé, B Montreuil‏
IT Professional 21 (4), 25-32, 2019‏
602019
When rv meets cep‏
S Hallé‏
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016‏
572016
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‏
542013
Third international competition on runtime verification: CRV 2016‏
G Reger, S Hallé, Y Falcone‏
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016‏
462016
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‏
432021
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‏
412009
Realizability analysis for message-based interactions using shared-state projections‏
S Hallé, T Bultan‏
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010‏
342010
Streamlining the inclusion of computer experiments in a research paper‏
S Halle, R Khoury, M Awesso‏
Computer 51 (11), 78-89, 2018‏
332018
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‏
292016
Event stream processing with BeepBeep 3: Log crunching and analysis made easy‏
S Hallé‏
Presses de l'Université du Québec, 2018‏
272018
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‏
272015
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‏
272009
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20