Loic Helouet
Loic Helouet
INRIA Rennes
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Towards a UML profile for software product lines
T Ziadi, L Hélouët, JM Jézéquel
International Workshop on Software Product-Family Engineering, 129-139, 2003
2402003
Semantic-based weaving of scenarios
J Klein, L Hélouet, JM Jézéquel
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
1492006
Revisiting statechart synthesis with an algebraic approach
T Ziadi, L Helouet, JM Jézéquel
Proceedings. 26th International Conference on Software Engineering, 242-251, 2004
1132004
Conditions for synthesis of communicating automata from HMSCs
L Hélouët, C Jard
5th International Workshop on Formal Methods for Industrial Critical Systems …, 2000
492000
Conditions for synthesis of communicating automata from HMSCs
L Hélouët, C Jard
5th International Workshop on Formal Methods for Industrial Critical Systems …, 2000
492000
Decomposition of message sequence charts
L Hélouët, P Le Maigat, LH Pierre
442000
Active diagnosis for probabilistic systems
N Bertrand, E Fabre, S Haar, S Haddad, L Hélouët
International Conference on Foundations of Software Science and Computation …, 2014
402014
Covert channels detection in protocols using scenarios
L Hélouët, C Jard, M Zeitoun
Proc. of SPV 3, 21-25, 2003
342003
Lecture notes in computer science
TX Bui
Springer, 1987
30*1987
Merging scenarios
J Klein, B Caillaud, L Hélouët
Electronic Notes in Theoretical Computer Science 133, 193-215, 2005
292005
HMSCs as partial specifications... with PNs as completions
B Caillaud, P Darondeau, L Hélouët, G Lesventes
Summer School on Modeling and Verification of Parallel Processes, 125-152, 2000
282000
Realizability of dynamic MSC languages
B Bollig, L Hélouët
International Computer Science Symposium in Russia, 48-59, 2010
262010
Modeling behaviors in product lines
T Ziadi, L Hélouët, JM Jézéquel
Proceedings of REPL'02 (workshop on Requirements Engineering for Product Lines), 2002
252002
Petri nets with semi-structured data.
CM E. Badouel, L. Hélouët
Petri Nets, 2015
20*2015
Active workspaces: distributed collaborative systems based on guarded attribute grammars
E Badouel, L Hélouët, GE Kouamou, C Morvan, NR Fondze Jr
ACM SIGAPP Applied Computing Review 15 (3), 6-34, 2015
192015
Some pathological message sequence charts, and how to detect them
L Hélouёt
International SDL Forum, 348-364, 2001
192001
Dynamic communicating automata and branching high-level MSCs
B Bollig, A Cyriac, L Hélouët, A Kara, T Schwentick
International Conference on Language and Automata Theory and Applications …, 2013
182013
Covert channel detection using information theory
L Hélouët, A Roumy
arXiv preprint arXiv:1102.5586, 2011
182011
Scenarios and Covert channels: another game...
L Hélouët, M Zeitoun, A Degorre
Electronic Notes in Theoretical Computer Science 119 (1), 93-116, 2005
182005
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
International Conference on Concurrency Theory, 166-180, 2007
172007
The system can't perform the operation now. Try again later.
Articles 1–20