Felix C. Freiling

MaRDI QIDQ436800zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hardware-Based Trusted Computing Architectures for Isolation and Attestation IEEE Transactions on Computers	2018-06-27	Paper
The failure detector abstraction ACM Computing Surveys	2014-08-13	Paper
Communication-efficient failure detection and consensus in omission environments Information Processing Letters	2013-04-04	Paper
On termination detection in crash-prone distributed systems with failure detectors Journal of Parallel and Distributed Computing	2012-07-26	Paper
Safe termination detection in an asynchronous distributed system when processes may crash and recover Theoretical Computer Science	2009-03-02	Paper
From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors Lecture Notes in Computer Science	2008-09-02	Paper
Code Stabilization Lecture Notes in Computer Science	2007-09-25	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2080499 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2061546 (Why is no real title available?)	2004-03-21	Paper
scientific article; zbMATH DE number 2036572 (Why is no real title available?)	2004-02-02	Paper
scientific article; zbMATH DE number 2013837 (Why is no real title available?)	2003-12-07	Paper
Fair Exchange The Computer Journal	2003-08-07	Paper
A case study in the mechanical verification of fault tolerance Journal of Experimental & Theoretical Artificial Intelligence	2002-12-04	Paper
scientific article; zbMATH DE number 1543325 (Why is no real title available?)	2001-02-27	Paper

Research outcomes over time

This page was built for person: Felix C. Freiling