dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

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

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

DBLP keys2011
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Loïc Hélouët, Madhavan Mukund: Assembling Sessions. ATVA 2011: 259-274
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Masson, Loïc Hélouët, Albert Benveniste: Compatibility of Data-Centric Web Services. WS-FM 2011: 32-47
2010
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedikt Bollig, Loïc Hélouët: Realizability of Dynamic MSC Languages. CSR 2010: 48-59
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët, Albert Benveniste: Document Based Modeling of Web Services Choreographies Using Active XML. ICWS 2010: 291-298
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoïc Hélouët, Aline Roumy: Covert channel detection using Information Theory SecCo 2010: 34-51
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët: Decidable Race Condition and Open Coregions in HMSC. ECEASST 29: (2010)
2009
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): 85-99 (2002)
5Electronic Edition 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

1Albert Benveniste [24] [26]
2Benedikt Bollig [25]
3Benoît Caillaud [3] [5] [13]
4Thomas Chatain [15]
5Christophe Chevrier [16]
6Philippe Darondeau [3] [20] [27]
7Aldric Degorre [14]
8Thomas Gazagnaire [18] [19] [21]
9Blaise Genest [10] [19] [20] [21]
10Thibaut Hénin [16]
11Claude Jard [5] [15]
12Jean-Marc Jézéquel [7] [9] [12] [17]
13Ferhat Khendek [6]
14Jacques Klein [13] [17]
15Gilles Lesventes [3]
16Pierre Le Maigat [2]
17Benoît Masson [26]
18Madhavan Mukund [27]
19Anca Muscholl [10]
20Vojtech Rehák [22]
21Aline Roumy [23]
22Petr Slovák [22]
23Jan Strejcek [22]
24P. S. Thiagarajan [19] [21]
25Shaofa Yang [19] [21]
26Marc Zeitoun [14]
27Tong Zheng [6]
28Tewfik Ziadi [7] [9] [12]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page