Følg
Loic Helouet
Loic Helouet
INRIA Rennes
Verifisert e-postadresse på inria.fr - Startside
Tittel
Sitert av
Sitert av
År
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
2622003
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
1542006
Revisiting statechart synthesis with an algebraic approach
T Ziadi, L Hélouët, 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
542000
Active diagnosis for probabilistic systems
N Bertrand, É Fabre, S Haar, S Haddad, L Hélouët
International Conference on Foundations of Software Science and Computation …, 2014
502014
Decomposition of Message Sequence Charts.
L Hélouët, P Le Maigat
SAM, 47-60, 2000
452000
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
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical computer science 410 (41), 4094-4110, 2009
292009
Merging scenarios
J Klein, B Caillaud, L Hélouët
Electronic Notes in Theoretical Computer Science 133, 193-215, 2005
292005
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
292002
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
272015
Realizability of dynamic MSC languages
B Bollig, L Hélouët
International Computer Science Symposium in Russia, 48-59, 2010
272010
Petri nets with semi-structured data.
CM E. Badouel, L. Hélouët
Petri Nets, 2015
26*2015
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
252000
Some pathological message sequence charts, and how to detect them
L Hélouёt
International SDL Forum, 348-364, 2001
232001
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
212013
A simulation-optimization framework for traffic disturbance recovery in metro systems
ML Tessitore, M Sama, A D’Ariano, L Hélouët, D Pacciarelli
Transportation research part C: emerging technologies 136, 103525, 2022
202022
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
202018
Covert channel detection using information theory
L Hélouët, A Roumy
arXiv preprint arXiv:1102.5586, 2011
202011
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
202005
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20