@inproceedings{HalleVC06,
  title = {CTL Model Checking for Labelled Tree Queries},
  author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui},
  year = {2006},
  doi = {10.1109/TIME.2006.11},
  url = {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},
}

@inproceedings{Halle06,
  title = {An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets},
  author = {Sylvain Hallé},
  year = {2006},
  doi = {10.1109/ICMLA.2006.14},
  url = {http://dx.doi.org/10.1109/ICMLA.2006.14},
  researchr = {https://researchr.org/publication/Halle06},
  cites = {0},
  citedby = {0},
  pages = {43-47},
  booktitle = {icmla},
}

@inproceedings{HalleVCTG07,
  title = {Extending Model Checking to Data-Aware Temporal Properties of Web Services},
  author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Jérôme Tremblay and Boubker Ghandour},
  year = {2007},
  doi = {10.1007/978-3-540-79230-7_3},
  url = {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},
}

@inproceedings{HalleV08,
  title = {Runtime Monitoring of Message-Based Workflows with Data},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2008},
  doi = {10.1109/EDOC.2008.32},
  url = {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},
}

@inproceedings{HalleV08:1,
  title = {Satisfying a Fragment of XQuery by Branching-Time Reduction},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2008},
  doi = {10.1109/TIME.2008.20},
  url = {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},
}

@inproceedings{HalleDCVP05,
  title = {Modelling the Temporal Aspects of Network Configurations},
  author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche},
  year = {2005},
  doi = {10.1007/978-0-387-49690-0_22},
  url = {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},
}

@inproceedings{HalleV09,
  title = {Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2009},
  doi = {10.1007/978-3-642-02658-4_50},
  url = {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},
}

@inproceedings{HalleV10,
  title = {Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_10},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_10},
  tags = {contracts, web applications},
  researchr = {https://researchr.org/publication/HalleV10},
  cites = {0},
  citedby = {0},
  pages = {106-121},
  booktitle = {RV},
}

@article{HalleBHAV10,
  title = {Runtime Verification of Web Service Interface Contracts},
  author = {Sylvain Hallé and Tevfik Bultan and Graham Hughes and Muath Alkhalaf and Roger Villemaire},
  year = {2010},
  doi = {10.1109/MC.2010.76},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2010.76},
  tags = {contracts, web service},
  researchr = {https://researchr.org/publication/HalleBHAV10},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {43},
  number = {3},
  pages = {59-66},
}

@inproceedings{HalleDCVP04,
  title = {A Formal Validation Model for the Netconf Protocol},
  author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche},
  year = {2004},
  url = {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},
}

@inproceedings{HalleV09:0,
  title = {Runtime monitoring of web service choreographies using streaming XML},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2009},
  doi = {10.1145/1529282.1529752},
  url = {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},
}

@inproceedings{HalleV08:0,
  title = {XML Methods for Validation of Temporal Properties on Message Traces with Data},
  author = {Sylvain Hallé and Roger Villemaire},
  year = {2008},
  doi = {10.1007/978-3-540-88871-0_23},
  url = {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},
}

@inproceedings{VillemaireHC05,
  title = {Configuration Logic: A Multi-site Modal Logic},
  author = {Roger Villemaire and Sylvain Hallé and Omar Cherkaoui},
  year = {2005},
  doi = {10.1109/TIME.2005.18},
  url = {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},
}

@inproceedings{Halle05,
  title = {Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning},
  author = {Sylvain Hallé},
  year = {2005},
  doi = {10.1007/11579427_43},
  url = {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},
}

@inproceedings{HalleWVC06,
  title = {Self-configuration of Network Devices with Configuration Logic},
  author = {Sylvain Hallé and Éric Wenaas and Roger Villemaire and Omar Cherkaoui},
  year = {2006},
  doi = {10.1007/11880905_4},
  url = {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},
}

@inproceedings{HalleDCV04,
  title = {Automated Validation of Service Configuration on Network Devices},
  author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire},
  year = {2004},
  url = {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},
}

@inproceedings{HalleVCG07,
  title = {Model Checking Data-Aware Workflow Properties with CTL-FO+},
  author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Boubker Ghandour},
  year = {2007},
  doi = {10.1109/EDOC.2007.37},
  url = {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},
}

@inproceedings{HalleEBB10,
  title = {Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines},
  author = {Sylvain Hallé and Taylor Ettema and Chris Bunch and Tevfik Bultan},
  year = {2010},
  doi = {10.1145/1858996.1859044},
  url = {http://doi.acm.org/10.1145/1858996.1859044},
  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},
}