Karine Altisen

Available identifiers

zbMath Open altisen.karineMaRDI QIDQ346785

List of research outcomes

Publication	Date of Publication	Type
Self-stabilizing synchronous unison in directed networks	2024-05-08	Paper
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics	2024-03-26	Paper
Squeezing streams and composition of self-stabilizing algorithms	2024-02-06	Paper
Acyclic strategy for silent self-stabilization in spanning forests	2023-08-02	Paper
Self-stabilizing systems in spite of high dynamics	2023-06-15	Paper
Certification of an exact worst-case self-stabilization time	2023-01-04	Paper
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics	2021-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q5151031	2021-02-16	Paper
Introduction to Distributed Self-Stabilizing Algorithms	2019-05-21	Paper
Gradual stabilization under \(\tau \)-dynamics	2018-01-11	Paper
A Framework for Certified Self-Stabilization	2017-12-11	Paper
On probabilistic snap-stabilization	2017-06-19	Paper
Self-stabilizing leader election in polynomial steps	2017-05-12	Paper
Causality problem in real-time calculus	2016-11-30	Paper
A Framework for Certified Self-Stabilization	2016-10-19	Paper
Comparison of mean hitting times for a degree-biased random walk	2014-05-06	Paper
Analysis of Random Walks Using Tabu Lists	2012-09-26	Paper
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions	2010-04-27	Paper
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework	2006-12-14	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417893	2003-07-30	Paper
Scheduler modeling based on the controller synthesis paradigm	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2766638	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4493880	1999-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: Karine Altisen