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
Decidable Classes of Unbounded Petri Nets with Time and Urgency	2016-10-04	Paper
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics	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
Scenarios and covert channels: another game\dots	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

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