Publications

2015

• Parallel Symbolic Execution: Merging In-Flight RequestsNowack, M., Tietze, K. & Fetzer, C., 2015, Hardware and Software: Verification and Testing. Piterman, N. (Hrsg.). Springer International Publishing, Band 9434. S. 120-135, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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. S. 326-331, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer International Publishing, Band 8913. S. 245-267, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2014

• HardPaxos: Replication Hardened Against Hardware ErrorsBehrens, D., Kuvaiskii, D. & Fetzer, C., 1 Okt. 2014, Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS'14). 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PowerCass: Energy Efficient, Consisten Hashing Based Storage for Micro Clouds Based InfrastructureTena, F. L., Knauth, T. & Fetzer, C., 1 Juli 2014, IEEE 7th International Conference on Cloud Computing. IEEE Computational Intelligence Society (CIS), 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 249-257, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 157-168, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Hardware Testbed for Dependable Software (Poster)Voronin, A., Wamhoff, J. & Fetzer, C., 2014, 12 S.Publikation: Beitrag zu Konferenzen > 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 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Auto-scaling Techniques for Elastic Data Stream Processing (Demo)Heinze, T., Pappalardo, V., Jerzak, Z. & Fetzer, C., 2014, S. 318-321, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper