| 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 | 265 | 2003 |
| 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 | 156 | 2006 |
| 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 | 114 | 2004 |
| 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 | 54 | 2000 |
| 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 | 52 | 2014 |
| Decomposition of Message Sequence Charts. L Hélouët, P Le Maigat SAM, 47-60, 2000 | 45 | 2000 |
| 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 | 36 | 2003 |
| Causal message sequence charts T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang Theoretical computer science 410 (41), 4094-4110, 2009 | 33 | 2009 |
| 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 | 31 | 2022 |
| 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 | 29 | 2015 |
| Merging scenarios J Klein, B Caillaud, L Hélouët Electronic Notes in Theoretical Computer Science 133, 193-215, 2005 | 29 | 2005 |
| 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 | 28 | 2002 |
| 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 | 27 | 2000 |
| Petri nets with semi-structured data. CM E. Badouel, L. Hélouët Petri Nets, 2015 | 26* | 2015 |
| Realizability of dynamic MSC languages B Bollig, L Hélouët International Computer Science Symposium in Russia, 48-59, 2010 | 26 | 2010 |
| 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 | 25 | 2013 |
| Some pathological message sequence charts, and how to detect them L Hélouёt International SDL Forum, 348-364, 2001 | 22 | 2001 |
| Covert channel detection using information theory L Hélouët, A Roumy arXiv preprint arXiv:1102.5586, 2011 | 21 | 2011 |
| Diagnosability of repairable faults E Fabre, L Hélouët, E Lefaucheux, H Marchand Discrete Event Dynamic Systems 28 (2), 183-213, 2018 | 20 | 2018 |
| Opacity with powerful attackers L Hélouët, H Marchand, L Ricker IFAC-PapersOnLine 51 (7), 464-471, 2018 | 20 | 2018 |
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
