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

This page was built for person: Karine Altisen