Publications and Communications

In this page you will find my publications as well as slides for talks I gave as an invited speaker and in conferences.

Multimedia

Appearances in the media and recorded talks are grouped here for your convenience.

Talks

  • Runtime monitoring of a temporal logic with quantification. University of South Australia, Adelaide, September 21st 2009. Watch the video (76 mins, in English)
  • Validation and monitoring of web applications: a brief overview. Google Test and Automation Conference (GTAC 2009), Zurich, Switzerland, October 21st 2009 ("Lightning Talk" session). Watch the video (the first 5 minutes are me)

Appearances in the media

  • Segment in Radio-Canada's Les Années lumière radio program, live interview with Jean-Marie De Koninck on being named Scientist of the Year 2005, January 22nd, 2006. I play the game show host in the skit that starts at 1:40. Listen (8 mins, in French)

Publications

You can also see my entry at DBLP that does not list them all. Most of these publications are available here in PDF format (just click on the title to download them).

Refereed Book chapters

  1. Hallé, S., Villemaire, R. (2010). XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts. In Li, C., Ling, T.W. (eds.), Advanced Applications and Structures in XML Processing, IGI Global. ISBN 1-61520-727-9, book on publisher's site.

Refereed Journals

  1. Hallé, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R. (2010). Runtime Verification of Web Service Interface Contracts. IEEE Computer, March 2010, 51-58. Available as a preprint.
  2. Hallé, S., Villemaire, R., Cherkaoui, O. (2009). Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Transactions on Software Engineering, 36 (5), sept.-oct. 2009, 669-683.

Refereed International Conferences

  1. Hallé, S., Hughes, G., Bultan, T., Alkhalaf, M. (2009). Generating Interface Grammars from WSDL for Automated Verification of Web Services. Proc. ICSOC 2009, Springer: Lecture Notes in Computer Science 5900, 440-454.
  2. Hallé, S., Villemaire, R. (2009). Flexible and Reliable Messaging using Runtime Monitoring. Proc. EDOC 2009 Workshops, IEEE Computer Society, 116-125.
  3. Villemaire, R., Hallé, S. (2009). Strong Temporal, Weak Spatial Logic for Rule Based Filters. Proc. TIME 2009, IEEE Computer Society, 115-121.
  4. Hallé, S., Villemaire, R. (2009). Browser-based Enforcement of Interface Contracts in Web Applications with BeepBeep. Proc. CAV 2009, Springer: Lecture Notes in Computer Science 5643, 648-653.
  5. Hallé, S., Villemaire, R. (2009). Runtime Monitoring of Web Service Choreographies Using Streaming XML. Proc. ACM SAC 2009, 1851-1858.
  6. Hallé, S., Villemaire, R. (2008). XML Methods for Validation of Temporal Properties on Message Traces With Data. Proc. CoopIS 2008, Springer: Lecture Notes in Computer Science 5331, 337-353.
  7. Hallé, S., Villemaire, R. (2008). Runtime Monitoring of Message-Based Workflows with Data. Proc. EDOC 2008, IEEE Computer Society, 63-72.
  8. Hallé, S., Villemaire, R. (2008). Satisfying a Fragment of XQuery by Branching-Time Reduction. Proc. TIME 2008, IEEE Computer Society, 72-76.
  9. Hallé, S., Villemaire, R., Cherkaoui, O., Tremblay, J., Ghandour, B. (2007). Extending Model Checking to Data-Aware Temporal Properties of Web Services. Proc. WS-FM 2007, Springer: Lecture Notes in Computer Science 4937, 31-45.
  10. Hallé, S., Villemaire, R., Cherkaoui, O., Ghandour, B. (2007). Model-checking Data-Aware Temporal Workflow Properties with CTL-FO+. Proc. EDOC 2007, IEEE Computer Society, 267-278.
  11. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R., Puche, D. (2007). Modelling the Temporal Aspects of Network Configuration. Proc. NetCon 2005, Springer: IFIP Series 229, 269-282.
  12. Hallé, S. (2006). An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. Proc. ICMLA 2006, IEEE Computer Society, 43-47.
  13. Villemaire, R., Hallé, S., Cherkaoui, O. (2006). Skolem Functions and Herbrand Universes in a Tree Generalization of First-Order Logic. Proc. MICAI 2006, IEEE Computer Society, 22-31.
  14. Hallé, S., Wenaas, E., Villemaire, R., Cherkaoui, O. (2006). Self-configuration of Network Devices with Configuration Logic. Proc. AN 2006, Springer: Lecture Notes in Computer Science 4195, 36-49.
  15. Hallé, S., Villemaire, R., Cherkaoui, O. (2006). CTL Model Checking for Labelled Tree Queries. Proc. TIME 2006, IEEE Computer Society, 27-35.
  16. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R., Puche, D. (2006). Sequential Dependencies in Configuration Operations. Proc. GRES 2006, 112-123.
  17. Villemaire, R., Hallé, S., Cherkaoui, O., Deca, R. (2005). A Hierarchical Logic for Network Configuration. Proc. LPAR-12 (short paper proceedings).
  18. Hallé, S. (2005). Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. Proc. MICAI 2005, Springer: Lecture Notes in Artificial Intelligence 3789, 425-434.
  19. Villemaire, R., Hallé, S., Cherkaoui, O. (2005). Configuration Logic: A Multi-site Modal Logic. Proc. TIME 2005, IEEE Computer Society, 131-137.
  20. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R., Puche, D. (2005). Modelling the Temporal Aspects of Network Configuration. Proc. IM 2005 (poster presentation, 4 pages).
  21. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R., Puche, D. (2004). A Formal Validation Model for the NetConf Protocol. Proc. DSOM 2004, Springer: Lecture Notes in Computer Science 3278, 147-158.
  22. Hallé, S., Deca, R., Cherkaoui, O., Villemaire, R. (2004). Automated Validation of Service Configuration on Network Devices. Proc. MMNS 2004, Springer: Lecture Notes in Computer Science 3271, 176-188.

Other Publications

  1. Gašević, D., Grossmann, G., Hallé, S. (2009). Dynamic and Declarative Business Processes: Editorial. Proc. EDOC 2009 Workshops, IEEE Computer Society, 1-4.
  2. Hallé, S., Villemaire, R. (2008). 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16-18, 2008. Bul. Symbolic Logic 15 (3), 377-378.

Communications

Here are the communications that I presented or will present personally. For some of these communications, the slides are available in PDF format.

Invited talks

  1. Runtime monitoring of a temporal logic with quantification (slides). Invited talks at:
    • ETH Zürich, Switzerland, October 27th 2009
    • University of South Australia, Adelaide, September 21st 2009 Watch the video (76 mins)
  2. Le runtime monitoring d'une logique temporelle (in French; English title: "Runtime monitoring of a temporal logic"). Invited talk at Université de Savoie, Chambéry, France, June 25th 2009
  3. La quantification du premier ordre en logique temporelle: applications aux documents XML et aux services web (in French; English title: "First-order quantification in temporal logic: application to XML and web services"). Invited talk at École normale supérieure de Cachan, France, Sep. 9th 2008
  4. Runtime monitoring de propriétés temporelles par (streaming) XML (in French; English title: "Runtime monitoring of temporal properties with streaming XML"). Invited talk at École normale supérieure de Cachan, France, Sep. 12th 2008

Talks in refereed international conferences

  1. Generating Interface Grammars from WSDL for Automated Verification of Web Services. To be presented at the International Conference on Service-Oriented Computing (ICSOC 2009), November 2009, Stockholm, Sweden
  2. Flexible and Reliable Messaging using Runtime Monitoring. Advances in Quality of Service Management Workshop (AQuSerM 2009), September 1st 2009, Auckland, New Zealand
  3. Browser-based Enforcement of Interface Contracts in Web Applications with BeepBeep. 21st Conference on Computer Aided Verification (CAV 2009), 26 June-3 July 2009, Grenoble, France
  4. Runtime Monitoring of Web Service Choreographies Using Streaming XML. 24th ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009, Honolulu, USA
  5. XML Methods for Validation of Temporal Properties on Message Traces With Data. 16th International Conference on Cooperative Information Systems (CoopIS 2008), 12-14 November 2008, Monterrey, Mexico
  6. Runtime Monitoring of Message-Based Workflows with Data. 12th International IEEE EDOC Conference (EDOC 2008), 15-19 September 2008, Munich, Germany
  7. Satisfying a Fragment of XQuery by Branching-Time Reduction. 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), 16-18 June 2008, Montreal, Canada
  8. Model-checking Data-Aware Temporal Workflow Properties with CTL-FO+. 11th International IEEE EDOC Conference (EDOC 2007), 15-19 October 2007, Annapolis, USA
  9. Extending Model Checking to Data-Aware Temporal Properties of Web Services. 4th International Workshop on Web Services Formal Methods (WS-FM 2007), 28-29 September 2007, Brisbane, Australia
  10. An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. International Conference on Machine Learning and Applications (ICMLA 2006), 14-16 December 2006, Orlando, Florida
  11. Self-configuration of Network Devices with Configuration Logic. Autonomic Networking (AN 2006), 27-29 September 2006, Paris, France
  12. CTL Model Checking for Labelled Tree Queries. 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary
  13. Dépendances sémantiques dans les messages des services web. 74e Congrès de l'Acfas, May 15-19, 2006, McGill University, Montréal
  14. Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. 4th Mexican International Conference on Artificial Intelligence (MICAI 2005), November 14-18 2005, Monterrey, Mexico
  15. Configuration Logic: A Multi-site Modal Logic. 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA
  16. Automated Validation of Service Configuration on Network Devices. Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004

Other talks

  1. Validation and monitoring of web applications: a brief overview. Google Test and Automation Conference (GTAC 2009), Zurich, Switzerland, October 2009 ("Lightning Talk" session). Watch the video (the first 5 minutes are me).
  2. Math en jeu. Colloque annuel de l'Association mathématique du Québec (AMQ), Shawinigan, Canada, October 2006 (in French)
  3. Math en jeu. Mini-session du Groupe des responsables en mathématiques au secondaire (GRMS), Drummondville, Canada, October 2006 (in French)
  4. Plonger une logique spatiale dans une logique temporelle. Colloque ISM des étudiants avancés, Université Laval, Québec, Canada, May 2006 (in French)
  5. Service Orchestration and Validation in UCLP. CANARIE UCLPv2 Workshop, March 15-17, 2006, Ottawa
  6. Logiques temporelles pour la validation des configurations réseau. Colloque ISM des étudiants avancés, Université de Montréal, Montréal, Canada, May 2004 (in French)
  7. Les EBF creuses. Colloque ISM des étudiants avancés, Université Laval, Québec, Canada, May 2003 (in French)
  8. The Refinement of Program Specifications. Rose-Hulman Undergraduate Mathematics Conference, Rose-Hulman Institute of Technology, Terre Haute, USA, March 2001