Publications

2015

• Parallel Symbolic Execution: Merging In-Flight RequestsNowack, M., Tietze, K. & Fetzer, C., 2015, Hardware and Software: Verification and Testing. Piterman, N. (ed.). Springer International Publishing, Vol. 9434. p. 120-135, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Resiliency-aware Data Compression for In-memory Database SystemsKolditz, T., Habich, D., Damme, P., Lehner, W., Kuvaiskii, D., Oleksenko, O. & Fetzer, C., 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications. p. 326-331, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Safe Exception Handling with Transactional MemoryFelber, P., Fetzer, C., Gramoli, V., Harmanci, D. & Nowack, M., 2015, Transactional Memory. Foundations, Algorithms, Tools, and Applications. Guerraoui, R. & Romano, P. (eds.). Springer International Publishing, Vol. 8913. p. 245-267, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

2014

• HardPaxos: Replication Hardened Against Hardware ErrorsBehrens, D., Kuvaiskii, D. & Fetzer, C., 1 Oct 2014, Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS'14). 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PowerCass: Energy Efficient, Consisten Hashing Based Storage for Micro Clouds Based InfrastructureTena, F. L., Knauth, T. & Fetzer, C., 1 Jul 2014, IEEE 7th International Conference on Cloud Computing. IEEE Computational Intelligence Society (CIS), 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Task Replication Strategy for Human Computation.Ponciano, L., Brasileiro, F. V., Gadelha, G. & Furtado, A., 2014, Brazilian Symposium on Computer Networks and Distributed Systems. IEEE, New York [u. a.], p. 249-257, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Framework for the Dynamic Evolution of Highly-available Dataflow ProgramsErtel, S. & Felber, P., 2014, Proceedings of the 15th International Middleware Conference. New York, NY, USA: ACM Press, p. 157-168, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Hardware Testbed for Dependable Software (Poster)Voronin, A., Wamhoff, J. & Fetzer, C., 2014, 12 p.Research output: Contribution to conferences > Paper
• Auto-scaling Techniques for Elastic Data Stream ProcessingHeinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, 9th International Workshop on Self-Managing Database Systems (SMDB 2014). IEEE Computational Intelligence Society (CIS), 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Auto-scaling Techniques for Elastic Data Stream Processing (Demo)Heinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, p. 318-321, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper