Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sylvain Hallé
2010 – today
- 2013
[j7]- [c40]Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui: Distributed firewall anomaly detection through LTL model checking. IM 2013: 194-201
- [c39]Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé: Runtime Monitoring of Temporal Logic Properties in a Platform Game. RV 2013: 346-351
- [c38]Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé: Solving equations on words through boolean satisfiability. SAC 2013: 104-106
- [c37]Gabriel Le Breton, Fabien Maronnaud, Sylvain Hallé: Automated exploration and analysis of ajax web applications with WebMole. WWW (Companion Volume) 2013: 245-248
- 2012
- [j6]
- [j5]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)
- [j4]Sylvain Hallé, Roger Villemaire: Runtime Enforcement of Web Service Message Contracts with Data. IEEE T. Services Computing 5(2): 192-206 (2012)
- [c36]Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé: Pseudoperiodic Words. Developments in Language Theory 2012: 308-319
- [c35]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
- [c34]Sylvain Hallé, Raphaël Tremblay-Lessard: A Case for "Piggyback" Runtime Monitoring. ISoLA (1) 2012: 295-311
- [c33]Bassam Khorchani, Sylvain Hallé, Roger Villemaire: Firewall anomaly detection with a model checker for visibility logic. NOMS 2012: 466-469
- [c32]Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire: ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118
- [c31]Sylvain Hallé, Omar Cherkaoui, Petko Valtchev: Towards a semantic virtualization of configurations. NOMS 2012: 1268-1271
- [c30]Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet: BabelTrace: A Collection of Transducers for Trace Validation. RV 2012: 126-130
- [c29]Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé: MapReduce for Parallel Trace Validation of LTL Properties. RV 2012: 184-198
- [c28]Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé: SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. WS-FM 2012: 103-117
- 2011
- [j3]Dragan Gasevic, Georg Grossmann, Sylvain Hallé: Guest Editorial. Journal of Research and Practice in Information Technology 43(1): 1-4 (2011)
- [c27]Dragan Gasevic, Georg Grossmann, Sylvain Hallé, Florian Rosenberg: Message from the EVL-BP 2011 Workshop Chairs. EDOCW 2011: 143-145
- [c26]Sylvain Hallé: Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit". EDOC 2011: 171-180
- [c25]Sylvain Hallé: Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. ICECCS 2011: 95-104
- 2010
- [j2]Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire: Runtime Verification of Web Service Interface Contracts. IEEE Computer 43(3): 59-66 (2010)
- [c24]
- [c23]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
- [c22]Sylvain Hallé, Roger Villemaire: Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121
- [c21]Sylvain Hallé, Tevfik Bultan: Realizability analysis for message-based interactions using shared-state projections. SIGSOFT FSE 2010: 27-36
- [c20]Sylvain Hallé: Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. WS-FM 2010: 42-55
- [e1]Gwen Salaün, Xiang Fu, Sylvain Hallé (Eds.): Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software. EPTCS 35, 2010
2000 – 2009
- 2009
- [j1]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009)
- [c19]Sylvain Hallé, Roger Villemaire: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653
- [c18]Dragan Gasevic, Georg Grossmann, Sylvain Hallé: Dynamic and declarative business processes. EDOCW 2009: 1-4
- [c17]Sylvain Hallé, Roger Villemaire: Flexible and reliable messaging using runtime monitoring. EDOCW 2009: 116-125
- [c16]Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530
- [c15]Sylvain Hallé, Roger Villemaire: Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125
- [c14]Roger Villemaire, Sylvain Hallé: Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME 2009: 115-121
- 2008
- [c13]Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72
- [c12]Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353
- [c11]Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76
- 2007
- [c10]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
- [c9]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
- [c8]Sylvain Hallé: An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. ICMLA 2006: 43-47
- [c7]Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
- [c6]Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35
- 2005
- [c5]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
- [c4]Sylvain Hallé: Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. MICAI 2005: 425-434
- [c3]Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137
- 2004
- [c2]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
- [c1]Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team