| 2008 |
|---|
| 20 | EE | Philippe Darondeau,
Blaise Genest,
Loïc Hélouët:
Products of Message Sequence Charts.
FoSSaCS 2008: 458-473 |
| 2007 |
|---|
| 19 | EE | Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
CONCUR 2007: 166-180 |
| 18 | EE | Thomas Gazagnaire,
Loïc Hélouët:
Event Correlation with Boxed Pomsets.
FORTE 2007: 160-176 |
| 2006 |
|---|
| 17 | EE | Jacques Klein,
Loïc Hélouët,
Jean-Marc Jézéquel:
Semantic-based weaving of scenarios.
AOSD 2006: 27-38 |
| 16 | EE | Loïc Hélouët,
Thibaut Hénin,
Christophe Chevrier:
Automating Scenario Merging.
SAM 2006: 64-81 |
| 2005 |
|---|
| 15 | EE | Thomas Chatain,
Loïc Hélouët,
Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
FORTE 2005: 489-502 |
| 14 | EE | 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 | EE | Jacques Klein,
Benoît Caillaud,
Loïc Hélouët:
Merging Scenarios.
Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005) |
| 2004 |
|---|
| 12 | EE | Tewfik Ziadi,
Loïc Hélouët,
Jean-Marc Jézéquel:
Revisiting Statechart Synthesis with an Algebraic Approach.
ICSE 2004: 242-251 |
| 11 | EE | Loïc Hélouët:
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.
SAM 2004: 189-207 |
| 2003 |
|---|
| 10 | EE | Blaise Genest,
Loïc Hélouët,
Anca Muscholl:
High-Level Message Sequence Charts and Projections.
CONCUR 2003: 308-322 |
| 9 | EE | 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 | EE | 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 | EE | 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 | EE | Tong Zheng,
Ferhat Khendek,
Loïc Hélouët:
A Semantics for Timed MSC.
Electr. Notes Theor. Comput. Sci. 65(7): (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 | EE | Loïc Hélouët:
Some Pathological Message Sequence Charts, and How to Detect Them.
SDL Forum 2001: 348-364 |
| 2000 |
|---|
| 3 | EE | 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 |
