arrow
返回
M

Michael Vierhauser

university of innsbruck

20H指数
135论文数
1.3K被引数
收录论文 16
发表时间
A Survey on Feedback Types in Automated Programming Assessment Systems自动化编程评估系统中反馈类型的综述
err2026-03-01
err2
PREAI
errFrankford, Eduard; Antensteiner, Tobias; Vierhauser, Michael; Sauerwein, Clemens; Wallner, Vivien; Groher, Iris; Plosch, Reinhold; Breu, Ruth
err分享
err收藏
err分享
err收藏
GRuM-A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
err2023-09-01
err4
errOAAI
errVierhauser, Michael; Garmendia, Antonio; Stadler, Marco; Wimmer, Manuel; Cleland-Huang, Jane
err分享
err收藏
ProCon: An automated process-centric quality constraints checking framework
err2023-08-01
err1
errOAAI
errMayr-Dorn, Christoph; Vierhauser, Michael; Bichler, Stefan; Keplinger, Felix; Cleland-Huang, Jane; Egyed, Alexander; Mehofer, Thomas
err分享
err收藏
A model-based mode-switching framework based on security vulnerability scores
err2023-06-01
err5
errOAAI
errRiegler, Michael; Sametinger, Johannes; Vierhauser, Michael; Wimmer, Manuel
err分享
err收藏
Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems在协作小型无人机系统的产品线中配置特定于任务的行为
err2023-03-01
err13
errOAAI
errAl Islam, Md Nafee; Chowdhury, Muhammed Tawfiq; Agrawal, Ankit; Murphy, Michael; Mehta, Raj; Kudriavtseva, Daria; Cleland-Huang, Jane; Vierhauser, Michael; Chechik, Marsha
err分享
err收藏
AMon: A domain-specific language and framework for adaptive monitoring of Cyber-Physical Systems?
err2023-01-01
err6
errOAAI
errVierhauser, Michael; Wohlrab, Rebekka; Stadler, Marco; Cleland-Huang, Jane
err分享
err收藏
Digital Twin Platforms: Requirements, Capabilities, and Future Prospects
err2022-03-01
err55
errOAAI
errLehner, Daniel; Pfeiffer, Jerome; Tinsel, Erik-Felix; Strljic, Matthias Milan; Sint, Sabine; Vierhauser, Michael; Wortmann, Andreas; Wimmer, Manuel
err分享
err收藏
Visualizing Change in Agile Safety-Critical Systems
err2021-05-01
err10
errOAAI
errCleland-Huang, Jane; Agrawal, Ankit; Vierhauser, Michael; Mayr-Dorn, Christoph
err分享
err收藏
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces共享空域无人自主系统的联锁安全案例
err2021-05-01
err23
errOAAI
errVierhauser, Michael; Bayley, Sean; Wyngaard, Jane; Xiong, Wandi; Cheng, Jinghui; Huseman, Joshua; Lutz, Robyn; Cleland-Huang, Jane
err分享
err收藏
A domain analysis of resource and requirements monitoring: Towards a comprehensive model of the software monitoring domain
err2019-07-01
err14
errOAAI
errRabiser, Rick; Schmid, Klaus; Eichelberger, Holger; Vierhauser, Michael; Guinea, Sam; Gruenbacher, Paul
err分享
err收藏
A comparison framework for runtime monitoring approaches
err2017-03-01
err47
errOAAI
errRabiser, Rick; Guinea, Sam; Vierhauser, Michael; Baresi, Luciano; Grunbacher, Paul
err分享
err收藏
Requirements monitoring frameworks: A systematic review
err2016-12-01
err34
PREAI
errVierhauser, Michael; Rabiser, Rick; Gruenbacher, Paul
err分享
err收藏
Monitoring Requirements in Systems of Systems
err2016-09-01
err1
PREAI
errVierhauser, Michael; Rabiser, Rick; Grunbacher, Paul
err分享
err收藏
REMINDS : A flexible runtime monitoring framework for systems of systems提醒: 一个灵活的系统运行时监控框架
err2016-02-01
err40
PREAI
errVierhauser, Michael; Rabiser, Rick; Griinbacher, Paul; Seyerlehner, Klaus; Wallner, Stefan; Zeisel, Helmut
err分享
err收藏