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

Hallé Sylvain et Villemaire Roger. (2009). Runtime monitoring of web service choreographies using streaming XML. Dans : Proceedings of the 2009 ACM symposium on Applied Computing , March 08-12, 2009 , Honolulu, Hawaii.

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.

Villemaire Roger et Hallé Sylvain. (2009). Strong temporal, weak spatial logic for rule based filters. Dans : 16th International Symposium on Temporal Representation and Reasoning , 23-25 July 2009 , Brixen-Bressanone, Italy.

Hallé Sylvain et Villemaire Roger. (2008). Runtime monitoring of message-based workflows with data. Dans : 12th International IEEE Enterprise Distributed Object Computing Conference , 15-19 Sept. 2008, Munich, Germany.

Hallé Sylvain et Villemaire Roger. (2008). Satisfying a fragment of XQuery by branching-time reduction. Dans : 15th International Symposium on Temporal Representation and Reasoning , 16-18 June 2008 , Montreal, Canada.

Hallé Sylvain et Villemaire Roger. (2008). XML methods for validation of temporal properties on message traces with data. Lecture Notes in Computer Science, 5331, p. 337-353.

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.