Search the dblp DataBase
Loïc Hélouët :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jacques Klein , Loïc Hélouët , Jean-Marc Jézéquel Semantic-based weaving of scenarios. [Citation Graph (0, 0)][DBLP ] AOSD, 2006, pp:27-38 [Conf ] Blaise Genest , Loïc Hélouët , Anca Muscholl High-Level Message Sequence Charts and Projections. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:308-322 [Conf ] Thomas Chatain , Loïc Hélouët , Claude Jard From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:489-502 [Conf ] Tewfik Ziadi , Loïc Hélouët , Jean-Marc Jézéquel Revisiting Statechart Synthesis with an Algebraic Approach. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:242-251 [Conf ] Benoît Caillaud , Philippe Darondeau , Loïc Hélouët , Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. [Citation Graph (0, 0)][DBLP ] MOVEP, 2000, pp:125-152 [Conf ] Tewfik Ziadi , Loïc Hélouët , Jean-Marc Jézéquel Towards a UML Profile for Software Product Lines. [Citation Graph (0, 0)][DBLP ] PFE, 2003, pp:129-139 [Conf ] Loïc Hélouët Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. [Citation Graph (0, 0)][DBLP ] SAM, 2004, pp:189-207 [Conf ] Loïc Hélouët , Pierre Le Maigat Decomposition of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] SAM, 2000, pp:47-60 [Conf ] Loïc Hélouët , Thibaut Hénin , Christophe Chevrier Automating Scenario Merging. [Citation Graph (0, 0)][DBLP ] SAM, 2006, pp:64-81 [Conf ] Loïc Hélouët A simulation model for message sequence charts. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1999, pp:473-488 [Conf ] Loïc Hélouët Some Pathological Message Sequence Charts, and How to Detect Them. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2001, pp:348-364 [Conf ] Loïc Hélouët , Marc Zeitoun , Aldric Degorre Scenarios and Covert Channels: Another Game... [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:119, n:1, pp:93-116 [Journal ] Jacques Klein , Benoît Caillaud , Loïc Hélouët Merging Scenarios. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:193-215 [Journal ] Tong Zheng , Ferhat Khendek , Loïc Hélouët A Semantics for Timed MSC. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal ] Loïc Hélouët Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:11, pp:701-714 [Journal ] Loïc Hélouët , Claude Jard , Benoît Caillaud An Event Structure Based Semantics for High-Level Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:377-402 [Journal ] Thomas Gazagnaire , Blaise Genest , Loïc Hélouët , P. S. Thiagarajan , Shaofa Yang Causal Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] CONCUR, 2007, pp:166-180 [Conf ] Thomas Gazagnaire , Loïc Hélouët Event Correlation with Boxed Pomsets. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:160-176 [Conf ] Realizability of Dynamic MSC Languages. [Citation Graph (, )][DBLP ] Products of Message Sequence Charts. [Citation Graph (, )][DBLP ] Document Based Modeling of Web Services Choreographies Using Active XML. [Citation Graph (, )][DBLP ] Modélisation de lignes de produits en UML. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs