Seguir
Sylvain Hallé
Sylvain Hallé
Professor of Computer Science, Université du Québec à Chicoutimi
Email confirmado em acm.org - Página inicial
Título
Citado por
Citado por
Ano
Runtime enforcement of web service message contracts with data
S Hallé, R Villemaire
IEEE Transactions on Services Computing 5 (2), 192-206, 2011
1302011
Runtime monitoring of message-based workflows with data
S Hallé, R Villemaire
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008
902008
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
712021
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
672019
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
672017
Runtime Verification of Web Service Interface Contracts.
S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire
Computer 43 (3), 59-66, 2010
672010
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
642010
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
582009
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
Improving hyperconnected logistics with blockchains and smart contracts
Q Betti, R Khoury, S Hallé, B Montreuil
IT Professional 21 (4), 25-32, 2019
462019
Third international competition on runtime verification: CRV 2016
G Reger, S Hallé, Y Falcone
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
432016
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
422009
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
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
322021
Streamlining the inclusion of computer experiments in a research paper
S Halle, R Khoury, M Awesso
Computer 51 (11), 78-89, 2018
322018
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
272016
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
262009
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
262008
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20