Loïc Hélouët

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 32

Top Topics

Top Venues

Fundam. Informaticae

Discret. Event Dyn. Syst.

Publications

Loïc Hélouët, Pranay Agrawal
Waiting Nets: State Classes and Taxonomy. Fundam. Informaticae 190 (2-4) (2024)
Loïc Hélouët, Prerak Contractor
Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets (2024)
Loïc Hélouët, Antoine Thébault
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. Petri Nets (2023)
Loïc Hélouët, Pranay Agrawal
Waiting Nets. Petri Nets (2022)
Loïc Hélouët, Pranay Agrawal
Waiting Nets (Extended Version). CoRR (2022)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability games with relaxed energy constraints. Inf. Comput. 285 (Part) (2022)
Loïc Hélouët, Zoltán Miklós, Rituraj Singh
Cost and Quality in Crowdsourcing Workflows. Petri Nets (2021)
Rituraj Singh, Loïc Hélouët, Zoltán Miklós
Reducing the Cost of Aggregation in Crowdsourcing. Trans. Large Scale Data Knowl. Centered Syst. 49 (2021)
S. Akshay, Blaise Genest, Loïc Hélouët, Shankara Narayanan Krishna, Sparsa Roychowdhury
Resilience of Timed Systems. FSTTCS (2021)
Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh
Data Centric Workflows for Crowdsourcing. Petri Nets (2020)
S. Akshay, Loïc Hélouët, Ramchandra Phawade
Combining free choice and time in Petri nets. J. Log. Algebraic Methods Program. 110 (2020)
Rituraj Singh, Loïc Hélouët, Zoltán Miklós
Reducing the Cost of Aggregation in Crowdsourcing. ICWS (2020)
S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
Timed Negotiations. FoSSaCS (2020)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability Games with Relaxed Energy Constraints. GandALF (2019)
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail (2019)
Loïc Hélouët, Hervé Marchand, John Mullins
Concurrent Secrets with Quantified Suspicion. ACSD (2018)
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
Diagnosability of repairable faults. Discret. Event Dyn. Syst. 28 (2) (2018)
Béatrice Bérard, Stefan Haar, Loïc Hélouët
Hyper Partial Order Logic. FSTTCS (2018)
Loïc Hélouët, Karim Kecir
Realizability of schedules by stochastic time Petri nets with blocking semantics. Sci. Comput. Program. 157 (2018)
Loïc Hélouët, Hervé Marchand
On the Cost of Diagnosis with Disambiguation. QEST (2017)
Béatrice Bérard, Loïc Hélouët, John Mullins
Non-interference in Partial Order Models. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. RSSRail (2017)
Loïc Hélouët, Karim Kecir
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Petri Nets (2016)
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
Robustness of Time Petri Nets under Guard Enlargement. Fundam. Informaticae 143 (3-4) (2016)
S. Akshay, Loïc Hélouët, Ramchandra Phawade
Combining Free Choice and Time in Petri Nets. TIME (2016)
Éric Badouel, Loïc Hélouët, Christophe Morvan
Petri Nets with Structured Data. Fundam. Informaticae 146 (1) (2016)
S. Akshay, Blaise Genest, Loïc Hélouët
Decidable Classes of Unbounded Petri Nets with Time and Urgency. Petri Nets (2016)
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
Diagnosability of repairable faults. WODES (2016)
Éric Badouel, Loïc Hélouët, Christophe Morvan
Petri Nets with Structured Data. Petri Nets (2015)
Béatrice Bérard, Loïc Hélouët, John Mullins
Non-interference in Partial Order Models. ACSD (2015)
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
A grammatical approach to data-centric case management in a distributed collaborative environment. SAC (2015)
Rouwaida Abdallah, Loïc Hélouët, Claude Jard
Distributed implementation of message sequence charts. Softw. Syst. Model. 14 (2) (2015)
Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
Active Diagnosis for Probabilistic Systems. FoSSaCS (2014)
Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
Diagnosis from scenarios. Discret. Event Dyn. Syst. 24 (4) (2014)
S. Akshay, Loïc Hélouët, Madhavan Mukund
Sessions with an Unbounded Number of Agents. ACSD (2014)
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. CoRR (2014)
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
Scenario Realizability with Constraint Optimization. FASE (2013)
Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick
Dynamic Communicating Automata and Branching High-Level MSCs. LATA (2013)
S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
The Steady-State Control Problem for Markov Decision Processes. QEST (2013)
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
Robustness of Time Petri Nets under Architectural Constraints. FORMATS (2012)
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
Robustness of Time Petri Nets under Guard Enlargement. RP (2012)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. 112 (14-15) (2012)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC (2012)
Philippe Darondeau, Loïc Hélouët, Madhavan Mukund
Assembling Sessions. ATVA (2011)
Benoît Masson, Loïc Hélouët, Albert Benveniste
Compatibility of Data-Centric Web Services. WS-FM (2011)
Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët
Decidable Race Condition and Open Coregions in HMSC. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Loïc Hélouët, Albert Benveniste
Document Based Modeling of Web Services Choreographies Using Active XML. ICWS (2010)
Benedikt Bollig, Loïc Hélouët
Realizability of Dynamic MSC Languages. CSR (2010)
Loïc Hélouët, Aline Roumy
Covert channel detection using Information Theory SecCo (2010)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. Theor. Comput. Sci. 410 (41) (2009)
Philippe Darondeau, Blaise Genest, Loïc Hélouët
Products of Message Sequence Charts. FoSSaCS (2008)
Thomas Gazagnaire, Loïc Hélouët
Event Correlation with Boxed Pomsets. FORTE (2007)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. CONCUR (2007)
Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel
Semantic-based weaving of scenarios. AOSD (2006)
Loïc Hélouët, Thibaut Hénin, Christophe Chevrier
Automating Scenario Merging. SAM (2006)
Jacques Klein, Benoît Caillaud, Loïc Hélouët
Merging Scenarios. Electron. Notes Theor. Comput. Sci. 133 (2005)
Thomas Chatain, Loïc Hélouët, Claude Jard
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE (2005)
Loïc Hélouët, Marc Zeitoun, Aldric Degorre
Scenarios and Covert Channels: Another Game... Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
Loïc Hélouët
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. SAM (2004)
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
Revisiting Statechart Synthesis with an Algebraic Approach. ICSE (2004)
Loïc Hélouët
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. Inf. Softw. Technol. 45 (11) (2003)
Blaise Genest, Loïc Hélouët, Anca Muscholl
High-Level Message Sequence Charts and Projections. CONCUR (2003)
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
Modélisation de lignes de produits en UML. Obj. Logiciel Base données Réseaux 9 (1-2) (2003)
Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
Towards a UML Profile for Software Product Lines. PFE (2003)
Tong Zheng, Ferhat Khendek, Loïc Hélouët
A Semantics for Timed MSC. Electron. Notes Theor. Comput. Sci. 65 (7) (2002)
Loïc Hélouët, Claude Jard, Benoît Caillaud
An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. 12 (4) (2002)
Loïc Hélouët
Some Pathological Message Sequence Charts, and How to Detect Them. SDL Forum (2001)
Loïc Hélouët, Pierre Le Maigat
Decomposition of Message Sequence Charts. SAM (2000)
Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
HMSCs as Partial Specifications ... with PNs as Completions. MOVEP (2000)
Loïc Hélouët
A simulation model for message sequence charts. SDL Forum (1999)