publications:
- title: "CTL Model Checking for Labelled Tree Queries"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Omar Cherkaoui"
    link: "http://"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.11"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.11"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HalleVC06"
  cites: 0
  citedby: 0
  pages: "27-35"
  booktitle: "13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2617-9"
  kind: "inproceedings"
  key: "HalleVC06"
- title: "An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/ICMLA.2006.14"
  links:
    doi: "http://dx.doi.org/10.1109/ICMLA.2006.14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmla/Halle06"
  researchr: "https://researchr.org/publication/Halle06"
  cites: 0
  citedby: 0
  pages: "43-47"
  booktitle: "The Fifth International Conference on Machine Learning and Applications, ICMLA 2006, Orlando, Florida, USA, 14-16 December 2006"
  editor:
  - name: "M. Arif Wani"
    link: "https://researchr.org/alias/m.-arif-wani"
  - name: "Tao Li"
    link: "https://researchr.org/alias/tao-li"
  - name: "Lukasz A. Kurgan"
    link: "https://researchr.org/alias/lukasz-a.-kurgan"
  - name: "Jieping Ye"
    link: "https://researchr.org/alias/jieping-ye"
  - name: "Ying Liu"
    link: "https://researchr.org/alias/ying-liu"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2735-3"
  kind: "inproceedings"
  key: "Halle06"
- title: "Extending Model Checking to Data-Aware Temporal Properties of Web Services"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Omar Cherkaoui"
    link: "http://"
  - name: "Jérôme Tremblay"
    link: "https://researchr.org/alias/j%C3%A9r%C3%B4me-tremblay"
  - name: "Boubker Ghandour"
    link: "https://researchr.org/alias/boubker-ghandour"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_3"
  tags:
  - "model checking"
  - "meta-model"
  - "web service"
  - "web services"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HalleVCTG07"
  cites: 0
  citedby: 0
  pages: "31-45"
  booktitle: "Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings"
  editor:
  - name: "Marlon Dumas"
    link: "https://researchr.org/alias/marlon-dumas"
  - name: "Reiko Heckel"
    link: "http://www.cs.le.ac.uk/people/rh122/"
  volume: "4937"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79229-1"
  kind: "inproceedings"
  key: "HalleVCTG07"
- title: "Runtime Monitoring of Message-Based Workflows with Data"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/EDOC.2008.32"
  links:
    doi: "http://dx.doi.org/10.1109/EDOC.2008.32"
  tags:
  - "rule-based"
  - "data-flow"
  - "workflow"
  researchr: "https://researchr.org/publication/HalleV08"
  cites: 0
  citedby: 0
  pages: "63-72"
  booktitle: "12th International IEEE Enterprise Distributed Object Computing Conference, ECOC 2008, 15-19 September 2008, Munich, Germany"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3373-5"
  kind: "inproceedings"
  key: "HalleV08"
- title: "Satisfying a Fragment of XQuery by Branching-Time Reduction"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/TIME.2008.20"
  links:
    doi: "http://dx.doi.org/10.1109/TIME.2008.20"
  tags:
  - "XQuery"
  researchr: "https://researchr.org/publication/HalleV08%3A1"
  cites: 0
  citedby: 0
  pages: "72-76"
  booktitle: "15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Monteéal, Canada, 16-18 June 2008"
  editor:
  - name: "Stéphane Demri"
    link: "https://researchr.org/alias/st%C3%A9phane-demri"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3181-6"
  kind: "inproceedings"
  key: "HalleV08:1"
- title: "Modelling the Temporal Aspects of Network Configurations"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Rudy Deca"
    link: "https://researchr.org/alias/rudy-deca"
  - name: "Omar Cherkaoui"
    link: "http://"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Daniel Puche"
    link: "https://researchr.org/alias/daniel-puche"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/978-0-387-49690-0_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-49690-0_22"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HalleDCVP05"
  cites: 0
  citedby: 0
  pages: "269-282"
  booktitle: "Network Control and Engineering for QoS, Security and Mobility, IV, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005, Proceedings"
  editor:
  - name: "Dominique Gaïti"
    link: "https://researchr.org/alias/dominique-ga%C3%AFti"
  volume: "229"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-49689-4"
  kind: "inproceedings"
  key: "HalleDCVP05"
- title: "Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_50"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_50"
  tags:
  - "rule-based"
  - "contracts"
  - "web applications"
  researchr: "https://researchr.org/publication/HalleV09"
  cites: 0
  citedby: 0
  pages: "648-653"
  booktitle: "Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "5643"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02657-7"
  kind: "inproceedings"
  key: "HalleV09"
- title: "Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "http://intra.info.uqam.ca/personnels/Members/villemaire_r"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/HalleV10"
  tags:
  - "contracts"
  - "web applications"
  researchr: "https://researchr.org/publication/HalleV10"
  cites: 0
  citedby: 0
  pages: "106-121"
  booktitle: "Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings"
  editor:
  - name: "Howard Barringer"
    link: "https://researchr.org/alias/howard-barringer"
  - name: "Yliès Falcone"
    link: "https://researchr.org/alias/yli%C3%A8s-falcone"
  - name: "Bernd Finkbeiner"
    link: "https://researchr.org/alias/bernd-finkbeiner"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Gordon J. Pace"
    link: "https://researchr.org/alias/gordon-j.-pace"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Oleg Sokolsky"
    link: "https://researchr.org/alias/oleg-sokolsky"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  volume: "6418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16611-2"
  kind: "inproceedings"
  key: "HalleV10"
- title: "Runtime Verification of Web Service Interface Contracts"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  - name: "Graham Hughes"
    link: "https://researchr.org/alias/graham-hughes"
  - name: "Muath Alkhalaf"
    link: "https://researchr.org/alias/muath-alkhalaf"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2010.76"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2010.76"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/computer/HalleBHAV10"
  tags:
  - "contracts"
  - "web service"
  researchr: "https://researchr.org/publication/HalleBHAV10"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "43"
  number: "3"
  pages: "59-66"
  kind: "article"
  key: "HalleBHAV10"
- title: "A Formal Validation Model for the Netconf Protocol"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Rudy Deca"
    link: "https://researchr.org/alias/rudy-deca"
  - name: "Omar Cherkaoui"
    link: "http://"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Daniel Puche"
    link: "https://researchr.org/alias/daniel-puche"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3278&spage=147"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3278&spage=147"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/HalleDCVP04"
  cites: 0
  citedby: 0
  pages: "147-158"
  booktitle: "Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004.Proceedings"
  editor:
  - name: "Akhil Sahai"
    link: "https://researchr.org/alias/akhil-sahai"
  - name: "Felix Wu"
    link: "https://researchr.org/alias/felix-wu"
  volume: "3278"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23631-7"
  kind: "inproceedings"
  key: "HalleDCVP04"
- title: "Runtime monitoring of web service choreographies using streaming XML"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1529282.1529752"
  links:
    doi: "http://doi.acm.org/10.1145/1529282.1529752"
  tags:
  - "XML"
  - "XML Schema"
  - "web service"
  researchr: "https://researchr.org/publication/HalleV09%3A0"
  cites: 0
  citedby: 0
  pages: "2118-2125"
  booktitle: "Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009"
  editor:
  - name: "Sung Y. Shin"
    link: "https://researchr.org/alias/sung-y.-shin"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  publisher: "ACM"
  isbn: "978-1-60558-166-8"
  kind: "inproceedings"
  key: "HalleV09:0"
- title: "XML Methods for Validation of Temporal Properties on Message Traces with Data"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88871-0_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88871-0_23"
  tags:
  - "data validation"
  - "XML"
  - "XML Schema"
  - "data-flow"
  researchr: "https://researchr.org/publication/HalleV08%3A0"
  cites: 0
  citedby: 0
  pages: "337-353"
  booktitle: "On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I"
  editor:
  - name: "Robert Meersman"
    link: "https://researchr.org/alias/robert-meersman"
  - name: "Zahir Tari"
    link: "https://researchr.org/alias/zahir-tari"
  volume: "5331"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88870-3"
  kind: "inproceedings"
  key: "HalleV08:0"
- title: "Configuration Logic: A Multi-site Modal Logic"
  author:
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Omar Cherkaoui"
    link: "http://"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/TIME.2005.18"
  links:
    doi: "http://dx.doi.org/10.1109/TIME.2005.18"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/VillemaireHC05"
  cites: 0
  citedby: 0
  pages: "131-137"
  booktitle: "12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2370-6"
  kind: "inproceedings"
  key: "VillemaireHC05"
- title: "Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11579427_43"
  links:
    doi: "http://dx.doi.org/10.1007/11579427_43"
  tags:
  - "machine learning"
  researchr: "https://researchr.org/publication/Halle05"
  cites: 0
  citedby: 0
  pages: "425-434"
  booktitle: "MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings"
  editor:
  - name: "Alexander F. Gelbukh"
    link: "https://researchr.org/alias/alexander-f.-gelbukh"
  - name: "Alvaro de Albornoz"
    link: "https://researchr.org/alias/alvaro-de-albornoz"
  - name: "Hugo Terashima-Marín"
    link: "https://researchr.org/alias/hugo-terashima-mar%C3%ADn"
  volume: "3789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29896-7"
  kind: "inproceedings"
  key: "Halle05"
- title: "Self-configuration of Network Devices with Configuration Logic"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Éric Wenaas"
    link: "https://researchr.org/alias/%C3%A9ric-wenaas"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Omar Cherkaoui"
    link: "http://"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11880905_4"
  links:
    doi: "http://dx.doi.org/10.1007/11880905_4"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HalleWVC06"
  cites: 0
  citedby: 0
  pages: "36-49"
  booktitle: "Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings"
  editor:
  - name: "Dominique Gaïti"
    link: "https://researchr.org/alias/dominique-ga%C3%AFti"
  - name: "Guy Pujolle"
    link: "https://researchr.org/alias/guy-pujolle"
  - name: "Ehab S. Al-Shaer"
    link: "https://researchr.org/alias/ehab-s.-al-shaer"
  - name: "Kenneth L. Calvert"
    link: "https://researchr.org/alias/kenneth-l.-calvert"
  - name: "Simon A. Dobson"
    link: "https://researchr.org/alias/simon-a.-dobson"
  - name: "Guy Leduc"
    link: "https://researchr.org/alias/guy-leduc"
  - name: "Olli Martikainen"
    link: "https://researchr.org/alias/olli-martikainen"
  volume: "4195"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45891-3"
  kind: "inproceedings"
  key: "HalleWVC06"
- title: "Automated Validation of Service Configuration on Network Devices"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Rudy Deca"
    link: "https://researchr.org/alias/rudy-deca"
  - name: "Omar Cherkaoui"
    link: "http://"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3271&spage=176"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3271&spage=176"
  researchr: "https://researchr.org/publication/HalleDCV04"
  cites: 0
  citedby: 0
  pages: "176-188"
  booktitle: "Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings"
  editor:
  - name: "John B. Vicente"
    link: "https://researchr.org/alias/john-b.-vicente"
  - name: "David Hutchison"
    link: "https://researchr.org/alias/david-hutchison"
  volume: "3271"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23239-7"
  kind: "inproceedings"
  key: "HalleDCV04"
- title: "Model Checking Data-Aware Workflow Properties with CTL-FO+"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Roger Villemaire"
    link: "https://researchr.org/alias/roger-villemaire"
  - name: "Omar Cherkaoui"
    link: "http://"
  - name: "Boubker Ghandour"
    link: "https://researchr.org/alias/boubker-ghandour"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.37"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.37"
  tags:
  - "model checking"
  - "meta-model"
  - "context-aware"
  - "Meta-Environment"
  - "workflow"
  researchr: "https://researchr.org/publication/HalleVCG07"
  cites: 0
  citedby: 0
  pages: "267-278"
  booktitle: "11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "HalleVCG07"
- title: "Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines"
  author:
  - name: "Sylvain Hallé"
    link: "http://www.leduotang.com/sylvain"
  - name: "Taylor Ettema"
    link: "https://researchr.org/alias/taylor-ettema"
  - name: "Chris Bunch"
    link: "https://researchr.org/alias/chris-bunch"
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1858996.1859044"
  links:
    doi: "http://doi.acm.org/10.1145/1858996.1859044"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/HalleEBB10"
  tags:
  - "model checking"
  - "meta-model"
  - "web applications"
  - "Meta-Environment"
  - "state machines"
  researchr: "https://researchr.org/publication/HalleEBB10"
  cites: 0
  citedby: 0
  pages: "235-244"
  booktitle: "ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering,  Antwerp, Belgium, September 20-24, 2010"
  editor:
  - name: "Charles Pecheur"
    link: "https://researchr.org/alias/charles-pecheur"
  - name: "Jamie Andrews"
    link: "https://researchr.org/alias/jamie-andrews"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  publisher: "ACM"
  isbn: "978-1-4503-0116-9"
  kind: "inproceedings"
  key: "HalleEBB10"