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: "time"
  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: "icmla"
  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: "wsfm"
  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: "edoc"
  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: "time"
  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: "ifip6-2"
  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: "cav"
  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: "RV"
  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: "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: "dsom"
  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: "SAC"
  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: "otm"
  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: "time"
  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"
  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: "ifip6"
  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: "mmns"
  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: "edoc"
  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"
  kind: "inproceedings"
  key: "HalleEBB10"