| Towards the verification of safety-critical autonomous systems in dynamic environments A Aniculaesei, D Arnsberger, F Howar, A Rausch arXiv preprint arXiv:1612.04977, 2016 | 24 | 2016 |
| UML-based analysis of power consumption for real-time embedded systems M Hagner, A Aniculaesei, U Goltz 2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011 | 19 | 2011 |
| Toward a holistic software systems engineering approach for dependable autonomous systems A Aniculaesei, J Grieser, A Rausch, K Rehfeldt, T Warnecke 2018 IEEE/ACM 1st International Workshop on Software Engineering for AI in …, 2018 | 18 | 2018 |
| Automated generation of requirements-based test cases for an adaptive cruise control system A Aniculaesei, F Howar, P Denecke, A Rausch 2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests …, 2018 | 10 | 2018 |
| Towards integrated rule-driven software development for IT ecosystems B Mensing, U Goltz, A Aniculăesei, S Herold, A Rausch, S Gärtner, ... 2012 6th IEEE International Conference on Digital Ecosystems and …, 2012 | 8 | 2012 |
| Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018)-Workshop Report T Bures, D Weyns, B Schmerl, J Fitzgerald, A Aniculaesei, C Berger, ... ACM SIGSOFT Software Engineering Notes 44 (4), 11-13, 2019 | 3 | 2019 |
| Automated Generation of Requirements-Based Test Cases for an Automotive Function using the SCADE Toolchain A Aniculaesei, A Vorwald, A Rausch 11th International Conference on Adaptive and Self-Adaptive Systems and …, 2019 | 2 | 2019 |
| Graceful Degradation of Decision and Control Responsibility for Autonomous Systems based on Dependability Cages A Aniculaesei, J Grieser, A Rausch, K Rehfeldt, T Warnecke | 1 | 2019 |
| Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations J Toennemann, A Aniculăesei, A Rausch Proceedings of the 5th Brazilian Symposium on Systematic and Automated …, 2020 | | 2020 |
| Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System A Aniculaesei, A Vorwald, A Rausch 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | | 2019 |
| Data-driven Approach for Accurate Estimation and Validation of Ego-Vehicle Speed A Aniculaesei, M Zhang, A Rausch | | |
