Loïc Hélouët

Available identifiers

zbMath Open helouet.loicMaRDI QIDQ436616

List of research outcomes

Publication	Date of Publication	Type
Waiting Nets: State Classes and Taxonomy	2024-02-08	Paper
Data Centric Workflows for Crowdsourcing	2022-09-01	Paper
Waiting nets	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q5090956	2022-07-21	Paper
Reachability games with relaxed energy constraints	2022-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5020520	2022-01-06	Paper
Timed negotiations	2020-09-23	Paper
Combining free choice and time in Petri nets	2020-01-31	Paper
On the Cost of Diagnosis with Disambiguation	2019-09-17	Paper
Diagnosability of repairable faults	2018-10-08	Paper
Petri Nets with Structured Data	2017-07-28	Paper
Robustness of Time Petri Nets under Guard Enlargement	2017-03-16	Paper
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics	2016-10-04	Paper
Decidable Classes of Unbounded Petri Nets with Time and Urgency	2016-10-04	Paper
Petri Nets with Structured Data	2015-08-27	Paper
Diagnosis from scenarios	2014-12-12	Paper
Active Diagnosis for Probabilistic Systems	2014-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q2849566	2013-09-20	Paper
A Semantics for Timed MSC	2013-07-24	Paper
Dynamic Communicating Automata and Branching High-Level MSCs	2013-03-18	Paper
Robustness of Time Petri Nets under Guard Enlargement	2013-01-07	Paper
Robustness of Time Petri Nets under Architectural Constraints	2012-11-21	Paper
Symbolically Bounding the Drift in Time-Constrained MSC Graphs	2012-09-21	Paper
Regular set of representatives for time-constrained MSC graphs	2012-07-25	Paper
Assembling Sessions	2011-10-07	Paper
Realizability of Dynamic MSC Languages	2010-06-22	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Causal message sequence charts	2009-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q5190791	2009-07-27	Paper
Event Correlation with Boxed Pomsets	2009-03-10	Paper
Causal Message Sequence Charts	2008-09-18	Paper
Products of Message Sequence Charts	2008-04-11	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
An event structure based semantics for high-level message sequence charts	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4532079	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2779790	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4782027	2000-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Loïc Hélouët