Martin Zimmermann

システムのパフォーマンスと安全性のリアルタイム監視方法についての考察。

HyperLTLモデル検査がソフトウェアシステムのセキュリティをどう向上させるかを発見しよう。

ランタイム検証がイベントトレースを通じてシステムのパフォーマンスをチェックする手助けをする方法を探ろう。

信頼性のあるリアルタイムシステムのパフォーマンスを監視する技術についての考察。

チームセマンティクスは、ソフトウェアシステムの複雑な特性の検証を強化する。