Sylvain Hallé

	2012
33		Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. ICST 2012: 499-508
32		Roger Villemaire, Sylvain Hallé: Reasoning about visibility. J. Applied Logic 10(2): 163-178 (2012)
31		Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca: A Logical Approach to Data-Aware Automated Sequence Generation. Transactions on Computational Science 15: 192-216 (2012)
	2011
30		Sylvain Hallé: Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". EDOC 2011: 171-180
29		Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg: Message from the EVL-BP 2011 Workshop Chairs. EDOCW 2011: 143-145
28		Sylvain Hallé: Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. ICECCS 2011: 95-104
	2010
27		Gwen Salaün, Xiang Fu, Sylvain Hallé: Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software TAV-WEB 2010
26		Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan: Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. ASE 2010: 235-244
25		Sylvain Hallé: Cooperative Runtime Monitoring of LTL Interface Contracts. EDOC 2010: 227-236
24		Sylvain Hallé, Roger Villemaire: Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121
23		Sylvain Hallé, Tevfik Bultan: Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE 2010: 27-36
22		Sylvain Hallé: Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. WS-FM 2010: 42-55
21		Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire: Runtime Verification of Web Service Interface Contracts. IEEE Computer 43(3): 59-66 (2010)
	2009
20		Sylvain Hallé, Roger Villemaire: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653
19		Dragan Gasevic, Georg Grossmann, Sylvain Hallé: Dynamic and declarative business processes. EDOCW 2009: 1-4
18		Sylvain Hallé, Roger Villemaire: Flexible and reliable messaging using runtime monitoring. EDOCW 2009: 116-125
17		Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530
16		Sylvain Hallé, Roger Villemaire: Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125
15		Roger Villemaire, Sylvain Hallé: Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME 2009: 115-121
14		Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009)
	2008
13		Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72
12		Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353
11		Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76
	2007
10		Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
9		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
8		Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
7		Sylvain Hallé: An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. ICMLA 2006: 43-47
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	[17] [21]
2	Tevfik Bultan	[17] [21] [23] [26]
3	Chris Bunch	[26]
4	Jérôme Calvar	[33]
5	Omar Cherkaoui	[1] [2] [3] [4] [6] [8] [9] [10] [14] [31]
6	Rudy Deca	[1] [2] [4] [31]
7	Taylor Ettema	[26]
8	Xiang Fu	[27]
9	Dragan Gasevic	[19] [29]
10	Boubker Ghandour	[9] [10]
11	Georg Grossmann	[19] [29]
12	Graham Hughes	[17] [21]
13	Daniel Puche	[2] [4]
14	Florian Rosenberg	[29]
15	Gwen Salaün	[27]
16	Jérôme Tremblay	[9]
17	Raphaël Tremblay-Lessard	[33]
18	Roger Villemaire	[1] [2] [3] [4] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [21] [24] [31] [32]
19	Éric Wenaas	[8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page