Marc Carwehl 个人学术档案 - 学术资源搜索

2022202320241 9 6

开放获取的出版物数量

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, Germany在 informatik.hu-berlin.de 的电子邮件经过验证
Genaína Nunes RodriguesAssociate Professor of Computer Science, University of Brasilia在 unb.br 的电子邮件经过验证
Thomas VogelHumboldt-Universität zu Berlin, Germany在 informatik.hu-berlin.de 的电子邮件经过验证
Calum ImrieResearch Associate, Assuring Autonomy International Programme (University of York)在 york.ac.uk 的电子邮件经过验证
Radu CalinescuProfessor of Computer Science, University of York在 york.ac.uk 的电子邮件经过验证

Marc Carwehl

在 informatik.hu-berlin.de 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A property specification pattern catalog for real-time system verification with UPPAAL T Vogel, M Carwehl, GN Rodrigues, L Grunske Information and Software Technology 154, 107100, 2023	12	2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements M Carwehl, T Vogel, GN Rodrigues, L Grunske 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023	4	2023
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach JPC de Araujo, GN Rodrigues, M Carwehl, T Vogel, L Grunske, R Caldas, ... IEEE Software, 2024		2024
Formal Synthesis of Uncertainty Reduction Controllers M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske Proceedings of the 19th International Symposium on Software Engineering for …, 2024		2024
Modeling Classes of Body Sensor Networks M Carwehl, W Reisig Modellierung 2024, 65-82, 2024		2024
SEAMS 2024 A Russo, M Carwehl, C Imrie, R Calinescu, L Grunske, G Filippone, ...

系统目前无法执行此操作，请稍后再试。

文章 1–6

每年引用数