 | 2011 |
| 27 |  | Philippe Darondeau,
Loïc Hélouët,
Madhavan Mukund:
Assembling Sessions.
ATVA 2011: 259-274 |
| 26 |  | Benoît Masson,
Loïc Hélouët,
Albert Benveniste:
Compatibility of Data-Centric Web Services.
WS-FM 2011: 32-47 |
| 2010 |
| 25 |  | Benedikt Bollig,
Loïc Hélouët:
Realizability of Dynamic MSC Languages.
CSR 2010: 48-59 |
| 24 |  | Loïc Hélouët,
Albert Benveniste:
Document Based Modeling of Web Services Choreographies Using Active XML.
ICWS 2010: 291-298 |
| 23 |  | Loïc Hélouët,
Aline Roumy:
Covert channel detection using Information Theory
SecCo 2010: 34-51 |
| 22 |  | Vojtech Rehák,
Petr Slovák,
Jan Strejcek,
Loïc Hélouët:
Decidable Race Condition and Open Coregions in HMSC.
ECEASST 29: (2010) |
| 2009 |
| 21 |  | 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) |
| 2008 |
| 20 |  | Philippe Darondeau,
Blaise Genest,
Loïc Hélouët:
Products of Message Sequence Charts.
FoSSaCS 2008: 458-473 |
| 2007 |
| 19 |  | Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
CONCUR 2007: 166-180 |
| 18 |  | Thomas Gazagnaire,
Loïc Hélouët:
Event Correlation with Boxed Pomsets.
FORTE 2007: 160-176 |
| 2006 |
| 17 |  | Jacques Klein,
Loïc Hélouët,
Jean-Marc Jézéquel:
Semantic-based weaving of scenarios.
AOSD 2006: 27-38 |
| 16 |  | Loïc Hélouët,
Thibaut Hénin,
Christophe Chevrier:
Automating Scenario Merging.
SAM 2006: 64-81 |
| 2005 |
| 15 |  | Thomas Chatain,
Loïc Hélouët,
Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
FORTE 2005: 489-502 |
| 14 |  | Loïc Hélouët,
Marc Zeitoun,
Aldric Degorre:
Scenarios and Covert Channels: Another Game...
Electr. Notes Theor. Comput. Sci. 119(1): 93-116 (2005) |
| 13 |  | Jacques Klein,
Benoît Caillaud,
Loïc Hélouët:
Merging Scenarios.
Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005) |
| 2004 |
| 12 |  | Tewfik Ziadi,
Loïc Hélouët,
Jean-Marc Jézéquel:
Revisiting Statechart Synthesis with an Algebraic Approach.
ICSE 2004: 242-251 |
| 11 |  | Loïc Hélouët:
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.
SAM 2004: 189-207 |
| 2003 |
| 10 |  | Blaise Genest,
Loïc Hélouët,
Anca Muscholl:
High-Level Message Sequence Charts and Projections.
CONCUR 2003: 308-322 |
| 9 |  | Tewfik Ziadi,
Loïc Hélouët,
Jean-Marc Jézéquel:
Towards a UML Profile for Software Product Lines.
PFE 2003: 129-139 |
| 8 |  | Loïc Hélouët:
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol.
Information & Software Technology 45(11): 701-714 (2003) |
| 7 |  | Tewfik Ziadi,
Loïc Hélouët,
Jean-Marc Jézéquel:
Modélisation de lignes de produits en UML.
L'OBJET 9(1-2): 227-240 (2003) |
| 2002 |
| 6 |  | Tong Zheng,
Ferhat Khendek,
Loïc Hélouët:
A Semantics for Timed MSC.
Electr. Notes Theor. Comput. Sci. 65(7): 85-99 (2002) |
| 5 |  | Loïc Hélouët,
Claude Jard,
Benoît Caillaud:
An Event Structure Based Semantics for High-Level Message Sequence Charts.
Mathematical Structures in Computer Science 12(4): 377-402 (2002) |
| 2001 |
| 4 |  | Loïc Hélouët:
Some Pathological Message Sequence Charts, and How to Detect Them.
SDL Forum 2001: 348-364 |
| 2000 |
| 3 |  | Benoît Caillaud,
Philippe Darondeau,
Loïc Hélouët,
Gilles Lesventes:
HMSCs as Partial Specifications ... with PNs as Completions.
MOVEP 2000: 125-152 |
| 2 |  | Loïc Hélouët,
Pierre Le Maigat:
Decomposition of Message Sequence Charts.
SAM 2000: 47-60 |
| 1999 |
| 1 |  | Loïc Hélouët:
A simulation model for message sequence charts.
SDL Forum 1999: 473-488 |