 | 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): (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 |