Publications

2015

• 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
• Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic SystemsGötz, S., Gerostathopoulos, I., Krikava, F., Shahzada, A. & Spalazzese, R., 2015Research output: Contribution to conferences > Paper
• Adaptive Runtime Filtering - Reducing Trace Size and Bias in Event-Based Performance AnalysisStolle, J., Wagner, M., Doleschal, J., Schmitt, F. & Brunst, H., 2015, p. 262-269Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Adding Threshold Concepts to the Description Logic ELBaader, F., Brewka, G. & Fernández Gil, O., 2015, Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. Lutz, C. & Ranise, S. (eds.). Springer Verlag, p. 33-48, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adding Threshold Concepts to the Description Logic EL (Extended Abstract)Baader, F., Brewka, G. & Fernández Gil, O., 2015, Proceedings of the 28th International Workshop on Description Logics (DL'15). CEUR-WS.org, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An Energy Efficiency Feature Survey of the Intel Haswell Processor.Hackenberg, D., Schöne, R., Ilsche, T., Molka, D., Schuchart, J. & Geyer, R., 2015, p. 896-904Electronic (full-text) versionResearch output: Contribution to conferences > Paper