Marco Stadler

Johannes Kepler University of Linz

论文数

4

总引用数

24

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 24 次引用
Operating system4 · 24 次引用
Systems engineering4 · 24 次引用
Runtime verification4 · 24 次引用
Embedded system4 · 24 次引用
Real-time computing4 · 24 次引用
Formal verification4 · 24 次引用
Engineering4 · 24 次引用
Distributed computing4 · 24 次引用
Artificial intelligence3 · 20 次引用
Cyber-physical system3 · 20 次引用
Task (project management)3 · 20 次引用

主要成就

3
H 指数
4
论文
24
总引用数
6
篇均引用
🏆 最高被引论文
AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems
11 次引用 · 2022
📈 最高产年份: 2022 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: Johannes Kepler University of Linz

代表论文

  1. 1
    AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems
    11 次引用 · 2022
  2. 2
    Towards flexible runtime monitoring support for ROS-based applications
    6 次引用 · 2022
  3. 3
    GRuM — A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
    4 次引用 · 2023
  4. 4
    ROMoSu: Flexible Runtime Monitoring Support for ROS-based Applications
    3 次引用 · 2023

主要合作者

MVMichael Vierhauser4 篇合著论文JCJane Cleland‐Huang3 篇合著论文AGAntonio Garmendía1 篇合著论文MWManuel Wimmer1 篇合著论文RWRebekka Wohlrab1 篇合著论文
尚未生成