L. Hélouët

Most-cited papers

Semantic-based weaving of scenarios
Jacques Klein, L. Hélouët, J. Jézéquel
2006Aspect-Oriented Software Development124 citations Open access
Semantic Scholar
Revisiting statechart synthesis with an algebraic approach
Tewfic Ziadi, L. Hélouët, J. Jézéquel
2004Proceedings. 26th International Conference on Software Engineering91 citations Open access
Semantic Scholar
Active Diagnosis for Probabilistic Systems
N. Bertrand, É. Fabre, S. Haar, S. Haddad +1 more
2014Foundations of Software Science and Computation Structure44 citations Open access
Semantic Scholar
A simulation-optimization framework for traffic disturbance recovery in metro systems
M. L. Tessitore, M. Samà, A. D'Ariano, L. Hélouët +1 more
2022Transportation Research Part C: Emerging Technologies36 citations Open access
Semantic Scholar
Covert channels detection in protocols using scenarios
L. Hélouët, C. Jard, M. Zeitoun
200333 citations
Semantic Scholar
Merging Scenarios
Jacques Klein, B. Caillaud, L. Hélouët
2005International Workshop on Formal Methods for Industrial Critical Systems28 citations Open access
Semantic Scholar
Causal Message Sequence Charts
Thomas Gazagnaire, B. Genest, L. Hélouët, P. Thiagarajan +1 more
2007Theoretical Computer Science25 citations Open access
Semantic Scholar
The Steady-State Control Problem for Markov Decision Processes
S. Akshay, N. Bertrand, S. Haddad, L. Hélouët
2013International Conference on Quantitative Evaluation of Systems21 citations Open access
Semantic Scholar
Active workspaces: distributed collaborative systems based on guarded attribute grammars
Éric Badouel, L. Hélouët, G. Kouamou, Christophe Morvan +1 more
2015SIAP20 citations
Semantic Scholar
Dynamic Communicating Automata and Branching High-Level MSCs
Benedikt Bollig, C. Aiswarya, L. Hélouët, Ahmet Kara +1 more
2013Language and Automata Theory and Applications19 citations
Semantic Scholar
Covert channel detection using Information Theory
L. Hélouët, A. Roumy
2010SecCo19 citations Open access
Semantic Scholar
Some Pathological Message Sequence Charts, and How to Detect Them
L. Hélouët
2001SDL Forum19 citations
Semantic Scholar
Opacity with powerful attackers
L. Hélouët, H. Marchand, Laurie S. L. Ricker
201818 citations Open access
Semantic Scholar
Robustness of Time Petri Nets under Guard Enlargement
S. Akshay, L. Hélouët, C. Jard, Pierre-Alain Reynier
2012Fundamenta Informaticae18 citations
Semantic Scholar
Scenarios and Covert Channels: Another Game
L. Hélouët, M. Zeitoun, Aldric Degorre
2005GDV@CAV18 citations Open access
Semantic Scholar
High-Level Message Sequence Charts and Projections
B. Genest, L. Hélouët, A. Muscholl
2003International Conference on Concurrency Theory18 citations
Semantic Scholar
Diagnosability of repairable faults
É. Fabre, L. Hélouët, Engel Lefaucheux, H. Marchand
2016Discrete event dynamic systems15 citations Open access
Semantic Scholar
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
L. Hélouët, Karim Kecir
2016Applications and Theory of Petri Nets15 citations Open access
Semantic Scholar
Petri Nets with Structured Data
Éric Badouel, L. Hélouët, Christophe Morvan
2015Fundamenta Informaticae15 citations
Semantic Scholar
Modeling behaviors in product lines
T. Ziadi, L. Hélouët, J. Jézéquel
200215 citations
Semantic Scholar
A Semantics for Timed MSC
Tong Zheng, Ferhat Khendek, L. Hélouët
2002VISS@ETAPS14 citations Open access
Semantic Scholar
Enforcing Opacity in Modular Systems
Graeme Zinck, Laurie S. L. Ricker, H. Marchand, L. Hélouët
2020IFAC-PapersOnLine13 citations Open access
Semantic Scholar
Decidable Classes of Unbounded Petri Nets with Time and Urgency
S. Akshay, B. Genest, L. Hélouët
2016Applications and Theory of Petri Nets12 citations Open access
Semantic Scholar
Distributed implementation of message sequence charts
Rouwaida Abdallah, L. Hélouët, C. Jard
2013Journal of Software and Systems Modeling11 citations
Semantic Scholar
A grammatical approach to data-centric case management in a distributed collaborative environment
Éric Badouel, L. Hélouët, Georges-Edouard Kouamou, Christophe Morvan
2014ACM Symposium on Applied Computing10 citations Open access
Semantic Scholar
Products of Message Sequence Charts
P. Darondeau, B. Genest, L. Hélouët
2008Foundations of Software Science and Computation Structure10 citations Open access
Semantic Scholar
Combining Free Choice and Time in Petri Nets
S. Akshay, L. Hélouët, Ramchndra Phawade
2016Time9 citations Open access
Semantic Scholar
Diagnosis from scenarios
L. Hélouët, H. Marchand, B. Genest, Thomas Gazagnaire
2014Discrete event dynamic systems9 citations
Semantic Scholar
Automating Scenario Merging
L. Hélouët, Thibaut Hénin, Christophe Chevrier
2006International Conference on Security and Management9 citations
Semantic Scholar
Behaviors generation from product lines requirements
T. Ziadi, L. Hélouët, J. Jézéquel
20049 citations
Semantic Scholar
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol
L. Hélouët
2003Information and Software Technology9 citations
Semantic Scholar
Modélisation de lignes de produits en UML
T. Ziadi, L. Hélouët, Jean-Marc Jézéquel
2003Obj. Logiciel Base données Réseaux9 citations Open access
Semantic Scholar
An event structure based semantics for high-level message sequence charts
L. Hélouët, C. Jard, B. Caillaud
2002Mathematical Structures in Computer Science9 citations
Semantic Scholar
Event Correlation with Boxed Pomsets
Thomas Gazagnaire, L. Hélouët
2007Formal Techniques for (Networked and) Distributed Systems8 citations Open access
Semantic Scholar
Data Centric Workflows for Crowdsourcing
P. Bourhis, L. Hélouët, Zoltán Miklós, Rituraj Singh
2020Applications and Theory of Petri Nets7 citations Open access
Semantic Scholar
Reducing the Cost of Aggregation in Crowdsourcing
Rituraj Singh, L. Hélouët, Zoltán Miklós
2020International Conference on Web Services7 citations
Semantic Scholar
Non-interference in Partial Order Models
B. Bérard, L. Hélouët, J. Mullins
2015International Conference on Application of Concurrency to System Design7 citations Open access
Semantic Scholar
Symbolically Bounding the Drift in Time-Constrained MSC Graphs
S. Akshay, B. Genest, L. Hélouët, Shaofa Yang
2012International Colloquium on Theoretical Aspects of Computing7 citations
Semantic Scholar
Regular set of representatives for time-constrained MSC graphs
S. Akshay, B. Genest, L. Hélouët, Shaofa Yang
2012Information Processing Letters7 citations Open access
Semantic Scholar
Petri Nets and Higher-Dimensional Automata
A. Amrane, Hugo Bazille, Ulrich Fahrenberg, L. Hélouët +1 more
2025Applications and Theory of Petri Nets6 citations
Semantic Scholar
Reachability Games with Relaxed Energy Constraints
L. Hélouët, N. Markey, Ritam Raha
2019International Symposium on Games, Automata, Logics and Formal Verification6 citations Open access
Semantic Scholar
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems
Bruno Adeline, P. Dersin, É. Fabre, L. Hélouët +1 more
2017International Conference on Reliability, Safety, and Security of Railway Systems6 citations
Semantic Scholar
Petri nets with semi-structured data
Éric Badouel, L. Hélouët, Christophe Morvan
20156 citations
Semantic Scholar
Robustness of Time Petri Nets under Architectural Constraints
S. Akshay, L. Hélouët, C. Jard, D. Lime +1 more
2012International Conference on Formal Modeling and Analysis of Timed Systems6 citations Open access
Semantic Scholar
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective
T. Chatain, L. Hélouët, C. Jard
2005Formal Techniques for (Networked and) Distributed Systems6 citations
Semantic Scholar
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
N. Bertrand, Benjamin Bordais, L. Hélouët, Thomas Mari +2 more
2019International Conference on Reliability, Safety, and Security of Railway Systems5 citations Open access
Semantic Scholar
Scenario Realizability with Constraint Optimization
Rouwaida Abdallah, A. Gotlieb, L. Hélouët, C. Jard
2013Fundamental Approaches to Software Engineering5 citations Open access
Semantic Scholar
Distributed Active XML and Service Interfaces
L. Hélouët, A. Benveniste
20095 citations
Semantic Scholar
Waiting Nets: State Classes and Taxonomy
L. Hélouët, Pranay Agrawal
2022Applications and Theory of Petri Nets4 citations Open access
Semantic Scholar
Hyper Partial Order Logic
B. Bérard, S. Haar, L. Hélouët
2018Foundations of Software Technology and Theoretical Computer Science4 citations Open access
Semantic Scholar