My research interests are modeling, semantics, validation and
simulation
of distributed systems, formal methods, and models of true concurrency
(Petri nets, partial orders, event structures). I am currently working
on Message Sequence Charts and their semantics.
I have implemented a formal scenario manipulation environment called SOFAT.
It
is available from this page.
Loïc
Hélouët, SDL,
MSCs and UML in PAMPA,position statement, SAM98, Berlin, 29th june-1st
july 1998.
Loïc
Hélouët,Claude Jard, Benoît
Caillaud, An Effective equivalence for
sets
of scenarios represented by HMSCs, Rapport de recherche INRIA
n0
3499, Septembre 1998.
Hubert Canon,
Loïc Hélouët, From
High-level Message Sequence Charts to BDL specifications, Research
report, March 1998.
Loïc
Hélouët, A
Simulation Framework for Message Sequence Charts, 9th SDL Forum,
21-25
June 1999, Montréal.
Loïc
Hélouët, Claude Jard, Conditions
for synthesis of communicating automata from HMSCs, 5th
International
Workshop on Formal Methods for Industrial Critical Systems (FMICS),
Berlin,
3-4 avril 2000.
Pierre Le Maigat,
Loïc Hélouët, A
(max,+) approach for time in Message Sequence Charts, 5th
Workshop
on Discrete Event Systems (WODES 2000), Ghent,23-26 august 2000.
Loïc
Hélouet, Pierre Le Maigat, Decomposition
of Message Sequence Charts, 2nd Workshop on SDL and MSC (SAM2000),
Grenoble, France, June 26-28.
Philippe Darondeau,
Benoît Caillaud,
Loïc Hélouët, Gilles Lesventes, HMSCs as partial
specifications...with Petri Nets as completion, MOdelling and
Verification
of Parallel Processes (MOVEP'2000), Nantes, France, June 19-23 (
article
invité ).
Loïc
Hélouët., Some
pathological message sequence charts and how to detect them, In
R.Reed,
editor, SDL 2001: meeting
UML, 10th SDL Forum, number 2078 in LNCS, pages
348--364, june 2001.
Loïc
Hélouët, Distributed system
requirements modeling with Message Sequence Charts, International
Journal
of Information and Software Technology, 2002, à paraître.
Tewfik Ziadi,
Loïc Hélouet,
Jean-Marc Jézéquel, Modelin Behaviors in Product Lines,
proceedings of
REPL'02? International workshop on Requirements Engineering for Product
Lines, Essen, Germany, 2002.
Loïc
Hélouët, Claude Jard, Benoît
Caillaud, An Event Structure Semantics for Message Sequence
Charts,
special issue on graph transformation in "Mathematical Structures in
Computer
Science" (MSCS) journal, vol. 12, pp. 377-403, 2002.
Blaise Genest,
Loïc Hélouët,
Anca Muscholl, High-level Message
Sequence
Charts projection, proceedings of CONCUR 2003.
Loïc
Hélouët, Marc Zeitoun,
Claude Jard, Covert channels
detection
in protocols using scenarios, Proc. of SPV'03, Security Protocols
Verification,
Sep. 2003
Tewfik Ziadi, Loic
Helouet & Jean-Marc Jézéquel, Towards
a UML profile for Software Product Lines, PFE5 (Product Family
engineering),
november 2003.
Loïc
Hélouët, Finding
covert
channels in protocols with Message Sequence Charts: the
case of RMTP2, Proc. of SAM'04, Conference on SDL and MSCs,
Ottawa,
May 2004.
Tewfik Ziadi,
Loïc Hélouët, Jean-Marc Jézéquel, Revisiting
Statechart Synthesis with an algebraic approach, Proc. of
ICSE'04,
Edinburgh, May 2004.
Loïc
Hélouët,
Marc Zeitoun, Aldric Degorre, Scenarios
and covert channels: yet another
game, Proc. of GDV'04, (Games in design and Validation), Boston,
July
2004.
Jacques Klein,
Benoît Caillaud, Loïc Hélouët, Merging
Scenarios,
Proc. of FMICS'04 (Formal Methods for industrial and critical
systems),
Linz, September 2004.
Tewfik Ziadi,
Loïc Hélouët, Jean-Marc Jézéquel,
Behaviors generation from product lines requirements, Proc. of
UML2004 workshop on Software Architecture Description, October 2004 .
Loïc
Hélouët, Weakening
Weak Sequential
Composition in Scenarios, INRIA research report no 5512, March
2005.
Thomas Chatain, Claude
Jard, Loïc Hélouët, From
automata networks to HMSCs: a reverse model engineering perspective,
Proc. of FORTE'05, Taiwan Oct. 2005
Jacques Klein,
Loïc Hélouët, Jean-Marc Jézéquel,
semantic-based weaving of Scenarios, Proc. of AOSD 2006.
Loïc
Hélouët, Thibaut Hénin, Christophe Chevrier,
Automating Scenario merging, Proc. os SAM'06, May 2006, [extended
version]
Loïc
Hélouët, Thomas Gazagnaire, Blaise Genest, Diagnosis from
scenarios, Proc. of WODES'06, [Extended
version]
T.
Gazagnaire, B. Genest, L. Hélouët, P.S. and Yang, S.
Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR
2007.
T. Gazagnaire, L. Hélouët. Reconstructing Causal Ordering with boxed pomsets. In Proceedings of FORTE 2007, 2007. 
B.Genest, L. Hélouet : Products of Message Sequence Charts. FOSSACS 2008, 459-474, LNCS 4962.
Thomas
Gazagnaire, Loïc Hélouët, Shaofa Yang, logic-based
diagnosis for distributed systems, in Perspectives in Concurrency, a
fescchrift for P.S. Thiagarajan.
Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
Theor. Comput. Sci. 410(41): 4094-4110 (2009)
Loïc Hélouët, Albert Benveniste, Distributed active XML and service Interfaces, INRIA reserach report no 7082, 2009.
Loïc Hélouët, Application of MSC, Amendment 2 to Z.120, sept. 2009.
Vojtech Rehak, PetrSlovak, Jan Strejcek, Loïc Hélouët, Decidable Race Condition for HMSC, Research report no FIMU-RS-2009-10, Faculty of Informatics, Masaryk Univ., 2009.
Loïc
Hélouët, Claude
Jard, Benoît Caillaud, Une
notion
effective d'équivalence pour des familles de scénarios
représentées par
des HMSC, AFADL98.
Loïc
Hélouët, Un
environnment de simulation pour les Message Sequence Charts,
ICSSEA'99,
12th International conference on Software Engeneering and their
Applications,
December 1999, CNAM-Paris, France.
Loïc
Hélouet, Analyse des exigences
des systèmes répartis exprimées par des langages
de scénarios, Thèse de
l'Université de Rennes 1, Octobre 2000 (soon available).
Loïc.
Hélouët and Claude Jard.
-- Etat de l'art sur les
langages
de scénarios. -- In MSR'2001, Colloque francophone sur la
modélisation
des systèmes réactifs, October 2001.
Loïc
Hélouët, Ferhat Khendek, Détection
d'interaction entre services modélisés par des HMSC.
-- In MSR'2001,
Colloque francophone sur la modélisation des systèmes
réactifs, 2001. (an
english version can be found here )
Loïc
Hélouët, Projection et
comparaison de MSC, AFADL'2003, Janvier 2003.
Tewfik Ziadi,
Loïc Hélouët,
Jean-Marc Jézéquel, Modélisation de lignes de
produits en UML, LMO 2003.
Loïc
Hélouët, Aline Roumy, Utilisation de le théorie de
l'information pour la recherche de canaux cachés, DOTS
deliverable no 2.4.b, 2009
Short Biography
2001- now: INRIA CR at IRISA, Rennes
2000-2001 : Post-doc at France Telecom R&D Lannion.
1997-2000 : Thèse at IRISA
1993-1996 : Engeneering Studies at the computer science
department
of INSA
de Rennes
1996 : DEA in computer science at IFSIC
1991-1993 : DUT at the IUT
de Lannion
loic.helouet@irisa.fr (20/05/2009)
