Monat: März 2017

Im Rahmen unseres Seminars SFB/TRR89 InvasIC hielt Prof. Mendler den Vortrag "Game-theoretic Semantics of Synchronous Reactions" Abstract: The synchronous model of programming, which emerged in the 1980ies and has led to the development of well-known languages such as Statecharts, Esterel, Sig...

M. Sc. Hananeh Aliee hielt am 15.03.2017 ihren Promotionsvortrag "Reliability Analysis and Optimization of Embedded Systems using Stochastic Logic and Importance Measures" und erhielt danach ihren pompösen Doktorhut. v. l.: Prof. Glass, H. Aliee, Prof. Teich, Prof. Wunderlich (Stgt.), Prof. W...