Publications

2015

• 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
• Devising the Future of the Models@run.time WorkshopGötz, S., Bencomo, N. & France, R., 6 Feb 2015, In: ACM SIGSOFT Software Engineering Notes. 2015, 40, p. 26-29Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Locomotion and attachment of leaf beetle larvae Gastrophysa viridula (Coleoptera, Chrysomelidae).Zurek, D., Gorb, S. & Voigt, D., Feb 2015, In: Journal of the Royal Society InterfaceElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Timings Matter - Standard Compliant IEEE 802.11 Channel Access for a Fully Software-based SDR ArchitectureBloessl, B., Puschmann, A., Sommer, C. & Dressler, F., Jan 2015, In: ACM SIGMOBILE mobile computing and communications review. 18, 3, p. 81–90Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Vehicular NetworkingSommer, C. & Dressler, F., Jan 2015, Cambridge, UK: Cambridge University Press, 370 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• A Closer Look at the Semantic Relationship between Datalog and Description LogicsKrötzsch, M., Rudolph, S. & Schmitt, P. H., 2015, In: Semantic Web. 6, 1, p. 63-79, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Combined Formal Model for Relational Context-Dependent RolesKühn, T., Böhme, S., Götz, S. & Aßmann, U., 2015Research output: Contribution to conferences > Paper
• A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization ProblemsKappes, J. H., Andres, B., Hamprecht, F. A., Schnörr, C., Nowozin, S., Batra, D., Kim, S. & 6 others, 2015, In: International journal of computer vision. 115, 2, p. 155-184, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A controller safety concept based on software-implemented fault tolerance for fail-operational automotive applicationsGhadhab, M., Kuntz, M., Kuvaiskii, D. & Fetzer, C., 2015, International Workshop on Formal Techniques for Safety-Critical Systems. p. 189-205, 17 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution