Follow
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
PFE 3, 129-139, 2003
2462003
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
1522006
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
512000
Active diagnosis for probabilistic systems
N Bertrand, E Fabre, S Haar, S Haddad, L Hélouët
Foundations of Software Science and Computation Structures: 17th …, 2014
462014
Decomposition of Message Sequence Charts.
L Hélouët, P Le Maigat
SAM, 47-60, 2000
442000
Covert channels detection in protocols using scenarios
L Hélouët, C Jard, M Zeitoun
Proceedings of SPV’2003, Workshop on Security Protocols Verification, 2003
342003
Merging scenarios
J Klein, B Caillaud, L Hélouët
Electronic Notes in Theoretical Computer Science 133, 193-215, 2005
302005
HMSCs as partial specifications... with PNs as completions
B Caillaud, P Darondeau, L Hélouët, G Lesventes
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001
272001
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
262015
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical computer science 410 (41), 4094-4110, 2009
252009
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
Realizability of dynamic MSC languages
B Bollig, L Hélouët
Computer Science–Theory and Applications: 5th International Computer Science …, 2010
242010
Petri nets with semi-structured data.
CM E. Badouel, L. Hélouët
Petri Nets, 2015
22*2015
Some pathological message sequence charts, and how to detect them
L Hélouёt
SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001
202001
Robustness of Time Petri Nets under Guard Enlargement
PAR S. Akshay, L. Hélouët
Fundamenta Informaticae, 2015
18*2015
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
Dynamic communicating automata and branching high-level MSCs
B Bollig, A Cyriac, L Hélouët, A Kara, T Schwentick
Language and Automata Theory and Applications: 7th International Conference …, 2013
172013
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
162018
The system can't perform the operation now. Try again later.
Articles 1–20