The following pages link to Karine Altisen (Q346785):
Displayed 23 items.
- Causality problem in real-time calculus (Q346787) (← links)
- Self-stabilizing leader election in polynomial steps (Q528197) (← links)
- (Q698463) (redirect page) (← links)
- Scheduler modeling based on the controller synthesis paradigm (Q698466) (← links)
- Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework (Q856922) (← links)
- Gradual stabilization under \(\tau \)-dynamics (Q1693232) (← links)
- On probabilistic snap-stabilization (Q2357149) (← links)
- Comparison of mean hitting times for a degree-biased random walk (Q2449093) (← links)
- Certification of an exact worst-case self-stabilization time (Q2680867) (← links)
- (Q2766638) (← links)
- A Framework for Certified Self-Stabilization (Q2827460) (← links)
- Analysis of Random Walks Using Tabu Lists (Q2913216) (← links)
- Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (Q3557087) (← links)
- (Q4417893) (← links)
- (Q4493880) (← links)
- (Q5151031) (← links)
- Introduction to Distributed Self-Stabilizing Algorithms (Q5377007) (← links)
- Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics (Q5855239) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897968) (← links)
- Self-stabilizing systems in spite of high dynamics (Q6104354) (← links)
- On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics (Q6120919) (← links)
- Acyclic strategy for silent self-stabilization in spanning forests (Q6165838) (← links)
- Squeezing streams and composition of self-stabilizing algorithms (Q6190178) (← links)