Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best- paper award at ECRTS 2016, for their paper "Prosa: A Case for Readable Mechanized Schedulability Analysis." Read more about Prosa.
MPI-SWS postdoctoral fellow Mitra Nasri has been awarded a two-year Humboldt postdoctoral fellowship. The fellowship enables highly-qualified scientists from abroad to spend extended periods of research in Germany. Dr. Nasrabadi will be spending her fellowship years with the MPI-SWS Real Time Systems research group.
MPI-SWS Director Peter Druschel was honored with a Microsoft Outstanding Collaborator Award. The award was given for his numerous contributions to Microsoft Research over the years. Druschel's collaborative work with Microsoft Research has generated a long stream of seminal papers. One of the most noteworthy is his paper on the…
Felipe Cerqueira, Felix Stutz, and Björn Brandenburg have received the best paper award at ECRTS 2016, for their paper "Prosa: A Case for Readable Mechanized Schedulability Analysis." Read more about Prosa.
„Nirgendwo sonst finden Sie mehr Spitzenforscher zu Software-Test und Analyse auf engstem Raum versammelt. Nirgendwo sonst erhalten Sie einen besseren Überblick über die neuesten und vielversprechendsten Forschungsergebnisse, vorgestellt nicht nur von Wissenschaftlern, sondern auch in Form von unmittelbar einsetzbaren Werkzeugen, mit denen sich in einer Vielzahl von Programmen Fehler finden…
127128129130131 ...
168»