Sylvain Hallé
Sylvain Hallé
Professor of Computer Science, Université du Québec à Chicoutimi
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Runtime enforcement of web service message contracts with data
S Hallé, R Villemaire
IEEE Transactions on Services Computing 5 (2), 192-206, 2011
1002011
Runtime monitoring of message-based workflows with data
S Halle, R Villemaire
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008
782008
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
592010
Runtime verification of web service interface contracts
S Hallé, T Bultan, G Hughes, M Alkhalaf, R Villemaire
Computer 43 (3), 59-66, 2010
582010
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
532009
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
462012
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
382009
When rv meets cep
S Hallé
International Conference on Runtime Verification, 68-91, 2016
362016
Third international competition on runtime verification
G Reger, S Hallé, Y Falcone
International Conference on Runtime Verification, 21-37, 2016
322016
Realizability analysis for message-based interactions using shared-state projections
S Hallé, T Bultan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
322010
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
252017
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
232008
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
232007
Browser-based enforcement of interface contracts in web applications with BeepBeep
S Hallé, R Villemaire
International Conference on Computer Aided Verification, 648-653, 2009
212009
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
202009
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
192004
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
172016
Firewall anomaly detection with a model checker for visibility logic
B Khorchani, S Hallé, R Villemaire
2012 IEEE Network Operations and Management Symposium, 466-469, 2012
172012
Activity Recognition Through Complex Event Processing: First Findings.
S Hallé, S Gaboury, B Bouchard, S Giroux, A Bouzouane
AAAI workshop: artificial intelligence applied to assistive technologies and …, 2016
162016
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
162015
The system can't perform the operation now. Try again later.
Articles 1–20