基本信息
views: 734
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
His research interests include model-based and qualitative reasoning, configuration,
planning, theorem proving, intelligent agents, mobile robots,
verification and validation, and software engineering. Currently, Franz Wotawa works on applying model-based diagnosis to software debugging. He has written many papers for
journals, conferences, and workshops and has been member
of the program commitees for several workshops and conferences. He organized workshops and special issues on modelbased reasoning for the journal AI Communications. He is
a member of the IEEE Computer Society, ACM, AAAI, the
Austrian Computer Society (OCG), and the Austrian Society
for Artificial Intelligence.
planning, theorem proving, intelligent agents, mobile robots,
verification and validation, and software engineering. Currently, Franz Wotawa works on applying model-based diagnosis to software debugging. He has written many papers for
journals, conferences, and workshops and has been member
of the program commitees for several workshops and conferences. He organized workshops and special issues on modelbased reasoning for the journal AI Communications. He is
a member of the IEEE Computer Society, ACM, AAAI, the
Austrian Computer Society (OCG), and the Austrian Society
for Artificial Intelligence.
Research Interests
Papers共 479 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Software Engineeringpp.165-166, (2024)
CoRR (2024)
Cited0Views0EIBibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESSno. 3 (2024)
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS (2024)
Liliana Marie Prikler,Franz Wotawa
2023 10th International Conference on Dependable Systems and Their Applications (DSA) (2024): 431-442
2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)pp.167-170, (2023)
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)pp.70-77, (2023)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn