Travelled to:1 × France
1 × Hungary
1 × Italy
1 × United Kingdom
2 × Spain
Collaborated with:P.Darondeau B.Genest T.Ziadi J.Jézéquel E.Badouel G.E.Kouamou C.Morvan R.Abdallah A.Gotlieb C.Jard V.Rehák P.Slovák J.Strejcek N.Bertrand E.Fabre S.Haar S.Haddad B.Bollig A.Cyriac A.Kara T.Schwentick
Talks about:approach (2) probabilist (1) statechart (1) constraint (1) distribut (1) synthesi (1) scenario (1) diagnosi (1) coregion (1) communic (1)
Person: Loïc Hélouët
DBLP: H=eacute=lou=euml=t:Lo=iuml=c
Contributed to:
2015
2014
2013
2013
20102008
2004Wrote 7 papers:
- SAC-2015-BadouelHKM #approach #collaboration #distributed
- A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.
- FoSSaCS-2014-BertrandFHHH #probability
- Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.
- FASE-2013-AbdallahGHJ #constraints #optimisation
- Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
- LATA-2013-BolligCHKS #automaton #branch #communication
- Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.
- GT-VMT-2010-RehakSSH #decidability
- Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).
- FoSSaCS-2008-DarondeauGH #sequence chart
- Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
- ICSE-2004-ZiadiHJ #algebra #approach #statechart #synthesis
- Revisiting Statechart Synthesis with an Algebraic Approach (TZ, LH, JMJ), pp. 242–251.