"Die voranschreitende Digitalisierung und Vernetzung unseres Alltags bringt enorme Herausforderungen in der IT-Sicherheit mit sich. Dafür brauchen wir exzellent ausgebildete Wissenschaftler auf diesem Gebiet, die Forschung und Industrie vorantreiben können“, sagt Michael Backes, Direktor des CISPA und Professor für Informationssicherheit und Kryptographie an der Saar-Uni. Er wird gemeinsam mit John…
Mitra Nasri has received the best paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled "On the Problem of Finding Optimal Harmonic Periods” (with Morteza Mohaqeqi, Yang Xu, Anton Cervin, and Karl-Erik Arzén).
Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea. EMSOFT brings together researchers and developers from academia, industry, and government to…
Three papers from MPI-SWS were accepted to ACM POPL 2017: A promising semantics for relaxed-memory concurrencyRelational cost analysisThread modularity at many levels: a pearl in compositional verification
Two papers from MPI-SWS were accepted to ACM WSDM 2017: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks Uncovering the Dynamics of Crowdlearning and the Value of Knowledge
