Loïc Hélouët

According to our database, Loïc Hélouët authored at least 63 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Waiting Nets: State Classes and Taxonomy.

Loïc Hélouët, Pranay Agrawal

Fundam. Informaticae, 2024

A Floyd-Warshall Approach to Value Computation in Markov Decision Processes.

Aymeric Côme, Éric Fabre, Loïc Hélouët

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Modeling Subway Networks and Passenger Flows.

Antoine Thébault, Loïc Hélouët, Kenza Saiah

Proceedings of the 24th Symposium on Algorithmic Approaches for Transportation Modelling, 2024

Symbolic Domains and Reachability for Nets with Trajectories.

Loïc Hélouët, Prerak Contractor

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Mochy: A Tool for the Modeling of Concurrent Hybrid Systems.

Loïc Hélouët, Antoine Thébault

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Waiting Nets (Extended Version).

Loïc Hélouët, Pranay Agrawal

CoRR, 2022

Waiting Nets.

Loïc Hélouët, Pranay Agrawal

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Reducing the Cost of Aggregation in Crowdsourcing.

Rituraj Singh, Loïc Hélouët, Zoltán Miklós

Trans. Large Scale Data Knowl. Centered Syst., 2021

Resilience of Timed Systems.

S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

Cost and Quality in Crowdsourcing Workflows.

Loïc Hélouët, Zoltán Miklós, Rituraj Singh

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Combining free choice and time in Petri nets.

S. Akshay, Loïc Hélouët, Ramchandra Phawade

J. Log. Algebraic Methods Program., 2020

Timed Negotiations.

S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Data Centric Workflows for Crowdsourcing.

Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Reachability Games with Relaxed Energy Constraints.

Loïc Hélouët, Nicolas Markey, Ritam Raha

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.

Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2018

Realizability of schedules by stochastic time Petri nets with blocking semantics.

Loïc Hélouët, Karim Kecir

Sci. Comput. Program., 2018

Diagnosability of repairable faults.

Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand

Discret. Event Dyn. Syst., 2018

Hyper Partial Order Logic.

Béatrice Bérard, Stefan Haar, Loïc Hélouët

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Concurrent Secrets with Quantified Suspicion.

Loïc Hélouët, Hervé Marchand, John Mullins

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Non-interference in Partial Order Models.

Béatrice Bérard, Loïc Hélouët, John Mullins

ACM Trans. Embed. Comput. Syst., 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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

On the Cost of Diagnosis with Disambiguation.

Loïc Hélouët, Hervé Marchand

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Petri Nets with Structured Data.

Éric Badouel, Loïc Hélouët, Christophe Morvan

Fundam. Informaticae, 2016

Robustness of Time Petri Nets under Guard Enlargement.

S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier

Fundam. Informaticae, 2016

Decidable Classes of Unbounded Petri Nets with Time and Urgency.

S. Akshay, Blaise Genest, Loïc Hélouët

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015

Distributed implementation of message sequence charts.

Rouwaida Abdallah, Loïc Hélouët, Claude Jard

Softw. Syst. Model., 2015

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

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Diagnosis from scenarios.

Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire

Discret. Event Dyn. Syst., 2014

Active Diagnosis for Probabilistic Systems.

Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Sessions with an Unbounded Number of Agents.

S. Akshay, Loïc Hélouët, Madhavan Mukund

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

The Steady-State Control Problem for Markov Decision Processes.

S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Dynamic Communicating Automata and Branching High-Level MSCs.

Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick

Proceedings of the Language and Automata Theory and Applications, 2013

Scenario Realizability with Constraint Optimization.

Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Scenario automata : theory and applications. (Automates d'ordres : théorie et applications).

Loïc Hélouët

, 2013

2012

Regular set of representatives for time-constrained MSC graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Inf. Process. Lett., 2012

Symbolically Bounding the Drift in Time-Constrained MSC Graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Robustness of Time Petri Nets under Architectural Constraints.

S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Compatibility of Data-Centric Web Services.

Benoît Masson, Loïc Hélouët, Albert Benveniste

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Assembling Sessions.

Philippe Darondeau, Loïc Hélouët, Madhavan Mukund

Proceedings of the Automated Technology for Verification and Analysis, 2011

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

Covert channel detection using Information Theory

Loïc Hélouët, Aline Roumy

Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010

Document Based Modeling of Web Services Choreographies Using Active XML.

Loïc Hélouët, Albert Benveniste

Proceedings of the IEEE International Conference on Web Services, 2010

Realizability of Dynamic MSC Languages.

Benedikt Bollig, Loïc Hélouët

Proceedings of the Computer Science, 2010

2009

Causal Message Sequence Charts.

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2009

2008

Products of Message Sequence Charts.

Philippe Darondeau, Blaise Genest, Loïc Hélouët

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Event Correlation with Boxed Pomsets.

Thomas Gazagnaire, Loïc Hélouët

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Automating Scenario Merging.

Loïc Hélouët, Thibaut Hénin, Christophe Chevrier

Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Semantic-based weaving of scenarios.

Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.

Thomas Chatain, Loïc Hélouët, Claude Jard

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Merging Scenarios.

Jacques Klein, Benoît Caillaud, Loïc Hélouët

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Scenarios and Covert Channels: Another Game...

Loïc Hélouët, Marc Zeitoun, Aldric Degorre

Proceedings of the Workshop on Games in Design and Verification, 2004

Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.

Loïc Hélouët

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

Revisiting Statechart Synthesis with an Algebraic Approach.

Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol.

Loïc Hélouët

Inf. Softw. Technol., 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

Towards a UML Profile for Software Product Lines.

Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

High-Level Message Sequence Charts and Projections.

Blaise Genest, Loïc Hélouët, Anca Muscholl

Proceedings of the CONCUR 2003, 2003

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

A Semantics for Timed MSC.

Tong Zheng, Ferhat Khendek, Loïc Hélouët

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

2001

Some Pathological Message Sequence Charts, and How to Detect Them.

Loïc Hélouët

Proceedings of the SDL 2001: Meeting UML, 2001

2000

Decomposition of Message Sequence Charts.

Loïc Hélouët, Pierre Le Maigat

Proceedings of the SAM 2000, 2000

HMSCs as Partial Specifications ... with PNs as Completions.

Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999

A simulation model for message sequence charts.

Loïc Hélouët

Proceedings of the SDL '99 The Next Millennium, 1999