Christof Fetzer

According to our database, Christof Fetzer authored at least 291 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Invited Paper: Using Signed Formulas for Online Certification.

Julius Wenzel, Andreas Berg, Christof Fetzer

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Supporting continuous vulnerability compliance through automated identity provisioning.

Diego Gama, Andrey Brito, André Martin, Christof Fetzer

Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024

A Comprehensive Study on the Impact of Vulnerable Dependencies on Open-Source Software.

Shree Hari Bittugondanahalli Indra Kumar, Lilia Rodrigues Sampaio, André Martin, Andrey Brito, Christof Fetzer

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Traceability and Accountability by Construction.

Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

TICAL: Trusted and Integrity-protected Compilation of AppLications.

Robert Krahn, Nikson Kanti Paul, Franz Gregor, Do Le Quoc, Andrey Brito, André Martin, Christof Fetzer

Proceedings of the 19th European Dependable Computing Conference, 2024

CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing.

Ardhi Putra Pratama Hartono, Andrey Brito, Christof Fetzer

Proceedings of the 17th IEEE International Conference on Cloud Computing, 2024

2023

Cost-based Virtual Machine Scheduling for Data-as-a-Service.

Ana Cristina Oliveira, Marco Aurélio Spohn, Christof Fetzer, Do Le Quoc, André Martin

J. Univers. Comput. Sci., December, 2023

Confidential computing and related technologies: a critical review.

Muhammad Usama Sardar, Christof Fetzer

Cybersecur., December, 2023

Capacity planning for dependable services.

Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Theor. Comput. Sci., October, 2023

Revizor: Testing Black-Box CPUs Against Speculation Contracts.

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

IEEE Micro, 2023

A Last-Level Defense for Application Integrity and Confidentiality.

Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer

CoRR, 2023

LLD: A Last-Level Defense for Application Integrity and Confidentiality.

Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer

Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing, 2023

SinClave: Hardware-assisted Singletons for TEEs.

Franz Gregor, Robert Krahn, Do Le Quoc, Christof Fetzer

Proceedings of the 24th International Middleware Conference, 2023

Trustworthy confidential virtual machines for the masses.

Anna Galanou, Khushboo Bindlish, Luca Preibsch, Yvonne-Anne Pignolet, Christof Fetzer, Rüdiger Kapitza

Proceedings of the 24th International Middleware Conference, 2023

Triad: Trusted Timestamps in Untrusted Environments.

Gabriel P. Fernandez, Andrey Brito, Christof Fetzer

Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2023

2022

SGXTuner: Performance Enhancement of Intel SGX Applications Via Stochastic Optimization.

Giovanni Mazzeo, Sergei Arnautov, Christof Fetzer, Luigi Romano

IEEE Trans. Dependable Secur. Comput., 2022

PCRAFT: Capacity Planning for Dependable Stateless Services.

Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2022

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing.

Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer

CoRR, 2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

CHORS: hardening high-assurance security systems with trusted computing.

Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

MATEE: multimodal attestation for trusted execution environments.

Anna Galanou, Franz Gregor, Rüdiger Kapitza, Christof Fetzer

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

Formal Foundations for SCONE Attestation.

Muhammad Usama Sardar, Christof Fetzer

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

SecFL: Confidential Federated Learning using TEEs.

Do Le Quoc, Christof Fetzer

CoRR, 2021

Transient Execution of Non-Canonical Accesses.

Saidgani Musaev, Christof Fetzer

CoRR, 2021

Revizor: Fuzzing for Leaks in Black-box CPUs.

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

CoRR, 2021

WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

CoRR, 2021

Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

CoRR, 2021

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.

Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer

IEEE Access, 2021

Active replication for latency-sensitive stream processing in Apache Flink.

Guillaume Rosinosky, Florian Schmidt, Oleh Bodunov, Christof Fetzer, André Martin, Etienne Rivière

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

BROFY: Towards Essential Integrity Protection for Microservices.

Ardhi Putra Pratama Hartono, Christof Fetzer

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

Credentials as a Service Providing Self Sovereign Identity as a Cloud Service Using Trusted Execution Environments.

Hira Siddiqui, Mujtaba Idrees, Ivan Gudymenko, Do Le Quoc, Christof Fetzer

Proceedings of the IEEE International Conference on Cloud Engineering, 2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

ADAM-CS: Advanced Asynchronous Monotonic Counter Service.

André Martin, Cong Lian, Franz Gregor, Robert Krahn, Valerio Schiavoni, Pascal Felber, Christof Fetzer

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the Data and Applications Security and Privacy XXXV, 2021

TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public Clouds.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020

Federated and secure cloud services for building medical image classifiers on an intercontinental infrastructure.

Ignacio Blanquer, Francisco V. Brasileiro, Andrey Brito, Amanda Calatrava, André Carvalho, Christof Fetzer, Flavio V. D. de Figueiredo, Ronny Petterson Guimarães, Leandro Bezerra Marinho, Wagner Meira Jr., Altigran S. da Silva, Angel Alberich-Bayarri, Eduardo Camacho-Ramos, Ana Jimenez-Pastor, Antonio Luiz L. Ribeiro, Bruno Ramos Nascimento, Fábio Silva

Future Gener. Comput. Syst., 2020

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.

Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer

Proceedings of the 29th USENIX Security Symposium, 2020

secureTF: A Secure TensorFlow Framework.

Do Le Quoc, Franz Gregor, Sergei Arnautov, Roland Kunkel, Pramod Bhatotia, Christof Fetzer

Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

A practical approach for updating an integrity-enforced operating system.

Wojciech Ozga, Do Le Quoc, Christof Fetzer

Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

TEEMon: A continuous performance monitoring framework for TEEs.

Robert Krahn, Donald Dragoti, Franz Gregor, Do Le Quoc, Valerio Schiavoni, Pascal Felber, Clenimar Souza, Andrey Brito, Christof Fetzer

Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Formal Foundations for Intel SGX Data Center Attestation Primitives.

Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer

Proceedings of the Formal Methods and Software Engineering, 2020

Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders.

Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX.

Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

LEGaTO: Low-Energy, Secure, and Resilient Toolset for Heterogeneous Computing.

Behzad Salami, Konstantinos Parasyris, Adrián Cristal, Osman S. Unsal, Xavier Martorell, Paul Carpenter, Raúl de la Cruz, Leonardo Bautista-Gomez, Daniel A. Jiménez, Carlos Álvarez, Seyed Saber Nabavi Larimi, Sergi Madonar, Miquel Pericàs, Pedro Trancoso, Mustafa Abduljabbar, Jing Chen, Pirah Noor Soomro, Madhavan Manivannan, Micha vor dem Berge, Stefan Krupop, Frank Klawonn, Al Mekhlafi, Sigrun May, Tobias Becker, Georgi Gaydadjiev, Hans Salomonsson, Devdatt P. Dubhashi, Oron Port, Yoav Etsion, Do Le Quoc, Christof Fetzer, Martin Kaiser, Nils Kucza, Jens Hagemeyer, René Griessl, Lennart Tigges, Kevin Mika, A. Hüffmeier, Marcelo Pasin, Valerio Schiavoni, Isabelly Rocha, Christian Göttel, Pascal Felber

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

T-Lease: a trusted lease primitive for distributed systems.

Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

Vallum-Med: Protecting Medical Data in Cloud Environments.

Ronny Peterson, Altigran S. da Silva, André Carvalho, Christof Fetzer, André Martin, Ignacio Blanquer

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019

Incremental Approximate Computing.

Do Le Quoc, Dhanya R. Krishnan, Pramod Bhatotia, Christof Fetzer, Rodrigo Rodrigues

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Approximate Computing for Stream Analytics.

Do Le Quoc, Ruichuan Chen, Pramod Bhatotia, Christof Fetzer, Volker Hilt, Thorsten Strufe

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Privacy-Preserving Data Analytics.

Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

Proceedings of the Encyclopedia of Big Data Technologies., 2019

StreamMine3G: Elastic and Fault Tolerant Large Scale Stream Processing.

André Martin, Andrey Brito, Christof Fetzer

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Secure end-to-end processing of smart metering data.

Andrey Brito, Christof Fetzer, Stefan Köpsell, Peter R. Pietzuch, Marcelo Pasin, Pascal Felber, Keiko Verônica Ono Fonseca, Marcelo de Oliveira Rosa, Luiz Celso Gomes Jr., Rodrigo Jardim Riella, Charles B. Prado, Luiz Fernando Rust da Costa Carmo, Daniel E. Lucani, Márton Ákos Sipos, László Nagy, Marcell Fehér

J. Cloud Comput., 2019

PrivApprox: Privacy-Preserving Stream Analytics - (Extended Abstract).

Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

Inform. Spektrum, 2019

LEGaTO: Low-Energy, Secure, and Resilient Toolset for Heterogeneous Computing.

Behzad Salami, Konstantinos Parasyris, Adrián Cristal, Osman S. Unsal, Xavier Martorell, Paul Carpenter, Raúl de la Cruz, Leonardo Bautista-Gomez, Daniel A. Jiménez, Carlos Álvarez, S. Nabavi, Sergi Madonar, Miquel Pericàs, Pedro Trancoso, Mustafa Abduljabbar, Jing Chen, Pirah Noor Soomro, Madhavan Manivannan, Micha vor dem Berge, Stefan Krupop, Frank Klawonn, Al Mekhlafi, Sigrun May, Tobias Becker, Georgi Gaydadjiev, Daniel Ödman, Hans Salomonsson, Devdatt P. Dubhashi, Oron Port, Yoav Etsion, Do Le Quoc, Christof Fetzer, Martin Kaiser, Nils Kucza, Jens Hagemeyer, René Griessl, Lennart Tigges, Kevin Mika, A. Hüffmeier, Th. Jungeblu, Marcelo Pasin, Valerio Schiavoni, Isabelly Rocha, Christian Göttel, Pascal Felber

CoRR, 2019

TensorSCONE: A Secure TensorFlow Framework using Intel SGX.

Roland Kunkel, Do Le Quoc, Franz Gregor, Sergei Arnautov, Pramod Bhatotia, Christof Fetzer

CoRR, 2019

SGX-PySpark: Secure Distributed Data Analytics.

Do Le Quoc, Franz Gregor, Jatinder Singh, Christof Fetzer

Proceedings of the World Wide Web Conference, 2019

CoSMIX: A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves.

Meni Orenbach, Yan Michalevsky, Christof Fetzer, Mark Silberstein

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Clemmys: towards secure remote execution in FaaS.

Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer

Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

Low Cost Synchronization for Actively Replicated Data Streams.

André Martin, Andrey Brito, Christof Fetzer

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution.

Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani

Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

TEE-Perf: A Profiler for Trusted Execution Environments.

Maurice Bailleu, Donald Dragoti, Pramod Bhatotia, Christof Fetzer

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Vallum: Privacy, Confidentiality and Access Controlfor Sensitive Data in Cloud Environments.

Ronny Peterson, André Carvalho, Altigran S. da Silva, Gabriel P. Fernandez, André Martin, Christof Fetzer, Andrey Brito

Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

2018

Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack.

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proc. ACM Meas. Anal. Comput. Syst., 2018

Grand Challenge: Real-time Destination and ETA Prediction for Maritime Traffic.

Oleh Bodunov, Florian Schmidt, André Martin, Andrey Brito, Christof Fetzer

CoRR, 2018

You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.

Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer

CoRR, 2018

Approximate Distributed Joins in Apache Spark.

Do Le Quoc, Istemi Ekin Akkus, Pramod Bhatotia, Spyros Blanas, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

CoRR, 2018

Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks.

Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Cloud Challenge: Secure End-to-End Processing of Smart Metering Data.

Andrey Brito, Christof Fetzer, Stefan Köpsell, Marcelo Pasin, Pascal Felber, Keiko Ono Fonseca, Marcelo de Oliveira Rosa, Luiz Celso Gomes Jr., Rodrigo Jardim Riella, Charles B. Prado, Luiz F. R. da Costa Carmo, Daniel E. Lucani, Márton Sipos, László Nagy, Marcell Fehér

Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems.

Sergei Arnautov, Andrey Brito, Pascal Felber, Christof Fetzer, Franz Gregor, Robert Krahn, Wojciech Ozga, André Martin, Valerio Schiavoni, Fábio Silva, Marcus Tenorio, Nikolaus Thummel

Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

ShieldBox: Secure Middleboxes using Shielded Execution.

Bohdan Trach, Alfred Krohmer, Franz Gregor, Sergei Arnautov, Pramod Bhatotia, Christof Fetzer

Proceedings of the Symposium on SDN Research, 2018

LEGaTO: first steps towards energy-efficient toolset for heterogeneous computing.

Adrián Cristal, Osman S. Unsal, Xavier Martorell, Paul Carpenter, Raúl de la Cruz, Leonardo Bautista-Gomez, Daniel Jiménez-González, Carlos Álvarez, Behzad Salami, Sergi Madonar, Miquel Pericàs, Pedro Trancoso, Micha vor dem Berge, Gunnar Billung-Meyer, Stefan Krupop, Wolfgang Christmann, Frank Klawonn, Amani Mihklafi, Tobias Becker, Georgi Gaydadjiev, Hans Salomonsson, Devdatt P. Dubhashi, Oron Port, Elad Hadar, Yoav Etsion, Christof Fetzer, Jens Hagemeyer, Thorsten Jungeblut, Nils Kucza, Martin Kaiser, Mario Porrmann, Marcelo Pasin, Valerio Schiavoni, Isabelly Rocha, Christian Göttel, Pascal Felber

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

SGX-Aware Container Orchestration for Heterogeneous Clusters.

Sébastien Vaucher, Rafael Pires, Pascal Felber, Marcelo Pasin, Valerio Schiavoni, Christof Fetzer

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Pesos: policy enhanced secure object store.

Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer

Proceedings of the Thirteenth EuroSys Conference, 2018

LibSEAL: revealing service integrity violations using trusted execution.

Pierre-Louis Aublin, Florian Kelbert, Dan O'Keeffe, Divya Muthukumaran, Christian Priebe, Joshua Lind, Robert Krahn, Christof Fetzer, David M. Eyers, Peter R. Pietzuch

Proceedings of the Thirteenth EuroSys Conference, 2018

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.

Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

EndBox: Scalable Middlebox Functions Using Client-Side Trusted Execution.

David Goltzsche, Signe Rüsch, Manuel Nieke, Sébastien Vaucher, Nico Weichbrodt, Valerio Schiavoni, Pierre-Louis Aublin, Paolo Costa, Christof Fetzer, Pascal Felber, Peter R. Pietzuch, Rüdiger Kapitza

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

SecureCloud: Secure Big Data Processing in Untrusted Clouds.

Andrey Brito, Christof Fetzer

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Real-time Destination and ETA Prediction for Maritime Traffic.

Oleh Bodunov, Florian Schmidt, André Martin, Andrey Brito, Christof Fetzer

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

ApproxJoin: Approximate Distributed Joins.

Do Le Quoc, Istemi Ekin Akkus, Pramod Bhatotia, Spyros Blanas, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

Proceedings of the ACM Symposium on Cloud Computing, 2018

LEGaTO: towards energy-efficient, secure, fault-tolerant toolset for heterogeneous computing.

Adrián Cristal, Osman S. Unsal, Xavier Martorell, Paul Carpenter, Raúl de la Cruz, Leonardo Bautista-Gomez, Daniel Jiménez-González, Carlos Álvarez, Behzad Salami, Sergi Madonar, Miquel Pericàs, Pedro Trancoso, Micha vor dem Berge, Gunnar Billung-Meyer, Stefan Krupop, Wolfgang Christmann, Frank Klawonn, Amani Mihklafi, Tobias Becker, Georgi Gaydadjiev, Hans Salomonsson, Devdatt P. Dubhashi, Oron Port, Yoav Etsion, Vesna Nowack, Christof Fetzer, Jens Hagemeyer, Thorsten Jungeblut, Nils Kucza, Martin Kaiser, Mario Porrmann, Marcelo Pasin, Valerio Schiavoni, Isabelly Rocha, Christian Göttel, Pascal Felber

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

Sieve: Actionable Insights from Monitored Metrics in Microservices.

Jörg Thalheim, Antonio Rodrigues, Istemi Ekin Akkus, Pramod Bhatotia, Ruichuan Chen, Bimal Viswanath, Lei Jiao, Christof Fetzer

CoRR, 2017

Slick: Secure Middleboxes using Shielded Execution.

Bohdan Trach, Alfred Krohmer, Sergei Arnautov, Franz Gregor, Pramod Bhatotia, Christof Fetzer

CoRR, 2017

Approximate Stream Analytics in Apache Flink and Apache Spark Streaming.

Do Le Quoc, Ruichuan Chen, Pramod Bhatotia, Christof Fetzer, Volker Hilt, Thorsten Strufe

CoRR, 2017

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

Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

CoRR, 2017

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

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2017

Elastic and Secure Energy Forecasting in Cloud Environments.

André Martin, Andrey Brito, Christof Fetzer

CoRR, 2017

PrivApprox: Privacy-Preserving Stream Analytics.

Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, Thorsten Strufe

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Glamdring: Automatic Application Partitioning for Intel SGX.

Joshua Lind, Christian Priebe, Divya Muthukumaran, Dan O'Keeffe, Pierre-Louis Aublin, Florian Kelbert, Tobias Reiher, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Christof Fetzer, Peter R. Pietzuch

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers.

Maria Carpen-Amarie, Yaroslav Hayduk, Pascal Felber, Christof Fetzer, Gaël Thomas, Dave Dice

Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

Sieve: actionable insights from monitored metrics in distributed systems.

Jörg Thalheim, Antonio Rodrigues, Istemi Ekin Akkus, Pramod Bhatotia, Ruichuan Chen, Bimal Viswanath, Lei Jiao, Christof Fetzer

Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

StreamApprox: approximate computing for stream analytics.

Do Le Quoc, Ruichuan Chen, Pramod Bhatotia, Christof Fetzer, Volker Hilt, Thorsten Strufe

Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue.

Sergei Arnautov, Pascal Felber, Christof Fetzer, Bohdan Trach

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

GENPACK: A Generational Scheduler for Cloud Data Centers.

Aurelien Havet, Valerio Schiavoni, Pascal Felber, Maxime Colmant, Romain Rouvoy, Christof Fetzer

Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.

Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Fex: A Software Systems Evaluator.

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

SecureCloud: Secure big data processing in untrusted clouds.

Florian Kelbert, Franz Gregor, Rafael Pires, Stefan Köpsell, Marcelo Pasin, Aurelien Havet, Valerio Schiavoni, Pascal Felber, Christof Fetzer, Peter R. Pietzuch

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Integrating Reactive Cloud Applications in SERECA.

Christof Fetzer, Giovanni Mazzeo, John Oliver, Luigi Romano, Martijn Verburg

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Building Critical Applications Using Microservices.

Christof Fetzer

IEEE Secur. Priv., 2016

Inspector: A Data Provenance Library for Multithreaded Programs.

Jörg Thalheim, Pramod Bhatotia, Christof Fetzer

CoRR, 2016

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

Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2016

IncApprox: A Data Analytics System for Incremental Approximate Computing.

Dhanya R. Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, Rodrigo Rodrigues

Proceedings of the 25th International Conference on World Wide Web, 2016

SCONE: Secure Linux Containers with Intel SGX.

Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, André Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark Stillwell, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Peter R. Pietzuch, Christof Fetzer

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Secure Content-Based Routing Using Intel Software Guard Extensions.

Rafael Pires, Marcelo Pasin, Pascal Felber, Christof Fetzer

Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

SecureKeeper: Confidential ZooKeeper using Intel SGX.

Stefan Brenner, Colin Wulf, David Goltzsche, Nico Weichbrodt, Matthias Lorenz, Christof Fetzer, Peter R. Pietzuch, Rüdiger Kapitza

Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

Compliance, Functional Safety and Fault Detection by Formal Methods.

Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski

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.

Yuanzhen Ji, Jun Sun, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

INSPECTOR: Data Provenance Using Intel Processor Trace (PT).

Jörg Thalheim, Pramod Bhatotia, Christof Fetzer

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

HAFT: hardware-assisted fault tolerance.

Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Eleventh European Conference on Computer Systems, 2016

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).

Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Real-time social network graph analysis using StreamMine3G.

André Martin, Andrey Brito, Christof Fetzer

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.

Yuanzhen Ji, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer

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.

Oscar Palomar, Santhosh Kumar Rethinagiri, Gulay Yalcin, J. Rubén Titos Gil, Pablo Prieto, Emma Torrella, Osman S. Unsal, Adrián Cristal, Pascal Felber, Anita Sobe, Yaroslav Hayduk, Mascha Kurpicz, Christof Fetzer, Thomas Knauth, Malte Schneegaß, Jens Struckmeier, Dragomir Milojevic

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers.

Santhosh Kumar Rethinagiri, Oscar Palomar, Anita Sobe, Gulay Yalcin, Thomas Knauth, J. Rubén Titos Gil, Pablo Prieto, Malte Schneegaß, Adrián Cristal, Osman S. Unsal, Pascal Felber, Christof Fetzer, Dragomir Milojevic

Microprocess. Microsystems, 2015

FUGU: Elastic Data Stream Processing with Latency Constraints.

Thomas Heinze, Yuanzhen Ji, Lars Roediger, Valerio Pappalardo, Andreas Meister, Zbigniew Jerzak, Christof Fetzer

IEEE Data Eng. Bull., 2015

ControlFreak: Signature Chaining to Counter Control Flow Attacks.

Sergei Arnautov, Christof Fetzer

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Quality-Driven Continuous Query Execution over Out-of-Order Data Streams.

Yuanzhen Ji, Hongjin Zhou, Zbigniew Jerzak, Anisoara Nica, Gregor Hackenbroich, Christof Fetzer

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.

Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber, Dave Dice

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.

Sebastian Ertel, Christof Fetzer, Pascal Felber

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Compiling for Resilience: the Performance Gap.

Norman A. Rink, Dmitrii Kuvaiskii, Jerónimo Castrillón, Christof Fetzer

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Scalable Error Isolation for Distributed Systems.

Diogo Behrens, Marco Serafini, Flavio Paiva Junqueira, Sergei Arnautov, Christof Fetzer

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

VeCycle: Recycling VM Checkpoints for Faster Migrations.

Thomas Knauth, Christof Fetzer

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Parallel Symbolic Execution: Merging In-Flight Requests.

Martin Nowack, Katja Tietze, Christof Fetzer

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.

Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing Systems.

André Martin, Tiaraju Smaneoto, Tobias Dietze, Andrey Brito, Christof Fetzer

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Δ-Encoding: Practical Encoded Processing.

Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Real time data analysis of taxi rides using StreamMine3G.

André Martin, Andrey Brito, Christof Fetzer

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.

Yuanzhen Ji, Hongjin Zhou, Zbigniew Jerzak, Anisoara Nica, Gregor Hackenbroich, Christof Fetzer

Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

An adaptive replication scheme for elastic data stream processing systems.

Thomas Heinze, Mariam Zia, Robert Krahn, Zbigniew Jerzak, Christof Fetzer

Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

Needles in the Haystack - Tackling Bit Flips in Lightweight Compressed Data.

Till Kolditz, Dirk Habich, Dmitrii Kuvaiskii, Wolfgang Lehner, Christof Fetzer

Proceedings of the Data Management Technologies and Applications, 2015

Resiliency-aware Data Compression for In-memory Database Systems.

Till Kolditz, Dirk Habich, Patrick Damme, Wolfgang Lehner, Dmitrii Kuvaiskii, Oleksii Oleksenko, Christof Fetzer

Proceedings of the DATA 2015, 2015

Safe Exception Handling with Transactional Memory.

Pascal Felber, Christof Fetzer, Vincent Gramoli, Derin Harmanci, Martin Nowack

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

Online parameter optimization for elastic data stream processing.

Thomas Heinze, Lars Roediger, Andreas Meister, Yuanzhen Ji, Zbigniew Jerzak, Christof Fetzer

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

Optimization of Continuous Queries in Federated Database and Stream Processing Systems.

Yuanzhen Ji, Zbigniew Jerzak, Anisoara Nica, Gregor Hackenbroich, Christof Fetzer

Proceedings of the Datenbanksysteme für Business, 2015

Optimizing Query Prices for Data-as-a-Service.

Ana Cristina Oliveira, Christof Fetzer, André Martin, Marco Spohn

Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

dyn-PowerCass: Energy efficient distributed store based on dynamic data placement strategy.

Frezewd Lemma, Christof Fetzer

Proceedings of the AFRICON 2015, Addis Ababa, Ethiopia, September 14-17, 2015, 2015

EHadoop: Network I/O Aware Scheduler for Elastic MapReduce Cluster.

Lenar Yazdanov, Maxim Gorbunov, Christof Fetzer

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

UniCrawl: A Practical Geographically Distributed Web Crawler.

Do Le Quoc, Christof Fetzer, Pascal Felber, Etienne Rivière, Valerio Schiavoni, Pierre Sutra

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

Scalable Network Traffic Classification Using Distributed Support Vector Machines.

Do Le Quoc, Valerio D'Alessandro, Byungchul Park, Luigi Romano, Christof Fetzer

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Finding the Needle in the Haystack: Identifying Business Communities in Internet Traffic.

Stefan Weigert, Matti A. Hiltunen, Christof Fetzer

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

Low Cost Energy Forecasting for Smart Grids Using Stream Mine 3G and Amazon EC2.

André Martin, Rodolfo Silva, Andrey Brito, Christof Fetzer

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

DreamServer: Truly On-Demand Cloud Services.

Thomas Knauth, Christof Fetzer

Proceedings of the International Conference on Systems and Storage, 2014

Practical Encoded Processing.

Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

HardPaxos: Replication Hardened against Hardware Errors.

Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Chained Signatures for Secure Program Execution.

Sergei Arnautov, Christof Fetzer

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Sloth: SDN-enabled activity-based virtual machine deployment.

Thomas Knauth, Pradeep Kiruvale, Matti A. Hiltunen, Christof Fetzer

Proceedings of the third workshop on Hot topics in software defined networking, 2014

FastLane: Software Transactional Memory Optimized for Low Numbers of Threads.

Jons-Tobias Wamhoff, Etienne Rivière, Gilles Muller, Christof Fetzer, Pascal Felber

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

DeTrans: Deterministic and Parallel execution of Transactions.

Vesna Smiljkovic, Srdan Stipic, Christof Fetzer, Osman S. Unsal, Adrián Cristal, Mateo Valero

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.

Gulay Yalcin, Anita Sobe, Derin Harmanci, Alexey Voronin, Jons-Tobias Wamhoff, Pascal Felber, Osman S. Ünsal, Adrián Cristal, Christof Fetzer

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Auto-scaling techniques for elastic data stream processing.

Thomas Heinze, Valerio Pappalardo, Zbigniew Jerzak, Christof Fetzer

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.

Raphaël Barazzutti, Thomas Heinze, André Martin, Emanuel Onica, Pascal Felber, Christof Fetzer, Zbigniew Jerzak, Marcelo Pasin, Etienne Rivière

Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

DoLen: User-Side Multi-cloud Application Monitoring.

Do Le Quoc, Lenar Yazdanov, Christof Fetzer

Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy.

Santhosh Kumar Rethinagiri, Oscar Palomar, Anita Sobe, Thomas Knauth, Wojciech M. Barczynski, Gulay Yalcin, Yarco Hayduk, Adrián Cristal, Osman S. Unsal, Pascal Felber, Christof Fetzer, Julien Ryckaert, Gina Alioto

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Predicting energy consumption with StreamMine3G.

André Martin, Rodolfo Marinho, Andrey Brito, Christof Fetzer

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Scalable and elastic realtime click stream analysis using StreamMine3G.

André Martin, Andrey Brito, Christof Fetzer

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Latency-aware elastic scaling for distributed data stream processing systems.

Thomas Heinze, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

Lightweight Automatic Resource Scaling for Multi-tier Web Applications.

Lenar Yazdanov, Christof Fetzer

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.

Frezewd Lemma Tena, Thomas Knauth, Christof Fetzer

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.

Thomas Heinze, Yuanzhen Ji, Yinying Pan, Franz Josef Grüneberger, Zbigniew Jerzak, Christof Fetzer

Proceedings of the First International Workshop on Big Dynamic Distributed Data, 2013

Scalable and Real-Time Deep Packet Inspection.

Do Le Quoc, André Martin, Christof Fetzer

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

Transactional Encoding for Tolerating Transient Hardware Errors.

Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Brief announcement: between all and nothing - versatile aborts in hardware transactional memory.

Stephan Diestelhorst, Martin Nowack, Michael F. Spear, Christof Fetzer

Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

FastLane: improving performance of software transactional memory for low thread counts.

Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivière, Gilles Muller

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

dsync: Efficient Block-wise Synchronization of Multi-Gigabyte Binary Data.

Thomas Knauth, Christof Fetzer

Proceedings of the Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, 2013

Automatically Tolerating Arbitrary Faults in Non-malicious Settings.

Diogo Behrens, Stefan Weigert, Christof Fetzer

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

StreamMine3G OneClick - Deploy and Monitor ESP Applications with a Single Click.

Andrey Brito, André Martin, Christof Fetzer, Isabelly Rocha, Telles Nobrega

Proceedings of the 42nd International Conference on Parallel Processing, 2013

Towards transparent hardening of distributed systems.

Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

Demo: measuring and estimating monetary cost for cloud-based data stream processing.

Thomas Heinze, Patrick Meyer, Zbigniew Jerzak, Christof Fetzer

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.

Raphaël Barazzutti, Pascal Felber, Christof Fetzer, Emanuel Onica, Jean-François Pineau, Marcelo Pasin, Etienne Rivière, Stefan Weigert

Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Dynamic Replication Technique for Micro-Clouds Based Distributed Storage System.

Frezewd Lemma Tena, Johannes Schad, Christof Fetzer

Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

Fast Virtual Machine Resume for Agile Cloud Services.

Thomas Knauth, Christof Fetzer

Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

VScaler: Autonomic Virtual Machine Scaling.

Lenar Yazdanov, Christof Fetzer

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.

Syed Kewaan Ejaz, Diogo Behrens, Thomas Knauth, Christof Fetzer

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.

Sebastian Ertel, Christof Fetzer, Michael J. Beckerle

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Infrastructure Provisioning for Scalable Content-Based Routing: Framework and Analysis.

Raphaël Barazzutti, Pascal Felber, Hugues Mercier, Emanuel Onica, Jean-Francois Pineau, Etienne Rivière, Christof Fetzer

Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

Fault-tolerant complex event processing using customizable state machine-based operators.

Thomas Heinze, Zbigniew Jerzak, André Martin, Lenar Yazdanov, Christof Fetzer

Proceedings of the 15th International Conference on Extending Database Technology, 2012

Energy-aware scheduling for infrastructure clouds.

Thomas Knauth, Christof Fetzer

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Vertical Scaling for Prioritized VMs Provisioning.

Lenar Yazdanov, Christof Fetzer

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.

Thomas Knauth, Christof Fetzer

Proceedings of the 2012 Second International Conference on Cloud and Green Computing, 2012

2011

Resiliency-Aware Data Management.

Matthias Böhm, Wolfgang Lehner, Christof Fetzer

Proc. VLDB Endow., 2011

Active Replication at (Almost) No Cost.

André Martin, Christof Fetzer, Andrey Brito

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Optimizing hybrid transactional memory: the importance of nonspeculative operations.

Torvald Riegel, Patrick Marlier, Martin Nowack, Pascal Felber, Christof Fetzer

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.

Stefan Weigert, Matti A. Hiltunen, Christof Fetzer

Proceedings of the Past, 2011

Low-Overhead Fault Tolerance for High-Throughput Data Processing Systems.

André Martin, Thomas Knauth, Stephan Creutz, Diogo Becker de Brum, Stefan Weigert, Christof Fetzer, Andrey Brito

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Transactional memory for dependable embedded systems.

Christof Fetzer, Pascal Felber

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Aaron: An adaptable execution environment.

Marc Brünink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz, Christof Fetzer

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Boundless memory allocations for memory safety and high availability.

Marc Brünink, Martin Süßkraut, Christof Fetzer

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Scalable and Low-Latency Data Processing with Stream MapReduce.

Andrey Brito, André Martin, Thomas Knauth, Stephan Creutz, Diogo Becker de Brum, Stefan Weigert, Christof Fetzer

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

A Novel Approach to QoS Monitoring in the Cloud.

Luigi Romano, Danilo De Mari, Zbigniew Jerzak, Christof Fetzer

Proceedings of the First International Conference on Data Compression, 2011

Scaling Non-elastic Applications Using Virtual Machines.

Thomas Knauth, Christof Fetzer

Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010

Time-Based Software Transactional Memory.

Pascal Felber, Christof Fetzer, Patrick Marlier, Torvald Riegel

IEEE Trans. Parallel Distributed Syst., 2010

The Velox Transactional Memory Stack.

Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Rivière, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel

IEEE Micro, 2010

Extensible transactional memory testbed.

Derin Harmanci, Vincent Gramoli, Pascal Felber, Christof Fetzer

J. Parallel Distributed Comput., 2010

Brief Announcement: Hybrid Time-Based Transactional Memory.

Pascal Felber, Christof Fetzer, Patrick Marlier, Martin Nowack, Torvald Riegel

Proceedings of the Distributed Computing, 24th International Symposium, 2010

RobuSTM: A Robust Software Transactional Memory.

Jons-Tobias Wamhoff, Torvald Riegel, Christof Fetzer, Pascal Felber

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software.

Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer

Proceedings of the Computer Safety, 2010

Rearchitecting DNS.

Gert Pfeifer, Christof Fetzer, Martin Steuer

Proceedings of the 10th International Conference on Innovative Internet Community Services (I²CS), 2010

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.

Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière

Proceedings of the European Conference on Computer Systems, 2010

Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing.

Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer

Proceedings of the Eighth European Dependable Computing Conference, 2010

StreamMine: a scalable and dependable event processing platform.

Christof Fetzer

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

Prospect: a compiler framework for speculative parallelization.

Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer

Proceedings of the CGO 2010, 2010

StreamMine.

Christof Fetzer, Andrey Brito, Robert Fach, Zbigniew Jerzak

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

2009

Composable Error Recovery With Transactional Memory.

Torvald Riegel, Pascal Felber, Christof Fetzer

Bull. EATCS, 2009

Speculation for Parallelizing Runtime Checks.

Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer

Proceedings of the Stabilization, 2009

Multithreading-Enabled Active Replication for Event Stream Processing Operators.

Andrey Brito, Christof Fetzer, Pascal Felber

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Parallelizing Software-Implemented Error Detection.

Ute Schiffel, André Schmitt, Martin Süßkraut, Stefan Weigert, Christof Fetzer

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.

Christof Fetzer, Ute Schiffel, Martin Süßkraut

Proceedings of the Computer Safety, 2009

Towards Improved Overlay Simulation Using Realistic Topologies.

Gert Pfeifer, Ryan C. Spring, Christof Fetzer

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

TM-Stream: An STM framework for distributed event stream processing.

Heiko Sturzrehm, Pascal Felber, Christof Fetzer

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations.

Thomas Knauth, Christof Fetzer, Pascal Felber

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Minimizing Latency in Fault-Tolerant Distributed Stream Processing Systems.

Andrey Brito, Christof Fetzer, Pascal Felber

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Fifth Workshop on Hot Topics in System Dependability (HotDep 2009).

Christof Fetzer, Rodrigo Rodrigues

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Soft state in the XSiena publish/subscribe system.

Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

Soft state in publish/subscribe.

Zbigniew Jerzak, Christof Fetzer

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

TopDNS: Experiences Building Internet-Based Topologies with GNP.

Gert Pfeifer, Christof Fetzer

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).

Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris

SIGACT News, 2008

Adaptive Internal Clock Synchronization.

Zbigniew Jerzak, Robert Fach, Christof Fetzer

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

Automatic data partitioning in software transactional memories.

Torvald Riegel, Christof Fetzer, Pascal Felber

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.

Pascal Felber, Christof Fetzer, Torvald Riegel

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Switchblade: enforcing dynamic personalized system call models.

Christof Fetzer, Martin Süßkraut

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Enhanced server fault-tolerance for improved user experience.

Manish Marwah, Shivakant Mishra, Christof Fetzer

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

BFSiena: a communication substrate for StreamMine.

Zbigniew Jerzak, Christof Fetzer

Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Bloom filter based routing for content-based publish/subscribe.

Zbigniew Jerzak, Christof Fetzer

Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Speculative out-of-order event processing with software transaction memory.

Andrey Brito, Christof Fetzer, Heiko Sturzrehm, Pascal Felber

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.

Neeraj Suri, Christof Fetzer, Jacob A. Abraham, Stefan Poledna, Avi Mendelson, Subhasish Mitra

Proceedings of the Design, Automation and Test in Europe, 2008

08241 Summary - Transactional Memory : From Implementation to Application.

Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit

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

08241 Abstracts Collection - Transactional Memory : From Implementation to Application.

Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit

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

2007

Improving Program Correctness with Atomic Exception Handling.

Christof Fetzer, Pascal Felber

J. Univers. Comput. Sci., 2007

Time-based transactional memory with scalable time bases.

Torvald Riegel, Christof Fetzer, Pascal Felber

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.

Ute Wappler, Christof Fetzer

Proceedings of the Computer Safety, 2007

From causal to z-linearizable transactional memory.

Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Exploiting Host Name Locality for Reduced Stretch P2P Routing.

Gert Pfeifer, Christof Fetzer, Thomas Hohnstein

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Fail-Aware Publish/Subscribe.

Zbigniew Jerzak, Robert Fach, Christof Fetzer

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Systems Architectures for Transactional Network Interface.

Manish Marwah, Shivakant Mishra, Christof Fetzer

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Topic 8 Distributed Systems and Algorithms.

Luís E. T. Rodrigues, Achour Mostéfaoui, Christof Fetzer, Philippas Tsigas

Proceedings of the Euro-Par 2007, 2007

Robustness and Security Hardening of COTS Software Libraries.

Martin Süßkraut, Christof Fetzer

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

DSN 2007 Workshops.

Christof Fetzer

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

Prefix forwarding for publish/subscribe.

Zbigniew Jerzak, Christof Fetzer

Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006

An approach to synthesise safe systems.

Arshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri

Int. J. Secur. Networks, 2006

A Lazy Snapshot Algorithm with Eager Validation.

Torvald Riegel, Pascal Felber, Christof Fetzer

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Fault-tolerant and scalable TCP splice and web server architecture.

Manish Marwah, Shivakant Mishra, Christof Fetzer

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Leader Election in the Timed Finite Average Response Time Model.

Christof Fetzer, Martin Süßkraut

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Handling Overload in Publish/Subscribe Systems.

Zbigniew Jerzak, Christof Fetzer

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Automatically Finding and Patching Bad Error Handling.

Martin Süßkraut, Christof Fetzer

Proceedings of the Sixth European Dependable Computing Conference, 2006

Student Forum.

Christof Fetzer

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

2005

Enhancing DNS Security using the SSL Trust Infrastructure.

Christof Fetzer, Gert Pfeifer, Trevor Jim

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Timed Asynchronous Distributed Systems.

Christof Fetzer

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Dependable Distributed Computing Using Free Databases.

Christof Fetzer, Trevor Jim

Proceedings of the Service Availability, 2005

On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.

Christof Fetzer, Ulrich Schmid, Martin Süßkraut

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

A System Demonstration of ST-TCP.

Manish Marwah, Shivakant Mishra, Christof Fetzer

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

The Self-Star Vision.

Özalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad P. A. van Moorsel

Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004

Automatic Detection and Masking of Nonatomic Exception Handling.

Christof Fetzer, Pascal Felber, Karin Högstedt

IEEE Trans. Software Eng., 2004

Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times.

Christof Fetzer, Ulrich Schmid

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

2003

Perfect Failure Detection in Timed Asynchronous Systems.

Christof Fetzer

IEEE Trans. Computers, 2003

Fail-Awareness: An Approach to Construct Fail-Safe Systems.

Christof Fetzer, Flaviu Cristian

Real Time Syst., 2003

Practical Aspects of IP Take-Over Mechanisms.

Christof Fetzer, Neeraj Suri

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability.

Christof Fetzer, Karin Högstedt

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Randomized Asynchronous Consensus with Imperfect Communications.

Ulrich Schmid, Christof Fetzer

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Elastic Vector Time.

Christof Fetzer, Michel Raynal

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

TCP Server Fault Tolerance Using Connection Migration to a Backup Server.

Manish Marwah, Shivakant Mishra, Christof Fetzer

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.

Christof Fetzer, Zhen Xiao

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Automatic Detection and Masking of Non-Atomic Exception Handling.

Christof Fetzer, Karin Högstedt, Pascal Felber

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Challenges in Making Pervasive Systems Dependable.

Christof Fetzer, Karin Högstedt

Proceedings of the Future Directions in Distributed Computing, 2003

2002

The Timewheel Group Communication System.

Shivakant Mishra, Christof Fetzer, Flaviu Cristian

IEEE Trans. Computers, 2002

A Flexible Generator Architecture for Improving Software Dependability.

Christof Fetzer, Zhen Xiao

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Approximate Real-Time Clocks for Scheduled Events.

Christof Fetzer, Michel Raynal

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

An Automated Approach to Increasing the Robustness of C Libraries.

Christof Fetzer, Zhen Xiao

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Fault Management in ECLIPSE.

Gregory W. Bond, Christof Fetzer

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Detecting Heap Smashing Attacks through Fault Containment Wrappers.

Christof Fetzer, Zhen Xiao

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

An Adaptive Failure Detection Protocol.

Christof Fetzer, Michel Raynal, Frederic Tronel

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Rejuvenation and Failure Detection in Partitionable Systems.

Christof Fetzer, Karin Högstedt

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Tapping TCP Streams.

Maxim Orgiyan, Christof Fetzer

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

Enforcing Perfect Failure Detection.

Christof Fetzer

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Enforcing synchronous system properties on top of timed systems.

Christof Fetzer

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.

Paulo Veríssimo, António Casimiro, Christof Fetzer

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.

Christof Fetzer, Flaviu Cristian

IEEE Trans. Software Eng., 1999

The Timed Asynchronous Distributed System Model.

Flaviu Cristian, Christof Fetzer

IEEE Trans. Parallel Distributed Syst., 1999

Fail-aware datagram service.

Christof Fetzer, Flaviu Cristian

IEE Proc. Softw., 1999

Guest Editor's Introduction: Special section on dependable distributed systems.

Christof Fetzer

Distributed Syst. Eng., 1999

1998

The Message Classification Model.

Christof Fetzer

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

The Timewheel Group Membership Protocol.

Shivakant Mishra, Christof Fetzer, Flaviu Cristian

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

Derivation of Fail-Aware Membership Service Specifications.

Christof Fetzer, Flaviu Cristian

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997

Integrating External and Internal Clock Synchronization.

Christof Fetzer, Flaviu Cristian

Real Time Syst., 1997

A Fail-Awar Membership Service.

Christof Fetzer, Flaviu Cristian

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

The Timewheel Asynchronous Atomic Broadcast Protocol.

Shivakant Mishra, Christof Fetzer, Flaviu Cristian

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Fail-Awareness: An Approach to Construct Fail-Safe Applications.

Christof Fetzer, Flaviu Cristian

Proceedings of the Digest of Papers: FTCS-27, 1997

Determining the User-Level Transmission Delay in Networks of Workstations.

Oliver Suciu, Christof Fetzer

Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996

Fail-Aware Failure Detectors.

Christof Fetzer, Flaviu Cristian

Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Fail-Awareness in Timed Asynchronous Systems.

Christof Fetzer, Flaviu Cristian

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Lower Bounds for Convergence Function Based Clock Synchronization.

Christof Fetzer, Flaviu Cristian

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Fault-Tolerant External Clock Synchronization.

Flaviu Cristian, Christof Fetzer

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994

Probabilistic Internal Clock Synchronization.

Flaviu Cristian, Christof Fetzer

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994