The following pages link to Eric Fabre (Q1273381):
Displayed 21 items.
- Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets (Q1273383) (← links)
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (Q1365673) (← links)
- Symbolically quantifying response time in stochastic models using moments and semirings (Q1653002) (← links)
- Distributed monitoring of concurrent and asynchronous systems (Q1773098) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Factored Cost-Optimal Planning Using Message Passing Algorithms* (Q2805473) (← links)
- (Q3159192) (← links)
- Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings (Q3400553) (← links)
- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets (Q3569866) (← links)
- On the Construction of Pullbacks for Safe Petri Nets (Q3618704) (← links)
- A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways (Q5204368) (← links)
- Markov nets: probabilistic models for distributed and concurrent systems (Q5266681) (← links)
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach (Q5266845) (← links)
- Active Diagnosis for Probabilistic Systems (Q5410662) (← links)
- Diagnosis and Automata (Q5496923) (← links)
- Diagnosis with Petri Net Unfoldings (Q5496933) (← links)
- (Q5875663) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900555) (← links)