Christof Fetzer

According to our database1, Christof Fetzer
  • authored at least 212 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Sieve: Actionable Insights from Monitored Metrics in Microservices.
CoRR, 2017

Slick: Secure Middleboxes using Shielded Execution.
CoRR, 2017

Approximate Stream Analytics in Apache Flink and Apache Spark Streaming.
CoRR, 2017

Privacy Preserving Stream Analytics: The Marriage of Randomized Response and Approximate Computing.
CoRR, 2017

Secure Content-Based Routing Using Intel Software Guard Extensions.
CoRR, 2017

Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches.
CoRR, 2017

Elastic and Secure Energy Forecasting in Cloud Environments.
CoRR, 2017

Quality-Driven Disorder Handling for M-way Sliding Window Stream Joins.
CoRR, 2017

PrivApprox: Privacy-Preserving Stream Analytics.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Glamdring: Automatic Application Partitioning for Intel SGX.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers.
Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

GENPACK: A Generational Scheduler for Cloud Data Centers.
Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Fex: A Software Systems Evaluator.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

SecureCloud: Secure big data processing in untrusted clouds.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Integrating Reactive Cloud Applications in SERECA.
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016
Building Critical Applications Using Microservices.
IEEE Security & Privacy, 2016

Inspector: A Data Provenance Library for Multithreaded Programs.
CoRR, 2016

Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report).
CoRR, 2016

IncApprox: A Data Analytics System for Incremental Approximate Computing.
Proceedings of the 25th International Conference on World Wide Web, 2016

SCONE: Secure Linux Containers with Intel SGX.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Secure Content-Based Routing Using Intel Software Guard Extensions.
Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

SecureKeeper: Confidential ZooKeeper using Intel SGX.
Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

Compliance, Functional Safety and Fault Detection by Formal Methods.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Quality-driven disorder handling for m-way sliding window stream joins.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

INSPECTOR: Data Provenance Using Intel Processor Trace (PT).
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

HAFT: hardware-assisted fault tolerance.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Real-time social network graph analysis using StreamMine3G.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

Quality-driven disorder handling for concurrent windowed stream queries with shared operators.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

Energy minimization at all layers of the data center: The ParaDIME project.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers.
Microprocessors and Microsystems - Embedded Hardware Design, 2015

FUGU: Elastic Data Stream Processing with Latency Constraints.
IEEE Data Eng. Bull., 2015

ControlFreak: Signature Chaining to Counter Control Flow Attacks.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Quality-Driven Continuous Query Execution over Out-of-Order Data Streams.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

The TURBO Diaries: Application-controlled Frequency Scaling Explained.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Ohua: Implicit Dataflow Programming for Concurrent Systems.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Compiling for Resilience: the Performance Gap.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Scalable Error Isolation for Distributed Systems.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

VeCycle: Recycling VM Checkpoints for Faster Migrations.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Parallel Symbolic Execution: Merging In-Flight Requests.
Proceedings of the Hardware and Software: Verification and Testing, 2015

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing Systems.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Δ-Encoding: Practical Encoded Processing.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Real time data analysis of taxi rides using StreamMine3G.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

Quality-driven processing of sliding window aggregates over out-of-order data streams.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

An adaptive replication scheme for elastic data stream processing systems.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

Resiliency-aware Data Compression for In-memory Database Systems.
Proceedings of the DATA 2015, 2015

Safe Exception Handling with Transactional Memory.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

Online parameter optimization for elastic data stream processing.
Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

Optimization of Continuous Queries in Federated Database and Stream Processing Systems.
Proceedings of the Datenbanksysteme für Business, 2015

Optimizing Query Prices for Data-as-a-Service.
Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

EHadoop: Network I/O Aware Scheduler for Elastic MapReduce Cluster.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

UniCrawl: A Practical Geographically Distributed Web Crawler.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

Scalable Network Traffic Classification Using Distributed Support Vector Machines.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Finding the Needle in the Haystack: Identifying Business Communities in Internet Traffic.
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

The TURBO Diaries: Application-controlled Frequency Scaling Explained.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Low Cost Energy Forecasting for Smart Grids Using Stream Mine 3G and Amazon EC2.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

DreamServer: Truly On-Demand Cloud Services.
Proceedings of the International Conference on Systems and Storage, 2014

Practical Encoded Processing.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

HardPaxos: Replication Hardened against Hardware Errors.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Chained Signatures for Secure Program Execution.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Sloth: SDN-enabled activity-based virtual machine deployment.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

FastLane: Software Transactional Memory Optimized for Low Numbers of Threads.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

DeTrans: Deterministic and Parallel execution of Transactions.
Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014

Combining Error Detection and Transactional Memory for Energy-Efficient Computing below Safe Operation Margins.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Auto-scaling techniques for elastic data stream processing.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Elastic Scaling of a High-Throughput Content-Based Publish/Subscribe Engine.
Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

DoLen: User-Side Multi-cloud Application Monitoring.
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Predicting energy consumption with StreamMine3G.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Scalable and elastic realtime click stream analysis using StreamMine3G.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Auto-scaling techniques for elastic data stream processing.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Latency-aware elastic scaling for distributed data stream processing systems.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Lightweight Automatic Resource Scaling for Multi-tier Web Applications.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

PowerCass: Energy Efficient, Consistent Hashing Based Storage for Micro Clouds Based Infrastructure.
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013
Elastic Complex Event Processing under Varying Query Load.
Proceedings of the First International Workshop on Big Dynamic Distributed Data, 2013

Scalable and Real-Time Deep Packet Inspection.
Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Transactional Encoding for Tolerating Transient Hardware Errors.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Brief announcement: between all and nothing - versatile aborts in hardware transactional memory.
Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

FastLane: improving performance of software transactional memory for low thread counts.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

dsync: Efficient Block-wise Synchronization of Multi-Gigabyte Binary Data.
Proceedings of the Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, 2013

Automatically Tolerating Arbitrary Faults in Non-malicious Settings.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

StreamMine3G OneClick - Deploy and Monitor ESP Applications with a Single Click.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

Towards transparent hardening of distributed systems.
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Demo: measuring and estimating monetary cost for cloud-based data stream processing.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

StreamHub: a massively parallel architecture for high-performance content-based publish/subscribe.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Dynamic Replication Technique for Micro-Clouds Based Distributed Storage System.
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

Fast Virtual Machine Resume for Agile Cloud Services.
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

VScaler: Autonomic Virtual Machine Scaling.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

Improving Wide-Area Replication Performance through Informed Leader Election and Overlay Construction.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Infrastructure Provisioning for Scalable Content-Based Routing: Framework and Analysis.
Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

Fault-tolerant complex event processing using customizable state machine-based operators.
Proceedings of the 15th International Conference on Extending Database Technology, 2012

Energy-aware scheduling for infrastructure clouds.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Vertical Scaling for Prioritized VMs Provisioning.
Proceedings of the 2012 Second International Conference on Cloud and Green Computing, 2012

Spot-on for Timed instances: Striking a Balance between Spot and On-demand Instances.
Proceedings of the 2012 Second International Conference on Cloud and Green Computing, 2012

2011
Resiliency-Aware Data Management.
PVLDB, 2011

Active Replication at (Almost) No Cost.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Optimizing hybrid transactional memory: the importance of nonspeculative operations.
Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Community-based Analysis of Netflow for Early Detection of Security Incidents.
Proceedings of the Past, 2011

Low-Overhead Fault Tolerance for High-Throughput Data Processing Systems.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Transactional memory for dependable embedded systems.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Aaron: An adaptable execution environment.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Boundless memory allocations for memory safety and high availability.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Scalable and Low-Latency Data Processing with Stream MapReduce.
Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

A Novel Approach to QoS Monitoring in the Cloud.
Proceedings of the First International Conference on Data Compression, 2011

Scaling Non-elastic Applications Using Virtual Machines.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Time-Based Software Transactional Memory.
IEEE Trans. Parallel Distrib. Syst., 2010

The Velox Transactional Memory Stack.
IEEE Micro, 2010

Extensible transactional memory testbed.
J. Parallel Distrib. Comput., 2010

Brief Announcement: Hybrid Time-Based Transactional Memory.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

RobuSTM: A Robust Software Transactional Memory.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software.
Proceedings of the Computer Safety, 2010

Rearchitecting DNS.
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.
Proceedings of the European Conference on Computer Systems, 2010

Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing.
Proceedings of the Eighth European Dependable Computing Conference, 2010

StreamMine: a scalable and dependable event processing platform.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

Prospect: a compiler framework for speculative parallelization.
Proceedings of the CGO 2010, 2010

StreamMine.
Proceedings of the Principles and Applications of Distributed Event-Based Systems, 2010

2009
Composable Error Recovery With Transactional Memory.
Bulletin of the EATCS, 2009

Speculation for Parallelizing Runtime Checks.
Proceedings of the Stabilization, 2009

Multithreading-Enabled Active Replication for Event Stream Processing Operators.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Parallelizing Software-Implemented Error Detection.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.
Proceedings of the Computer Safety, 2009

Towards Improved Overlay Simulation Using Realistic Topologies.
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

TM-Stream: An STM framework for distributed event stream processing.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Fifth Workshop on Hot Topics in System Dependability (HotDep 2009).
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Soft state in the XSiena publish/subscribe system.
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

Soft state in publish/subscribe.
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

TopDNS: Experiences Building Internet-Based Topologies with GNP.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Transactions are back---but are they the same?: "Le Retour de Martin Guerre" (Sommersby).
SIGACT News, 2008

Adaptive Internal Clock Synchronization.
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

Automatic data partitioning in software transactional memories.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Dynamic performance tuning of word-based software transactional memory.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Switchblade: enforcing dynamic personalized system call models.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Enhanced server fault-tolerance for improved user experience.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

BFSiena: a communication substrate for StreamMine.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Bloom filter based routing for content-based publish/subscribe.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Speculative out-of-order event processing with software transaction memory.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

08241 Summary - Transactional Memory : From Implementation to Application.
Proceedings of the Transactional Memory: From Implementation to Application, 08.06., 2008

08241 Abstracts Collection - Transactional Memory : From Implementation to Application.
Proceedings of the Transactional Memory: From Implementation to Application, 08.06., 2008

2007
Improving Program Correctness with Atomic Exception Handling.
J. UCS, 2007

Time-based transactional memory with scalable time bases.
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Software Encoded Processing: Building Dependable Systems with Commodity Hardware.
Proceedings of the Computer Safety, 2007

From causal to z-linearizable transactional memory.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Exploiting Host Name Locality for Reduced Stretch P2P Routing.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Fail-Aware Publish/Subscribe.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Systems Architectures for Transactional Network Interface.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Topic 8 Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2007, 2007

Robustness and Security Hardening of COTS Software Libraries.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

DSN 2007 Workshops.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Prefix forwarding for publish/subscribe.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006
An approach to synthesise safe systems.
IJSN, 2006

A Lazy Snapshot Algorithm with Eager Validation.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Fault-tolerant and scalable TCP splice and web server architecture.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Leader Election in the Timed Finite Average Response Time Model.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Handling Overload in Publish/Subscribe Systems.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Automatically Finding and Patching Bad Error Handling.
Proceedings of the Sixth European Dependable Computing Conference, 2006

Student Forum.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005
Enhancing DNS Security using the SSL Trust Infrastructure.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Timed Asynchronous Distributed Systems.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Dependable Distributed Computing Using Free Databases.
Proceedings of the Service Availability, 2005

On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

A System Demonstration of ST-TCP.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

The Self-Star Vision.
Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004
Automatic Detection and Masking of Nonatomic Exception Handling.
IEEE Trans. Software Eng., 2004

Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

2003
Perfect Failure Detection in Timed Asynchronous Systems.
IEEE Trans. Computers, 2003

Fail-Awareness: An Approach to Construct Fail-Safe Systems.
Real-Time Systems, 2003

Practical Aspects of IP Take-Over Mechanisms.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003 Fall), 2003

Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Randomized Asynchronous Consensus with Imperfect Communications.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Elastic Vector Time.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

TCP Server Fault Tolerance Using Connection Migration to a Backup Server.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Automatic Detection and Masking of Non-Atomic Exception Handling.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Challenges in Making Pervasive Systems Dependable.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
The Timewheel Group Communication System.
IEEE Trans. Computers, 2002

A Flexible Generator Architecture for Improving Software Dependability.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Approximate Real-Time Clocks for Scheduled Events.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

An Automated Approach to Increasing the Robustness of C Libraries.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Fault Management in ECLIPSE.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Detecting Heap Smashing Attacks through Fault Containment Wrappers.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

An Adaptive Failure Detection Protocol.
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Rejuvenation and Failure Detection in Partitionable Systems.
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Tapping TCP Streams.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

Enforcing Perfect Failure Detection.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
Enforcing synchronous system properties on top of timed systems.
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
A Highly Available Local Leader Election Service.
IEEE Trans. Software Eng., 1999

The Timed Asynchronous Distributed System Model.
IEEE Trans. Parallel Distrib. Syst., 1999

Fail-aware datagram service.
IEE Proceedings - Software, 1999

Guest Editor's Introduction: Special section on dependable distributed systems.
Distributed Systems Engineering, 1999

1998
The Message Classification Model.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

The Timewheel Group Membership Protocol.
IPPS/SPDP Workshops, 1998

Derivation of Fail-Aware Membership Service Specifications.
IPPS/SPDP Workshops, 1998

The Timed Asynchronous Distributed System Model.
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
Integrating External and Internal Clock Synchronization.
Real-Time Systems, 1997

A Fail-Awar Membership Service.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

The Timewheel Asynchronous Atomic Broadcast Protocol.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Fail-Awareness: An Approach to Construct Fail-Safe Applications.
Proceedings of the Digest of Papers: FTCS-27, 1997

Determining the User-Level Transmission Delay in Networks of Workstations.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996
Fail-Aware Failure Detectors.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Fail-Awareness in Timed Asynchronous Systems.
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995
Lower Bounds for Convergence Function Based Clock Synchronization.
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Fault-Tolerant External Clock Synchronization.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994
Probabilistic Internal Clock Synchronization.
Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994


  Loading...