Marco Stadler

Johannes Kepler University of Linz

Papers

4

Total Citations

24

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
24
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems
11 citations · 2022
📈 Most Prolific Year: 2022 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Johannes Kepler University of Linz

Top Papers

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

Key Collaborators

MVMichael Vierhauser4 shared papersJCJane Cleland‐Huang3 shared papersAGAntonio Garmendía1 shared papersMWManuel Wimmer1 shared papersRWRebekka Wohlrab1 shared papers
Not generated yet