BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Brazil
1 × Canada
1 × Finland
1 × France
1 × Portugal
1 × Spain
1 × Taiwan
2 × Germany
4 × USA
Collaborated with:
R.Villemaire A.B.Massé S.Gaboury ∅ T.Bultan S.Varvaressos M.Larouche J.Calvar R.Tremblay-Lessard N.Bergeron F.Guerin G.L.Breton S.Desmeules T.Ettema C.Bunch O.Cherkaoui B.Ghandour K.Lavoie
Talks about:
runtim (6) monitor (5) word (4) base (4) web (4) contract (3) stream (3) messag (3) applic (3) workflow (2)

♂ Person: Sylvain Hallé

DBLP DBLP: Hall=eacute=:Sylvain

Facilitated 2 volumes:

ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

ICST 20152015
EDOC 20142014
ICST 20142014
LATA 20142014
SAC 20132013
DLT 20122012
DLT 20122013
ICST 20122012
EDOC 20112011
ASE 20102010
EDOC 20102010
FSE 20102010
CAV 20092009
SAC 20092009
EDOC 20082008
EDOC 20072007

Wrote 16 papers:

ICST-2015-HalleBGB #constraints #layout #testing #web
Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
EDOC-2014-HalleV #formal method
A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
LATA-2014-MasseGHL #equation #morphism #word
Solving Equations on Words with Morphisms and Antimorphisms (ABM, SG, SH, ML), pp. 186–197.
SAC-2013-LaroucheMGH #equation #satisfiability #word
Solving equations on words through boolean satisfiability (ML, ABM, SG, SH), pp. 104–106.
DLT-2012-MasseGH #pseudo #word
Pseudoperiodic Words (ABM, SG, SH), pp. 308–319.
DLT-J-2012-MasseDGH13 #multi #pseudo #word
Multipseudoperiodic Words (ABM, SD, SG, SH), pp. 1153–1166.
ICST-2012-CalvarTH #framework #monitoring #runtime
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
EDOC-2011-Halle #contract #logic #message passing
Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
ASE-2010-HalleEBB #fault #model checking #navigation #runtime #state machine #web
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.
EDOC-2010-Halle #contract #interface #ltl #monitoring #runtime
Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
FSE-2010-HalleB #analysis #interactive #message passing #using
Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
CAV-2009-HalleV #contract #interface #web
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep (SH, RV), pp. 648–653.
SAC-2009-HalleV #monitoring #runtime #streaming #using #web #web service #xml
Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
EDOC-2008-HalleV #message passing #monitoring #runtime #workflow
Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
EDOC-2007-HalleVCG #model checking #workflow
Model Checking Data-Aware Workflow Properties with CTL-FO+ (SH, RV, OC, BG), pp. 267–278.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.