Publications

2016

• Expressivity of Datalog Variants - Completing the PictureRudolph, S. & Thomazo, M., 1 Jul 2016, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16). Kambhampati, S. (ed.). AAAI Press, p. 1230-1236, 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Web-Mining Defeasible Knowledge from Concessional StatementsPetrova, A. & Rudolph, S., 1 Jul 2016, Graph-Based Representation and Reasoning . Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, Berlin [u. a.], p. 191-203, 13 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An improved DV-Hop localization algorithm based on hop distances correctionMehrabi, M., Taheri, H. & Taghdiri, P., Jul 2016, p. 639–647Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Combining Predictable Execution with Full-Featured Commodity SystemsLackorzynski, A., Weinhold, C. & Härtig, H., Jul 2016, Proceedings of the OSPERT 2016 Workshop. Toulouse, FranceResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• YouTouch! Low-cost user identification at an interactive display wallVon Zadow, U., Reipschläger, P., Bösel, D., Sellent, A. & Dachselt, R., 7 Jun 2016, AVI 2016 - Proceedings of the 2016 International Working Conference on Advanced Visual Interfaces. Buono, P., Lanzilotti, R. & Matera, M. (eds.). Association for Computing Machinery, p. 144-151, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Gaze and feet as additional input modalities for interacting with geospatial interfacesÇöltekin, A., Hempel, J., Brychtova, A., Giannopoulos, I., Stellmach, S. & Dachselt, R., 2 Jun 2016, XXIII ISPRS Congress, Commission II. Vol. III-2. p. 113-120, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SFU-driven transparent approximation acceleration on GPUsLi, A., Song, S. L., Wijtvliet, M., Kumar, A. & Corporaal, H., 1 Jun 2016, ICS '16: Proceedings of the 2016 International Conference on Supercomputing. Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decoupled: Low-Effort Noise-Free Execution on Commodity SystemsLackorzynski, A., Weinhold, C. & Härtig, H., Jun 2016, Proceedings of 2016's ROSS Workshop. Kyoto, JapanResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Machine learning approach to generate Pareto front for list-scheduling algorithmsPham, N. K., Kumar, A. & Aung, K. M. M., 23 May 2016, SCOPES '16: Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.).p. 127-134, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Seeing is believing: Quantifying is convincing: Computational image analysis in biologySbalzarini, I. F., 21 May 2016, Focus on Bio-Image Informatics. De Vos, W. H., Munck, S. & Timmermans, J. (eds.). Springer Science and Business Media B.V., p. 1-39, 39 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Ein Modell für natursprachliche AnforderungsdokumenteDemuth, B. & Sneed, H., May 2016, In:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 2016, 39, p. 362–372Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the impact of adjacent channel interference in multi-channel VANETsCampolo, C., Sommer, C., Dressler, F. & Molinaro, A., May 2016, 2016 IEEE International Conference on Communications (ICC)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A flexible inexact TMR technique for SRAM-based FPGAsVenkataraman, S., Santos, R. & Kumar, A., 25 Apr 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, New York [u. a.], p. 810-813, 4 p., 7459417Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Critical points based register-concurrency autotuning for GPUsLi, A., Song, S. L., Kumar, A., Zhang, E. Z., Chavarría-Miranda, D. & Corporaal, H., 25 Apr 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, New York [u. a.], p. 1273-1278, 6 p., 7459506Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design and evaluation of reliability-oriented task re-mapping in MPSoCs using time-series analysis of intermittent faultsSahoo, S. S., Kumar, A. & Veeravalli, B., 25 Apr 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, New York [u. a.], p. 798-803, 6 p., 7459415Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic model checkingBaier, C., 19 Apr 2016, Dependable Software Systems Engineering. Esparza, J., Grumberg, O. & Sickert, S. (eds.). IOS Press, p. 1-23, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Minimal model for spontaneous cell polarization and edge activity in oscillating, rotating and migrating cellsRaynaud, F., Ambühl, M. E., Gabella, C., Bornert, A., Sbalzarini, I. F., Meister, J. J. & Verkhovsky, A. B., 1 Apr 2016, In: Nature physics. 12, 4, p. 367-373, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Cars as the base for service discovery and provision in highly dynamic networksHagenauer, F., Sommer, C., Merschjohann, S., Higuchi, T., Dressler, F. & Altintas, O., Apr 2016, 35th IEEE Conference on Computer Communications (INFOCOM 2016), Demo SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus UseLampka, K. & Lackorzynski, A., Apr 2016, Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. Münster, GermanyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fault tolerance with aspects: A feasibility studyKarol, S., Rink, N. A., Gyapjas, B. & Castrillon, J., 14 Mar 2016, MODULARITY 2016 - Proceedings of the 15th International Conference on Modularity. Fuentes, L., Batory, D. & Czarnecki, K. (eds.). Association for Computing Machinery, Inc, p. 66-69, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Contrasting usability evaluation methods with blind usersMiao, M., Pham, H. A., Friebe, J. & Weber, G., Mar 2016, In: Universal Access in the Information Society. 15, p. 63–76, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Generic scrubbing-based architecture for custom error correction algorithmsSantos, R., Venkataraman, S. & Kumar, A., 23 Feb 2016, Proceedings of the 2015 26th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype, RSP 2015. IEEE Computer Society, Washington , p. 112-118, 7 p., 7416555Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PRFloor: An automatic floorplanner for partially reconfigurable FPGA systemsNguyen, T. D. & Kumar, A., 21 Feb 2016, FPGA 2016 - Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 149-158, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• System-level analysis of MPSoCs with a hardware schedulerZhang, D., Castrillon, J., Schürmans, S., Ascheid, G., Leupers, R. & Vanthournout, B., 17 Feb 2016, Leadership and Personnel Management: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 2. p. 777-812, 36 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Efficient Data Structures for Dynamic Graph AnalysisSchiller, B., Castrillon, J. & Strufe, T., 5 Feb 2016, Proceedings - 11th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2015. Yetongnon, K., Dipanda, A. & Chbeir, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 497-504, 8 p., 7400608Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution