Publications

2020

• Runtime modeling and analysis of IoT systems.Åkesson, A., Hedin, G., Fors, N., Schöne, R. & Mey, J., 16 Oct 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 40:1-40:5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the probabilistic bisimulation spectrum with silent movesBaier, C., D’Argenio, P. R. & Hermanns, H., 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512, 48 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Semantic Node-RED for rapid development of interoperable industrial IoT applicationsThuluva, A. S., Anicic, D., Rudolph, S. & Adikari, M., 1 Oct 2020, In: Semantic web. 11, 6, p. 949-975, 27 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The classification of homomorphism homogeneous tournamentsFeller, T., Pech, C. & Pech, M., 1 Oct 2020, In: European Journal of Combinatorics. 89, p. 103142, 1 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• GPU-based Raycasting of Hermite Spline TubesRussig, B., Salm, M. & Gumhold, S., Oct 2020, Proceedings - 2020 IEEE Visualization Conference, VIS 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 26-30, 5 p., 9331319Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Secure Embedding of Rooted Spanning Trees for Scalable Routing in Topology-Restricted NetworksByrenheid, M., Strufe, T. & Roos, S., 24 Sep 2020, 2020 International Symposium on Reliable Distributed Systems (SRDS). Wiley-IEEE Press, p. 175-184, 10 p., 9252048Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TouchPen: Rich Interaction Technique for Audio-Tactile Charts by Means of Digital PensEngel, C., Konrad, N. & Weber, G., 20 Sep 2020, Lecture Notes in Computer ScienceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving Linux-Kernel Tests for LockDoc with Feedback-driven FuzzingLochmann, A., Thunig, R. & Schirmeier, H., 16 Sep 2020Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A Language for Deterministic Coordination across Multiple TimelinesLohstroh, M., Menard, C., Schulz-Rosengarten, A., Weber, M., Castrillon, J. & Lee, E. A., 15 Sep 2020, 2020 Forum for Specification and Design Languages (FDL). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ComPy-Learn: A toolbox for exploring machine learning representations for compilersBrauckmann, A., Goens, A. & Castrillon, J., 15 Sep 2020, 2020 Forum for Specification and Design Languages (FDL). 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PIKA: Center-Wide and Job-Aware Cluster MonitoringDietrich, R., Winkler, F., Knüpfer, A. & Nagel, W., 14 Sep 2020, 2020 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Computer Society, Washington , p. 424-432, 9 p., (IEEE International Conference on Cluster Computing)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Service Granularity in Industrial Automation and Control SystemsHomay, A., Sousa, M. D., Zoitl, A. & Wollschlaeger, M., 11 Sep 2020, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Institute of Electrical and Electronics Engineers (IEEE), Vol. 1. p. 132-139, 8 p., 9212048Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Achiever or explorer? Gamifying the creation process of training data for machine learningAlaghbari, S., Mitschick, A., Blichmann, G., Voigt, M. & Dachselt, R., 6 Sep 2020, MuC '20: Proceedings of Mensch und Computer 2020. Preim, B., Nürnberger, A. & Hansen, C. (eds.). Association for Computing Machinery (ACM), New York, p. 173-181Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CoFind: A Browser Plugin for Investigating Co-Located Collaborative Web SearchFuhrmann, R., Lehmann, A., Mitschick, A., Langner, R. & Dachselt, R., 6 Sep 2020, p. 425–429, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Analysis of Indoor Maps Accounting the Needs of People with ImpairmentsStriegl - Freiherr von Hoverbeck, J. L., Loitsch, C., Schmalfuß-Schwarz, J. & Weber, G., 4 Sep 2020, Lecture Notes in Computer Science: International Conference on Computers Helping People with Special Needs. Springer, Cham, p. 305-314Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Blind Twins: Siamese Networks for Non-Interactive Information ReconciliationWalther, P. & Strufe, T., 3 Sep 2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications. IEEE TechRxiv, p. 1-7, 7 p., 9217278Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A note on C2 interpreted over finite data-wordsBednarczyk, B. & Witkowski, P., 1 Sep 2020, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Neva - Extension Visualization for Argumentation FrameworksYang, M., Gaggl, S. A. & Rudolph, S., 1 Sep 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Vol. 326. p. 477-478, 2 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The ASPARTIX System SuiteDvořák, W., Gaggl, S. A., Rapberger, A., Wallner, J. P. & Woltran, S., 1 Sep 2020, Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020). Vol. 326. p. 461-462, 2 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Use of Steroid Profiling Combined With Machine Learning for Identification and Subtype Classification in Primary AldosteronismEisenhofer, G., Durán, C., Cannistraci, C. V., Peitzsch, M., Williams, T. A., Riester, A., Burrello, J. & 7 others, 1 Sep 2020, In: JAMA network open. 3, 9, p. e2016209Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Mathematical basis for the assessment of antibiotic resistance and administrative counter-strategiesDiebner, H. H., Kather, A., Roeder, I. & de With, K., Sep 2020, In: PloS one. 15, 9 September, e0238692Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A heterogeneous microkernel OS for Rack-Scale systemsHille, M., Asmussen, N., Härtig, H. & Bhatotia, P., 24 Aug 2020, Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems. p. 50-58Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Deep Domain-Specific Model Framework for Self-Reproducing Robotic Control SystemsZhao, W. & Aßmann, U., 20 Aug 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). p. 240-242Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Magnetic Racetrack Memory: From Physics to the Cusp of Applications within a DecadeBlasing, R., Khan, A. A., Filippou, P. C., Garg, C., Hameed, F., Castrillon, J. & Parkin, S. S., Aug 2020, In: Proceedings of the IEEE. 108, 8, p. 1303-1321, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Systembiologie: Wird die Informatik auch die klinische Forschung revolutionieren?Sbalzarini, I. F., Aug 2020, In: Allergologie. 43, 8, p. 338-339, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Short survey/Review