Loïc Hélouët Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Blaise Genest, Loïc Hélouët: Products of Message Sequence Charts. FoSSaCS 2008: 458-473
2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang: Causal Message Sequence Charts. CONCUR 2007: 166-180
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gazagnaire, Loïc Hélouët: Event Correlation with Boxed Pomsets. FORTE 2007: 160-176
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Klein, Loïc Hélouët, Jean-Marc Jézéquel: Semantic-based weaving of scenarios. AOSD 2006: 27-38
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët, Thibaut Hénin, Christophe Chevrier: Automating Scenario Merging. SAM 2006: 64-81
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Chatain, Loïc Hélouët, Claude Jard: From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët, Marc Zeitoun, Aldric Degorre: Scenarios and Covert Channels: Another Game... Electr. Notes Theor. Comput. Sci. 119(1): 93-116 (2005)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Klein, Benoît Caillaud, Loïc Hélouët: Merging Scenarios. Electr. Notes Theor. Comput. Sci. 133: 193-215 (2005)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel: Revisiting Statechart Synthesis with an Algebraic Approach. ICSE 2004: 242-251
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët: Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. SAM 2004: 189-207
2003
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBlaise Genest, Loïc Hélouët, Anca Muscholl: High-Level Message Sequence Charts and Projections. CONCUR 2003: 308-322
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel: Towards a UML Profile for Software Product Lines. PFE 2003: 129-139
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoï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)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTewfik 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTong Zheng, Ferhat Khendek, Loïc Hélouët: A Semantics for Timed MSC. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoï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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët: Some Pathological Message Sequence Charts, and How to Detect Them. SDL Forum 2001: 348-364
2000
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes: HMSCs as Partial Specifications ... with PNs as Completions. MOVEP 2000: 125-152
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët, Pierre Le Maigat: Decomposition of Message Sequence Charts. SAM 2000: 47-60
1999
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët: A simulation model for message sequence charts. SDL Forum 1999: 473-488

Coauthor Index

1Benoît Caillaud [3] [5] [13]
2Thomas Chatain [15]
3Christophe Chevrier [16]
4Philippe Darondeau [3] [20]
5Aldric Degorre [14]
6Thomas Gazagnaire [18] [19] [21]
7Blaise Genest [10] [19] [20] [21]
8Thibaut Hénin [16]
9Claude Jard [5] [15]
10Jean-Marc Jézéquel [7] [9] [12] [17]
11Ferhat Khendek [6]
12Jacques Klein [13] [17]
13Gilles Lesventes [3]
14Pierre Le Maigat [2]
15Anca Muscholl [10]
16P. S. Thiagarajan [19] [21]
17Shaofa Yang [19] [21]
18Marc Zeitoun [14]
19Tong Zheng [6]
20Tewfik Ziadi [7] [9] [12]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)