Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Hallé Sylvain, Villemaire Roger et Cherkaoui Omar. (2009). Specifying and validating data-aware temporal web service properties. IEEE Transactions on Software Engineering, 35, (5), p. 669-683.

Hallé Sylvain, Villemaire Roger, Cherkaoui Omar, Tremblay Jérôme et Ghandour Boubker. (2008). Extending model checking to data-aware temporal properties of web services. Lecture Notes in Computer Science, 4937, p. 31-45.

Hallé Sylvain, Villemaire Roger, Cherkaoui Omar et Ghandour Boubker. (2007). Model-checking data-aware temporal workflow properties with CTL-FO+. Dans : IEEE International Enterprise Distributed Object Computing Conference , 15-19 October 2007, Annapolis, Maryland.

Hallé Sylvain, Wenaas Éric, Villemaire Roger et Cherkaoui Omar. (2006). Self-configuration of network devices with Configuration Logic. Lecture Notes in Computer Science, 4195, p. 36-49.