Folgen
Loic Helouet
Loic Helouet
INRIA Rennes
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1182004
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
482014
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
Merging scenarios
J Klein, B Caillaud, L Hélouët
Electronic Notes in Theoretical Computer Science 133, 193-215, 2005
292005
Petri nets with semi-structured data.
CM E. Badouel, L. Hélouët
Petri Nets, 2015
27*2015
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
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
272002
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
Realizability of dynamic MSC languages
B Bollig, L Hélouët
International Computer Science Symposium in Russia, 48-59, 2010
252010
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
252001
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
202018
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
202013
Covert channel detection using information theory
L Hélouët, A Roumy
arXiv preprint arXiv:1102.5586, 2011
192011
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
192005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20