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

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: Christof Fetzer