Christof Fetzer

Available identifiers

zbMath Open fetzer.christofMaRDI QIDQ666241

List of research outcomes

Publication	Date of Publication	Type
Capacity planning for dependable services	2023-10-17	Paper
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic	2022-03-24	Paper
Lower bounds for convergence function based clock synchronization	2017-09-29	Paper
The message classification model	2016-03-02	Paper
Fail-awareness in timed asynchronous systems	2015-09-11	Paper
From causal to \(z\)-linearizable transactional memory	2014-03-13	Paper
Extensible transactional memory testbed	2012-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q3656206	2010-01-13	Paper
A Lazy Snapshot Algorithm with Eager Validation	2008-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4413431	2003-07-17	Paper
Fail-awareness: An approach to construct fail-safe systems	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4380841	1998-03-17	Paper

Research outcomes over time

This page was built for person: Christof Fetzer