Publications

2015

• 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
• An Ontology Design Pattern for Data Integration in the Library DomainO'Brien, P., Carral, D., Mixter, J. & Hitzler, P., 2015, Workshop on Ontology and Semantic Web PatternsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An Ontology Design Pattern for Particle Physics AnalysisCarral, D., Cheatham, M., Dallmeier-Tiessen, S., Herterich, P., Hildreth, M., Hitzler, P., Krisnadhi, A. & 4 others, 2015, Workshop on Ontology and Semantic Web PatternsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Architectural implications for exascale based on big data workflow requirementsJäkel, R., Müller-Pfefferkorn, R., Kluge, M., Grunzke, R. & Nagel, W. E., 2015, Advances in Parallel Computing: Big Data and High Performance Computing. IOS Press, Amsterdam [u. a.], Vol. 26. p. 101-113, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Assistenzsystem für die Bedienung von LandmaschinenGroh, R., 2015Research output: Contribution to conferences > Paper
• Aughanded Virtuality - the hands in the virtual environmentGünther, T., Franke, I. S. & Groh, R., 2015, p. 157-158, 2 p.Research output: Contribution to conferences > Paper
• Barrierefreiheit im MOOCKelle, S., Voegler, J., Weber, G. & Zimmermann, G., 2015, Wissens-Gemeinschaften 2015: Knowledge Communities Conference 2015. Köhler, T., Schoop, E. & Kahnwald, N. (eds.). TUDpress/Thelem Universitätsverlag, p. 135-139, 5 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution