Scholarlink

Wang Yi at Uppsala University in Sweden is well-known for his contributions to formal methods (FMs), creating the most widely used model checker for timed automata. I imagine most participants at ISoLA 2024 view him from that perspective. However, with this note, I want to highlight another perspective: his contributions to real-time scheduling (RTS) theory, how his research in FMs benefits RTS theory, and how he serves as a bridge between FMs and RTS theory. The aim of this note is neither to cover all of Wang Yi’s scientific contributions (which are numerous) nor to present his most famous (or most highly cited) works nor to present the works that he had done as a single author; instead, the aim is to present the bridge between FM and RTS theory.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Research in One Area Benefits Another

  • 章节

  • 发表日期：

    2025年

查看全文
  • Bjorn Andersson

摘要

Wang Yi at Uppsala University in Sweden is well-known for his contributions to formal methods (FMs), creating the most widely used model checker for timed automata. I imagine most participants at ISoLA 2024 view him from that perspective. However, with this note, I want to highlight another perspective: his contributions to real-time scheduling (RTS) theory, how his research in FMs benefits RTS theory, and how he serves as a bridge between FMs and RTS theory. The aim of this note is neither to cover all of Wang Yi’s scientific contributions (which are numerous) nor to present his most famous (or most highly cited) works nor to present the works that he had done as a single author; instead, the aim is to present the bridge between FM and RTS theory.