Felix C. Freiling

Available identifiers

Publication	Date of Publication	Type
Hardware-Based Trusted Computing Architectures for Isolation and Attestation	2018-06-27	Paper
The failure detector abstraction	2014-08-13	Paper
Communication-efficient failure detection and consensus in omission environments	2013-04-04	Paper
On termination detection in crash-prone distributed systems with failure detectors	2012-07-26	Paper
Safe termination detection in an asynchronous distributed system when processes may crash and recover	2009-03-02	Paper
From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors	2008-09-02	Paper
Code Stabilization	2007-09-25	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Distributed Computing	2006-11-01	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4473307	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4457228	2004-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4446602	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4437131	2003-12-07	Paper
Fair Exchange	2003-08-07	Paper
A case study in the mechanical verification of fault tolerance	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4520798	2001-02-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Felix C. Freiling