The following pages link to Loïc Hélouët (Q436616):
Displayed 37 items.
- Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
- Diagnosis from scenarios (Q481349) (← links)
- Causal message sequence charts (Q843103) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Waiting nets (Q2165233) (← links)
- Timed negotiations (Q2200811) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- (Q2779790) (← links)
- Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (Q2822654) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- A Semantics for Timed MSC (Q2841319) (← links)
- (Q2849566) (← links)
- Symbolically Bounding the Drift in Time-Constrained MSC Graphs (Q2915094) (← links)
- Petri Nets with Structured Data (Q2941152) (← links)
- Robustness of Time Petri Nets under Guard Enlargement (Q2968522) (← links)
- Assembling Sessions (Q3172919) (← links)
- Causal Message Sequence Charts (Q3525636) (← links)
- Realizability of Dynamic MSC Languages (Q3569730) (← links)
- Event Correlation with Boxed Pomsets (Q3614848) (← links)
- (Q4532079) (← links)
- Robustness of Time Petri Nets under Architectural Constraints (Q4649383) (← links)
- (Q4782027) (← links)
- An event structure based semantics for high-level message sequence charts (Q4792941) (← links)
- Robustness of Time Petri Nets under Guard Enlargement (Q4899146) (← links)
- Dynamic Communicating Automata and Branching High-Level MSCs (Q4910456) (← links)
- Petri Nets with Structured Data (Q4976373) (← links)
- (Q5020520) (← links)
- (Q5090956) (← links)
- Data Centric Workflows for Crowdsourcing (Q5100748) (← links)
- (Q5190791) (← links)
- On the Cost of Diagnosis with Disambiguation (Q5194928) (← links)
- Active Diagnosis for Probabilistic Systems (Q5410662) (← links)
- Products of Message Sequence Charts (Q5458379) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479176) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900574) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)