Sylvain Hallé

	2009
15		Sylvain Hallé, Roger Villemaire: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653
14		Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530
13		Sylvain Hallé, Roger Villemaire: Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125
	2008
12		Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72
11		Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353
10		Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76
	2007
9		Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
8		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		Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
6		Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35
	2005
5		Sylvain Hallé: Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. MICAI 2005: 425-434
4		Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
3		Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137
	2004
2		Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
1		Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188

Coauthor Index

1	Muath Alkhalaf	[14]
2	Tevfik Bultan	[14]
3	Omar Cherkaoui	[1] [2] [3] [4] [6] [7] [8] [9]
4	Rudy Deca	[1] [2] [4]
5	Boubker Ghandour	[8] [9]
6	Graham Hughes	[14]
7	Daniel Puche	[2] [4]
8	Jérôme Tremblay	[8]
9	Roger Villemaire	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [15]
10	Éric Wenaas	[7]

Colors in the list of coauthors