@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 = {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},
}

@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 = {The Fifth International Conference on Machine Learning and Applications, ICMLA 2006, Orlando, Florida, USA, 14-16 December 2006},
  editor = {M. Arif Wani and Tao Li and Lukasz A. Kurgan and Jieping Ye and Ying Liu},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2735-3},
}

@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 = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  editor = {Marlon Dumas and Reiko Heckel},
  volume = {4937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79229-1},
}

@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 = {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},
}

@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 = {15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Monteéal, Canada, 16-18 June 2008},
  editor = {Stéphane Demri and Christian S. Jensen},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3181-6},
}

@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 = {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 = {Dominique Gaïti},
  volume = {229},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-49689-4},
}

@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 = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  editor = {Ahmed Bouajjani and Oded Maler},
  volume = {5643},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02657-7},
}

@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 = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
  editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
  volume = {6418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16611-2},
}

@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 = {IEEE 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 = {Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004.Proceedings},
  editor = {Akhil Sahai and Felix Wu},
  volume = {3278},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23631-7},
}

@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 = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
  editor = {Sung Y. Shin and Sascha Ossowski},
  publisher = {ACM},
  isbn = {978-1-60558-166-8},
}

@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 = {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 = {Robert Meersman and Zahir Tari},
  volume = {5331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88870-3},
}

@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 = {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},
}

@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 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings},
  editor = {Alexander F. Gelbukh and Alvaro de Albornoz and Hugo Terashima-Marín},
  volume = {3789},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29896-7},
}

@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 = {Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings},
  editor = {Dominique Gaïti and Guy Pujolle and Ehab S. Al-Shaer and Kenneth L. Calvert and Simon A. Dobson and Guy Leduc and Olli Martikainen},
  volume = {4195},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45891-3},
}

@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 = {Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings},
  editor = {John B. Vicente and David Hutchison},
  volume = {3271},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23239-7},
}

@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 = {11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA},
  publisher = {IEEE Computer Society},
}

@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 2010, 25th IEEE/ACM International Conference on Automated Software Engineering,  Antwerp, Belgium, September 20-24, 2010},
  editor = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto},
  publisher = {ACM},
  isbn = {978-1-4503-0116-9},
}