| A systematic literature review on counterexample explanation AP Kaleeswaran, A Nordmann, T Vogel, L Grunske Information and Software Technology 145, 106800, 2022 | 16 | 2022 |
| Counterexample interpretation for contract-based design AP Kaleeswaran, A Nordmann, T Vogel, L Grunske Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 …, 2020 | 9 | 2020 |
| A domain specific language to support HAZOP studies of SysML models AP Kaleeswaran, P Munk, S Sarkic, T Vogel, A Nordmann Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 9 | 2019 |
| Towards Integrating Ontologies into Verification for Autonomous Driving AP Kaleeswaran, A Nordmann, A Mehdi 18th International Semantic Web Conference (ISWC 2019) 2456, 319-320, 2019 | 8 | 2019 |
| A user study for evaluation of formal verification results and their explanation at Bosch AP Kaleeswaran, A Nordmann, T Vogel, L Grunske Empirical Software Engineering 28 (5), 2023 | 5 | 2023 |
| A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation AP Kaleeswaran, A Nordmann, T Vogel, L Grunske arXiv preprint arXiv:2108.06376, 2021 | 2 | 2021 |
| Appendix of the paper: A Systematic Literature Review on Counterexample Explanation AP Kaleeswaran, A Nordmann, T Vogel, L Grunske Zenodo, Nov, 2021 | 2 | 2021 |
| A systematic literature review on counterexample explanation-Summary AP Kaleeswaran, A Nordmann, T Vogel, L Grunske Gesellschaft für Informatik eV, 2023 | 1 | 2023 |
| Identifying Fixes to Eliminate Refinement Inconsistency of Contract-Based Design M Abdelsalam, IA Nordmann PhD thesis. Mar, 2022 | 1 | 2022 |
| Explanation of the Model Checker Verification Results AP Kaleeswaran Humboldt-Universität zu Berlin, 2023 | | 2023 |
| RoSE 2021 A Hoffmann, A Wasowski, A Nordmann, B Schmerl, CH Corbato, ... | | |
Arne NordmannNEURA Robotics在 neura-robotics.com 的电子邮件经过验证
