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
International Workshop on Software Product-Family Engineering, 129-139, 2003
2582003
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
1172004
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
522000
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
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
352003
Merging scenarios
J Klein, B Caillaud, L Hélouët
Electronic Notes in Theoretical Computer Science 133, 193-215, 2005
292005
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical computer science 410 (41), 4094-4110, 2009
272009
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
Petri nets with semi-structured data.
CM E. Badouel, L. Hélouët
Petri Nets, 2015
26*2015
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
262002
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
262001
Realizability of dynamic MSC languages
B Bollig, L Hélouët
International Computer Science Symposium in Russia, 48-59, 2010
242010
Some pathological message sequence charts, and how to detect them
L Hélouёt
International SDL Forum, 348-364, 2001
232001
Decidable classes of unbounded Petri nets with time and urgency
S Akshay, B Genest, L Hélouët
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
212016
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
192018
Covert channel detection using information theory
L Hélouët, A Roumy
arXiv preprint arXiv:1102.5586, 2011
192011
Robustness of Time Petri Nets under Guard Enlargement
PAR S. Akshay, L. Hélouët
Fundamenta Informaticae, 2015
18*2015
The steady-state control problem for Markov decision processes
S Akshay, N Bertrand, S Haddad, L Helouet
International conference on quantitative evaluation of systems, 290-304, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20