A simulation model for message sequence charts. - Loïc Hélouët (SDL Forum, 1999)

HMSCs as Partial Specifications ... with PNs as Completions. - Benoît Caillaud; Philippe Darondeau; Loïc Hélouët; Gilles Lesventes (MOVEP, 2000)

Decomposition of Message Sequence Charts. - Loïc Hélouët; Pierre Le Maigat (SAM, 2000)

Some Pathological Message Sequence Charts, and How to Detect Them. - Loïc Hélouët (SDL Forum, 2001)

A Semantics for Timed MSC. - Tong Zheng 002; Ferhat Khendek; Loïc Hélouët (VISS@ETAPS, 2002)

An Event Structure Based Semantics for High-Level Message Sequence Charts. - Loïc Hélouët; Claude Jard; Benoît Caillaud (Math. Struct. Comput. Sci., 2002)

High-Level Message Sequence Charts and Projections. - Blaise Genest; Loïc Hélouët; Anca Muscholl (CONCUR, 2003)

Towards a UML Profile for Software Product Lines. - Tewfik Ziadi; Loïc Hélouët; Jean-Marc Jézéquel (PFE, 2003)

Modélisation de lignes de produits en UML. - Tewfik Ziadi; Loïc Hélouët; Jean-Marc Jézéquel (Obj. Logiciel Base données Réseaux, 2003)

Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. - Loïc Hélouët (Inf. Softw. Technol., 2003)

Revisiting Statechart Synthesis with an Algebraic Approach. - Tewfik Ziadi; Loïc Hélouët; Jean-Marc Jézéquel (ICSE, 2004)

Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. - Loïc Hélouët (SAM, 2004)

Scenarios and Covert Channels: Another Game... - Loïc Hélouët; Marc Zeitoun; Aldric Degorre (GDV@CAV, 2004)

Merging Scenarios. - Jacques Klein; Benoît Caillaud; Loïc Hélouët (FMICS, 2004)

From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. - Thomas Chatain; Loïc Hélouët; Claude Jard (FORTE, 2005)

Semantic-based weaving of scenarios. - Jacques Klein; Loïc Hélouët; Jean-Marc Jézéquel (AOSD, 2006)

Automating Scenario Merging. - Loïc Hélouët; Thibaut Hénin; Christophe Chevrier (SAM, 2006)

Event Correlation with Boxed Pomsets. - Thomas Gazagnaire; Loïc Hélouët (FORTE, 2007)

Products of Message Sequence Charts. - Philippe Darondeau; Blaise Genest; Loïc Hélouët (FoSSaCS, 2008)

Causal Message Sequence Charts. - Thomas Gazagnaire; Blaise Genest; Loïc Hélouët; P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2009)

Realizability of Dynamic MSC Languages. - Benedikt Bollig; Loïc Hélouët (CSR, 2010)

Document Based Modeling of Web Services Choreographies Using Active XML. - Loïc Hélouët; Albert Benveniste (ICWS, 2010)

Covert channel detection using Information Theory - Loïc Hélouët; Aline Roumy (SecCo, 2010)

Decidable Race Condition and Open Coregions in HMSC. - Vojtech Rehák; Petr Slovák; Jan Strejcek; Loïc Hélouët (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Assembling Sessions. - Philippe Darondeau; Loïc Hélouët; Madhavan Mukund (ATVA, 2011)

Compatibility of Data-Centric Web Services. - Benoît Masson; Loïc Hélouët; Albert Benveniste (WS-FM, 2011)

Robustness of Time Petri Nets under Architectural Constraints. - S. Akshay 001; Loïc Hélouët; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2012)

Symbolically Bounding the Drift in Time-Constrained MSC Graphs. - S. Akshay 001; Blaise Genest; Loïc Hélouët; Shaofa Yang (ICTAC, 2012)

Regular set of representatives for time-constrained MSC graphs. - S. Akshay 001; Blaise Genest; Loïc Hélouët; Shaofa Yang (Inf. Process. Lett., 2012)

Scenario automata : theory and applications. (Automates d'ordres : théorie et applications). - Loïc Hélouët (2013)

Scenario Realizability with Constraint Optimization. - Rouwaida Abdallah; Arnaud Gotlieb; Loïc Hélouët; Claude Jard (FASE, 2013)

Dynamic Communicating Automata and Branching High-Level MSCs. - Benedikt Bollig; Aiswarya Cyriac; Loïc Hélouët; Ahmet Kara 002; Thomas Schwentick (LATA, 2013)

The Steady-State Control Problem for Markov Decision Processes. - S. Akshay 001; Nathalie Bertrand 001; Serge Haddad; Loïc Hélouët (QEST, 2013)

Sessions with an Unbounded Number of Agents. - S. Akshay 001; Loïc Hélouët; Madhavan Mukund (ACSD, 2014)

Active Diagnosis for Probabilistic Systems. - Nathalie Bertrand 001; Eric Fabre; Stefan Haar; Serge Haddad; Loïc Hélouët (FoSSaCS, 2014)

Diagnosis from scenarios. - Loïc Hélouët; Hervé Marchand; Blaise Genest; Thomas Gazagnaire (Discret. Event Dyn. Syst., 2014)

A grammatical approach to data-centric case management in a distributed collaborative environment. - Éric Badouel; Loïc Hélouët; Georges Edouard Kouamou; Christophe Morvan (SAC, 2015)

Distributed implementation of message sequence charts. - Rouwaida Abdallah; Loïc Hélouët; Claude Jard (Softw. Syst. Model., 2015)

Decidable Classes of Unbounded Petri Nets with Time and Urgency. - S. Akshay 001; Blaise Genest; Loïc Hélouët (Petri Nets, 2016)

Robustness of Time Petri Nets under Guard Enlargement. - S. Akshay 001; Loïc Hélouët; Claude Jard; Pierre-Alain Reynier (Fundam. Informaticae, 2016)

Petri Nets with Structured Data. - Éric Badouel; Loïc Hélouët; Christophe Morvan (Fundam. Informaticae, 2016)

On the Cost of Diagnosis with Disambiguation. - Loïc Hélouët; Hervé Marchand (QEST, 2017)

An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. - Bruno Adeline; Pierre Dersin; Éric Fabre; Loïc Hélouët; Karim Kecir (RSSRail, 2017)

Non-interference in Partial Order Models. - Béatrice Bérard; Loïc Hélouët; John Mullins (ACM Trans. Embed. Comput. Syst., 2017)

Concurrent Secrets with Quantified Suspicion. - Loïc Hélouët; Hervé Marchand; John Mullins (ACSD, 2018)

Hyper Partial Order Logic. - Béatrice Bérard; Stefan Haar; Loïc Hélouët (FSTTCS, 2018)

Diagnosability of repairable faults. - Eric Fabre; Loïc Hélouët; Engel Lefaucheux; Hervé Marchand (Discret. Event Dyn. Syst., 2018)

Realizability of schedules by stochastic time Petri nets with blocking semantics. - Loïc Hélouët; Karim Kecir (Sci. Comput. Program., 2018)

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. - Nathalie Bertrand 001; Benjamin Bordais; Loïc Hélouët; Thomas Mari; Julie Parreaux; Ocan Sankur (RSSRail, 2019)

Reachability Games with Relaxed Energy Constraints. - Loïc Hélouët; Nicolas Markey; Ritam Raha (GandALF, 2019)

Data Centric Workflows for Crowdsourcing. - Pierre Bourhis; Loïc Hélouët; Zoltán Miklós 001; Rituraj Singh (Petri Nets, 2020)

Timed Negotiations. - S. Akshay 001; Blaise Genest; Loïc Hélouët; Sharvik Mital (FoSSaCS, 2020)

Combining free choice and time in Petri nets. - S. Akshay 001; Loïc Hélouët; Ramchandra Phawade (J. Log. Algebraic Methods Program., 2020)

Cost and Quality in Crowdsourcing Workflows. - Loïc Hélouët; Zoltán Miklós 001; Rituraj Singh (Petri Nets, 2021)

Resilience of Timed Systems. - S. Akshay 001; Blaise Genest; Loïc Hélouët; S. Krishna 004; Sparsa Roychowdhury (FSTTCS, 2021)

Reducing the Cost of Aggregation in Crowdsourcing. - Rituraj Singh; Loïc Hélouët; Zoltán Miklós 001 (Trans. Large Scale Data Knowl. Centered Syst., 2021)

Waiting Nets. - Loïc Hélouët; Pranay Agrawal (Petri Nets, 2022)

Waiting Nets (Extended Version). - Loïc Hélouët; Pranay Agrawal (CoRR, 2022)

Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. - Loïc Hélouët; Antoine Thébault (Petri Nets, 2023)

Symbolic Domains and Reachability for Nets with Trajectories. - Loïc Hélouët; Prerak Contractor (Petri Nets, 2024)

Modeling Subway Networks and Passenger Flows. - Antoine Thébault; Loïc Hélouët; Kenza Saiah (ATMOS, 2024)

A Floyd-Warshall Approach to Value Computation in Markov Decision Processes. - Aymeric Côme; Éric Fabre; Loïc Hélouët (QEST+FORMATS, 2024)

Waiting Nets: State Classes and Taxonomy. - Loïc Hélouët; Pranay Agrawal (Fundam. Informaticae, 2024)

Petri Nets and Higher-Dimensional Automata. - Amazigh Amrane; Hugo Bazille; Uli Fahrenberg; Loïc Hélouët; Philipp Schlehuber-Caissier (Petri Nets, 2025)

Energy Transfer in Timed Cyclic Networks. - Luca Paparazzo; Loïc Hélouët; Nicolas Markey (Petri Nets, 2025)