| 2009 |
|---|
| 13 | EE | Sylvain Hallé,
Roger Villemaire:
Runtime monitoring of web service choreographies using streaming XML.
SAC 2009: 2118-2125 |
| 2008 |
|---|
| 12 | EE | Sylvain Hallé,
Roger Villemaire:
Runtime Monitoring of Message-Based Workflows with Data.
EDOC 2008: 63-72 |
| 11 | EE | Sylvain Hallé,
Roger Villemaire:
XML Methods for Validation of Temporal Properties on Message Traces with Data.
OTM Conferences (1) 2008: 337-353 |
| 10 | EE | Sylvain Hallé,
Roger Villemaire:
Satisfying a Fragment of XQuery by Branching-Time Reduction.
TIME 2008: 72-76 |
| 2007 |
|---|
| 9 | EE | Sylvain Hallé,
Roger Villemaire,
Omar Cherkaoui,
Boubker Ghandour:
Model Checking Data-Aware Workflow Properties with CTL-FO+.
EDOC 2007: 267-278 |
| 8 | EE | Sylvain Hallé,
Roger Villemaire,
Omar Cherkaoui,
Jérôme Tremblay,
Boubker Ghandour:
Extending Model Checking to Data-Aware Temporal Properties of Web Services.
WS-FM 2007: 31-45 |
| 2006 |
|---|
| 7 | EE | Sylvain Hallé,
Éric Wenaas,
Roger Villemaire,
Omar Cherkaoui:
Self-configuration of Network Devices with Configuration Logic.
Autonomic Networking 2006: 36-49 |
| 6 | EE | Sylvain Hallé,
Roger Villemaire,
Omar Cherkaoui:
CTL Model Checking for Labelled Tree Queries.
TIME 2006: 27-35 |
| 2005 |
|---|
| 5 | EE | Sylvain Hallé:
Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.
MICAI 2005: 425-434 |
| 4 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
Modelling the Temporal Aspects of Network Configurations.
Net-Con 2005: 269-282 |
| 3 | EE | Roger Villemaire,
Sylvain Hallé,
Omar Cherkaoui:
Configuration Logic: A Multi-site Modal Logic.
TIME 2005: 131-137 |
| 2004 |
|---|
| 2 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
A Formal Validation Model for the Netconf Protocol.
DSOM 2004: 147-158 |
| 1 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire:
Automated Validation of Service Configuration on Network Devices.
MMNS 2004: 176-188 |
