Publications

2015

• Exploiting Repeated Structures and Vectorization in ModelicaSchuchart, J., Waurich, V., Flehmig, M., Walther, M., Nagel, W. E. & Gubsch, I., Sep 2015, Proceeding of the 11th International Modelica Conference. p. 265-272, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improved Answer-Set Programming Encodings for Abstract ArgumentationGaggl, S. A., Manthey, N., Ronca, A., Wallner, J. P. & Woltran, S., 1 Aug 2015, To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015. arXiv:1507.06689Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?Smejkal, T., Lackorzynski, A., Engel, B. & Völp, M., 7 Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical FrameworksGaggl, S. A., Rudolph, S. & Straß, H., 1 Jul 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2985-2991, 7 p., (AAAI Press)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing Query Prices for Data-as-a-ServiceOliveira, A. C., Fetzer, C., Martin, A., Quoc, D. L. & Spohn, M., 1 Jul 2015, IEEE BigData Congress 2015. IEEE Computer Society, Washington , 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PLIP: fully automated protein-ligand interaction profilerSalentin, S., Schreiber, S., Haupt, V. J., Adasme, M. F. & Schroeder, M., 1 Jul 2015, In: Nucleic Acids Research. 43, W1, p. W443–W447Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable Network Traffic Classification Using Distributed Support Vector MachinesQuoc, D. L., D'Alessandro, V., Park, B., Romano, L. & Fetzer, C., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UniCrawl: A Practical Geographically Distributed Web CrawlerQuoc, D. L., Fetzer, C., Fellber, P., Rivière, É., Schiavoni, V. & Sutra, P., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Resource Sharing in MulticoresLampka, K., Flodin, J., Wang, Y. & Lackorzynski, A., Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extracting ALEQR(Self)-Knowledge Bases from GraphsKriegel, F., 25 Jun 2015, Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015) in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Spain. Kuznetsov, S. O., Missaoui, R. & Obiedkov, S. A. (eds.). CEUR-WS.org, Vol. 1534Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisKriegel, F., 7 Jun 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. Calvanese, D. & Konev, B. (eds.). CEUR-WS.org, Vol. 1350. p. 452-464, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A hybrid particle-mesh method for incompressible active polar viscous gelsRamaswamy, R., Bourantas, G., Jülicher, F. & Sbalzarini, I. F., 5 Jun 2015, In: Journal of computational physics. 291, p. 334-361, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Delta-encoding: Practical Encoded ProcessingKuvaiskii, D. & Fetzer, C., 1 Jun 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). IEEE Computer Society, Washington , 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing SystemsMartin, A., Smaneoto, T., Dietze, T., Brito, A. & Fetzer, C., 1 Jun 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). Los Alamitos, CA, USA: IEEE Computer Society, Washington , p. 462-473, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An adaptive replication scheme for elastic data stream processing systemsHeinze, T., Zia, M., Krahn, R., Jerzak, Z. & Fetzer, C., Jun 2015, p. 150-161, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A reference architecture for condition monitoringWollschlaeger, M., Theurich, S., Winter, A., Lubnau, F. & Paulitsch, C., 29 May 2015, 2015 IEEE World Conference on Factory Communication Systems (WFCS). IEEE, p. 1-8, 8 p., 7160555Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ClearVolume: Open-source live 3D visualization for light-sheet microscopyRoyer, L. A., Weigert, M., Günther, U., Maghelli, N., Jug, F., Sbalzarini, I. F. & Myers, E. W., 28 May 2015, In: Nature methods. 12, 6, p. 480-481, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Letter
• Beyond Scalable Error Isolation (Poster)Arnautov, S., Behrens, D., Serafini, M., Junqueira, F. P. & Fetzer, C., 1 May 2015, 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). Oakland, CA: USENIX AssociationResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scalable Error Isolation for Distributed SystemsBehrens, D., Serafini, M., Junqueira, F. P., Arnautov, S. & Fetzer, C., 1 May 2015, 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). Oakland, CA: USENIX Association, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi/many-core programming: Where are we standing?Castrillon, J., Sheng, W., Jessenberger, R., Thiele, L., Schorr, L., Juurlink, B., Alvarez-Mesa, M. & 3 others, 22 Apr 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: IEEE Xplore, p. 1708-1717, 10 p., 7092667Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Integrating churn into the formal analysis of routing algorithmsRoos, S., Nguyen, G. T. & Strufe, T., 17 Apr 2015, Proceedings - International Conference on Networked Systems, NetSys 2015. Institute of Electrical and Electronics Engineers Inc., 7089070Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An optimal allocation of memory buffers for complex multicore platformsGoens, A., Castrillon, J., Odendahl, M. & Leupers, R., 20 Mar 2015, In: Journal of Systems Architecture. 66-67, p. 69-83, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Between All and Nothing -- Versatile Aborts in Hardware Transactional MemoryDiestelhorst, S., Nowack, M., Spear, M. & Fetzer, C., 1 Mar 2015, TRANSACT 15. Houston, TX, USA: ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Methods for Solving Reasoning Problems in Abstract Argumentation textendash A SurveyCharwat, G., Dvořák, W., Gaggl, S. A., Wallner, J. P. & Woltran, S., 1 Mar 2015, In: Artificial intelligence. 220, 0, p. 28-63, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Holistic Ontology-Based Assistance System for Efficient Process Model Parameter IdentificationHensel, B., Wagner, T., Gellrich, A., Kabitzsch, K. & Kauschinger, B., 23 Feb 2015, In: Journal of Computational EngineeringElectronic (full-text) versionResearch output: Contribution to journal > Research article