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

Article publié dans une revue avec comité d'évaluation

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, 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.

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.

Matériel de conférence

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. (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 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, 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.

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.